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

ポスト名

cat14

Automated Deduction in Geometry (Lecture Notes in Computer Science, 6877)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-25069-9

URL

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

Automated Deduction in Geometry (Lecture Notes in Computer Science, 6877) の続きを見る

Automated Reasoning (Lecture Notes in Computer Science, 7364)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31364-6

URL

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

Automated Reasoning (Lecture Notes in Computer Science, 7364) の続きを見る

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

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-28931-9

URL

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

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

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) の続きを見る

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