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

ポスト名

cat14

Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science, 6793)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-22118-7

URL

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

Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science, 6793) の続きを見る

Automated Technology for Verification and Analysis (Lecture Notes in Computer Science)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-33385-9

URL

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

Automated Technology for Verification and Analysis (Lecture Notes in Computer Science) の続きを見る

Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, 3707)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-29209-8

URL

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

Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, 3707) の続きを見る

Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, 6996)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-24371-4

URL

http://dx.doi.org/10.1007/978-3-642-24372-1

Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, 6996) の続きを見る

Automatic Algorithm Selection for Complex Simulation Problems

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-8348-1542-2

URL

http://dx.doi.org/10.1007/978-3-8348-8151-9

Automatic Algorithm Selection for Complex Simulation Problems の続きを見る

Automatic Digital Document Processing and Management (Advances in Computer Vision and Pattern Recognition)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-0-85729-197-4

URL

http://dx.doi.org/10.1007/978-0-85729-198-1

Automatic Digital Document Processing and Management (Advances in Computer Vision and Pattern Recognition) の続きを見る

Automating Business Modelling (Advanced Information and Knowledge Processing)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-1-85233-835-0

URL

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

Automating Business Modelling (Advanced Information and Knowledge Processing) の続きを見る

Autonomic Communication (Lecture Notes in Computer Science, 3457)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-27417-9

URL

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

Autonomic Communication (Lecture Notes in Computer Science, 3457) の続きを見る

Autonomic Cooperative Networking (SpringerBriefs in Computer Science)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-1-4614-3099-5

URL

http://dx.doi.org/10.1007/978-1-4614-3100-8

Autonomic Cooperative Networking (SpringerBriefs in Computer Science) の続きを見る

Autonomic and Trusted Computing (Lecture Notes in Computer Science, 6906)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-23495-8

URL

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

Autonomic and Trusted Computing (Lecture Notes in Computer Science, 6906) の続きを見る

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