Validated Designs for Object-oriented Systems
出版社
電子書籍プラットフォーム
分野
ISBN
978-1-85233-881-7
ポスト名
cat14
Variational, Geometric, and Level Set Methods in Computer Vision (Lecture Notes in Computer Science, 3752)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-29348-4
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 3385)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-540-24297-0
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 6538)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-18274-7
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 7148)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-27939-3
Verified Software: Theories, Tools, Experiments (Lecture Notes in Computer Science, 7152)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-27704-7
Video Analysis and Repackaging for Distance Education
出版社
電子書籍プラットフォーム
分野
ISBN
978-1-4614-3836-6
Video Processing and Computational Video (Lecture Notes in Computer Science, 7082)
出版社
電子書籍プラットフォーム
分野
ISBN
978-3-642-24869-6
Video Processing in the Cloud (SpringerBriefs in Computer Science)
出版社
電子書籍プラットフォーム
分野
ISBN
978-1-4471-2136-7