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

ポスト名

cat14

Augmented Environments for Computer-Assisted Interventions (Lecture Notes in Computer Science, 7264)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-32629-5

URL

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

Augmented Environments for Computer-Assisted Interventions (Lecture Notes in Computer Science, 7264) の続きを見る

Automata, Languages and Programming (Lecture Notes in Computer Science, 3580)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-27580-0

URL

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

Automata, Languages and Programming (Lecture Notes in Computer Science, 3580) の続きを見る

Automata, Languages and Programming (Lecture Notes in Computer Science, 6755)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-22005-0

URL

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

Automata, Languages and Programming (Lecture Notes in Computer Science, 6755) の続きを見る

Automata, Languages and Programming (Lecture Notes in Computer Science, 6756)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-22011-1

URL

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

Automata, Languages and Programming (Lecture Notes in Computer Science, 6756) の続きを見る

Automata, Languages, and Programming (Lecture Notes in Computer Science, 7391)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31593-0

URL

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

Automata, Languages, and Programming (Lecture Notes in Computer Science, 7391) の続きを見る

Automata, Languages, and Programming (Lecture Notes in Computer Science, 7392)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31584-8

URL

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

Automata, Languages, and Programming (Lecture Notes in Computer Science, 7392) の続きを見る

Automated Configuration Problem Solving (SpringerBriefs in Computer Science)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-1-4614-4531-9

URL

http://dx.doi.org/10.1007/978-1-4614-4532-6

Automated Configuration Problem Solving (SpringerBriefs in Computer Science) の続きを見る

Automated Deduction - CADE-20 (Lecture Notes in Computer Science, 3632)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-28005-7

URL

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

Automated Deduction - CADE-20 (Lecture Notes in Computer Science, 3632) の続きを見る

Automated Deduction - CADE-23 (Lecture Notes in Computer Science, 6803)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-22437-9

URL

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

Automated Deduction - CADE-23 (Lecture Notes in Computer Science, 6803) の続きを見る

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

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21045-7

URL

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

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

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