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

ポスト名

cat14

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, 3440)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-25333-4

URL

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

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, 3440) の続きを見る

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, 6605)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-19834-2

URL

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

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, 6605) の続きを見る

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, 7214)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-28755-8

URL

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

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science, 7214) の続きを見る

Tools for High Performance Computing 2011

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31475-9

URL

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

Tools for High Performance Computing 2011 の続きを見る

Tools for Practical Software Verification (Lecture Notes in Computer Science, 7682)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-35745-9

URL

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

Tools for Practical Software Verification (Lecture Notes in Computer Science, 7682) の続きを見る

Tools for Teaching Logic (Lecture Notes in Computer Science, 6680)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21349-6

URL

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

Tools for Teaching Logic (Lecture Notes in Computer Science, 6680) の続きを見る

Top Productivity through Software Reuse (Lecture Notes in Computer Science, 6727)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21346-5

URL

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

Top Productivity through Software Reuse (Lecture Notes in Computer Science, 6727) の続きを見る

Topics in Cryptology - CT-RSA 2005 (Lecture Notes in Computer Science, 3376)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-24399-1

URL

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

Topics in Cryptology - CT-RSA 2005 (Lecture Notes in Computer Science, 3376) の続きを見る

Topics in Cryptology - CT-RSA 2011 (Lecture Notes in Computer Science, 6558)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-19073-5

URL

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

Topics in Cryptology - CT-RSA 2011 (Lecture Notes in Computer Science, 6558) の続きを見る

Topics in Cryptology - CT-RSA 2012 (Lecture Notes in Computer Science, 7178)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-27953-9

URL

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

Topics in Cryptology - CT-RSA 2012 (Lecture Notes in Computer Science, 7178) の続きを見る

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