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

ポスト名

springer-springer-ebook-collection

Formal Modeling: Actors, Open Systems, Biological Systems (Lecture Notes in Computer Science, 7000)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-24932-7

URL

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

Formal Modeling: Actors, Open Systems, Biological Systems (Lecture Notes in Computer Science, 7000) の続きを見る

Formal Techniques for Computer Systems and Business Processes (Lecture Notes in Computer Science, 3670)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-28701-8

URL

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

Formal Techniques for Computer Systems and Business Processes (Lecture Notes in Computer Science, 3670) の続きを見る

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 6722)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-21460-8

URL

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

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 6722) の続きを見る

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 7273)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-30792-8

URL

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

Formal Techniques for Distributed Systems (Lecture Notes in Computer Science, 7273) の続きを見る

Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Lecture Notes in Computer Science, 3731)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-540-29189-3

URL

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

Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Lecture Notes in Computer Science, 3731) の続きを見る

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 6528)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-18069-9

URL

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

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 6528) の続きを見る

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 7421)

出版社

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

Springer: Springer eBook Collection

分野

007 情報学・情報科学

ISBN

978-3-642-31761-3

URL

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

Formal Verification of Object-Oriented Software (Lecture Notes in Computer Science, 7421) の続きを見る

Forme differenziali e loro integrali (C.I.M.E. Summer Schools, 22)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-642-10951-5

URL

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

Forme differenziali e loro integrali (C.I.M.E. Summer Schools, 22) の続きを見る

Formulas Useful for Linear Regression Analysis and Related Matrix Theory (SpringerBriefs in Statistics)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-642-32930-2

URL

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

Formulas Useful for Linear Regression Analysis and Related Matrix Theory (SpringerBriefs in Statistics) の続きを見る

Forward-Backward Stochastic Differential Equations and their Applications (Lecture Notes in Mathematics, 1702)

出版社

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

Springer: Springer eBook Collection

分野

ISBN

978-3-540-65960-0

URL

http://dx.doi.org/10.1007/978-3-540-48831-6

Forward-Backward Stochastic Differential Equations and their Applications (Lecture Notes in Mathematics, 1702) の続きを見る

Springer: Springer eBook Collection を購読