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

ポスト名

cat14

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

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

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