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

FM 2005: Formal Methods (Lecture Notes in Computer Science, 3582)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-27882-5

URL

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

FM 2005: Formal Methods (Lecture Notes in Computer Science, 3582) の続きを見る

FM 2011: Formal Methods (Lecture Notes in Computer Science, 6664)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21436-3

URL

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

FM 2011: Formal Methods (Lecture Notes in Computer Science, 6664) の続きを見る

FM 2012: Formal Methods (Lecture Notes in Computer Science, 7436)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-32758-2

URL

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

FM 2012: Formal Methods (Lecture Notes in Computer Science, 7436) の続きを見る

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3328)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-24058-7

URL

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

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3328) の続きを見る

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3821)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-30495-1

URL

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

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science, 3821) の続きを見る

Facets of Combinatorial Optimization

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-642-38188-1

URL

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

Facets of Combinatorial Optimization の続きを見る

Facing the Multicore - Challenge II (Lecture Notes in Computer Science, 7174)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-30396-8

URL

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

Facing the Multicore - Challenge II (Lecture Notes in Computer Science, 7174) の続きを見る

Factoring Ideals in Integral Domains (Lecture Notes of the Unione Matematica Italiana, 14)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-642-31711-8

URL

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

Factoring Ideals in Integral Domains (Lecture Notes of the Unione Matematica Italiana, 14) の続きを見る

Factorization of Matrix and Operator Functions: The State Space Method (Operator Theory: Advances and Applications, 178)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-7643-8267-4

URL

http://dx.doi.org/10.1007/978-3-7643-8268-1

Factorization of Matrix and Operator Functions: The State Space Method (Operator Theory: Advances and Applications, 178) の続きを見る

Factors and Factorizations of Graphs (Lecture Notes in Mathematics, 2031)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-642-21918-4

URL

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

Factors and Factorizations of Graphs (Lecture Notes in Mathematics, 2031) の続きを見る

Springer を購読