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

ポスト名

cat14

Theoretical and Mathematical Foundations of Computer Science (Communications in Computer and Information Science, 164)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-24998-3

URL

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

Theoretical and Mathematical Foundations of Computer Science (Communications in Computer and Information Science, 164) の続きを見る

Theorie and Applications of Formal Argumentation (Lecture Notes in Computer Science, 7132)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-29183-8

URL

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

Theorie and Applications of Formal Argumentation (Lecture Notes in Computer Science, 7132) の続きを見る

Theory and Applications of Models of Computation (Lecture Notes in Computer Science, 6648)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-20876-8

URL

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

Theory and Applications of Models of Computation (Lecture Notes in Computer Science, 6648) の続きを見る

Theory and Applications of Models of Computation (Lecture Notes in Computer Science, 7287)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-29951-3

URL

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

Theory and Applications of Models of Computation (Lecture Notes in Computer Science, 7287) の続きを見る

Theory and Applications of Satisfiability Testing (Lecture Notes in Computer Science, 3542)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-27829-0

URL

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

Theory and Applications of Satisfiability Testing (Lecture Notes in Computer Science, 3542) の続きを見る

Theory and Applications of Satisfiability Testing (Lecture Notes in Computer Science, 3569)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-26276-3

URL

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

Theory and Applications of Satisfiability Testing (Lecture Notes in Computer Science, 3569) の続きを見る

Theory and Applications of Satisfiability Testing - SAT 2011 (Lecture Notes in Computer Science, 6695)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21580-3

URL

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

Theory and Applications of Satisfiability Testing - SAT 2011 (Lecture Notes in Computer Science, 6695) の続きを見る

Theory and Applications of Satisfiability Testing - SAT 2012 (Lecture Notes in Computer Science, 7317)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31611-1

URL

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

Theory and Applications of Satisfiability Testing - SAT 2012 (Lecture Notes in Computer Science, 7317) の続きを見る

Theory and Practice of Algorithms in (Computer) Systems (Lecture Notes in Computer Science, 6595)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-19753-6

URL

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

Theory and Practice of Algorithms in (Computer) Systems (Lecture Notes in Computer Science, 6595) の続きを見る

Theory and Practice of Computation (Proceedings in Information and Communications Technology, 5)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-4-431-54105-9

URL

http://dx.doi.org/10.1007/978-4-431-54106-6

Theory and Practice of Computation (Proceedings in Information and Communications Technology, 5) の続きを見る

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