Formal Approaches to Software Testing (Lecture Notes in Computer Science, 3395) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-540-25109-5 URL http://dx.doi.org/10.1007/b106767 Formal Approaches to Software Testing (Lecture Notes in Computer Science, 3395) の続きを見る
Formal Aspects in Security and Trust (IFIP Advances in Information and Communication Technology, 173) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-0-387-24050-3 URL http://dx.doi.org/10.1007/b104303 Formal Aspects in Security and Trust (IFIP Advances in Information and Communication Technology, 173) の続きを見る
Formal Aspects of Component Software (Lecture Notes in Computer Science, 6921) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-27268-4 URL http://dx.doi.org/10.1007/978-3-642-27269-1 Formal Aspects of Component Software (Lecture Notes in Computer Science, 6921) の続きを見る
Formal Aspects of Component Software (Lecture Notes in Computer Science, 7253) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-35742-8 URL http://dx.doi.org/10.1007/978-3-642-35743-5 Formal Aspects of Component Software (Lecture Notes in Computer Science, 7253) の続きを見る
Formal Aspects of Security and Trust (Lecture Notes in Computer Science, 6561) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-19750-5 URL http://dx.doi.org/10.1007/978-3-642-19751-2 Formal Aspects of Security and Trust (Lecture Notes in Computer Science, 6561) の続きを見る
Formal Aspects of Security and Trust (Lecture Notes in Computer Science, 7140) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-29419-8 URL http://dx.doi.org/10.1007/978-3-642-29420-4 Formal Aspects of Security and Trust (Lecture Notes in Computer Science, 7140) の続きを見る
Formal Concept Analysis (Lecture Notes in Computer Science, 3403) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-540-24525-4 URL http://dx.doi.org/10.1007/b105806 Formal Concept Analysis (Lecture Notes in Computer Science, 3403) の続きを見る
Formal Concept Analysis (Lecture Notes in Computer Science, 3626) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-540-27891-7 URL http://dx.doi.org/10.1007/978-3-540-31881-1 Formal Concept Analysis (Lecture Notes in Computer Science, 3626) の続きを見る
Formal Concept Analysis (Lecture Notes in Computer Science, 6628) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-20513-2 URL http://dx.doi.org/10.1007/978-3-642-20514-9 Formal Concept Analysis (Lecture Notes in Computer Science, 6628) の続きを見る
Formal Concept Analysis (Lecture Notes in Computer Science, 7278) 出版社 Springer 電子書籍プラットフォーム Springer: Springer eBook Collection 分野 007 情報学・情報科学 ISBN 978-3-642-29891-2 URL http://dx.doi.org/10.1007/978-3-642-29892-9 Formal Concept Analysis (Lecture Notes in Computer Science, 7278) の続きを見る