007 情報学・情報科学 | 鹿児島大学附属図書館

ポスト名

cat14

Formal Modeling: Actors, Open Systems, Biological Systems (Lecture Notes in Computer Science, 7000)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-24932-7

URL

http://dx.doi.org/10.1007/978-3-642-24933-4

Formal Modeling: Actors, Open Systems, Biological Systems (Lecture Notes in Computer Science, 7000) の続きを見る

Formal Techniques for Computer Systems and Business Processes (Lecture Notes in Computer Science, 3670)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-28701-8

URL

http://dx.doi.org/10.1007/11549970

Formal Techniques for Computer Systems and Business Processes (Lecture Notes in Computer Science, 3670) の続きを見る

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 6722)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21460-8

URL

http://dx.doi.org/10.1007/978-3-642-21461-5

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 6722) の続きを見る

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 7273)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-30792-8

URL

http://dx.doi.org/10.1007/978-3-642-30793-5

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 7273) の続きを見る

Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Lecture Notes in Computer Science, 3731)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-29189-3

URL

http://dx.doi.org/10.1007/11562436

Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Lecture Notes in Computer Science, 3731) の続きを見る

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 6528)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-18069-9

URL

http://dx.doi.org/10.1007/978-3-642-18070-5

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 6528) の続きを見る

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 7421)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31761-3

URL

http://dx.doi.org/10.1007/978-3-642-31762-0

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 7421) の続きを見る

Foundational Java

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-1-4471-2478-8

URL

http://dx.doi.org/10.1007/978-1-4471-2479-5

Foundational Java の続きを見る

Foundational and Practical Aspects of Resource Analysis (Lecture Notes in Computer Science, 7177)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-32494-9

URL

http://dx.doi.org/10.1007/978-3-642-32495-6

Foundational and Practical Aspects of Resource Analysis (Lecture Notes in Computer Science, 7177) の続きを見る

Foundations and Practice of Security (Lecture Notes in Computer Science, 6888)

出版社

電子書籍プラットフォーム

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-27900-3

URL

http://dx.doi.org/10.1007/978-3-642-27901-0

Foundations and Practice of Security (Lecture Notes in Computer Science, 6888) の続きを見る

007 情報学・情報科学を購読