Springer: Springer eBook Collection | 鹿児島大学附属図書館

ポスト名

springer-springer-ebook-collection

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 Solution of Differential Equations by the Finite Element Method (Lecture Notes in Computational Science and Engineering, 84)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-642-23098-1

URL

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

Automated Solution of Differential Equations by the Finite Element Method (Lecture Notes in Computational Science and Engineering, 84) の続きを見る

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 Differentiation: Applications, Theory, and Implementations (Lecture Notes in Computational Science and Engineering, 50)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-540-28403-1

URL

http://dx.doi.org/10.1007/3-540-28438-9

Automatic Differentiation: Applications, Theory, and Implementations (Lecture Notes in Computational Science and Engineering, 50) の続きを見る

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

Automation, Communication and Cybernetics in Science and Engineering 2009/2010

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-642-16207-7

URL

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

Automation, Communication and Cybernetics in Science and Engineering 2009/2010 の続きを見る

Springer: Springer eBook Collection を購読