---

---

Bayesian Methods in the Search for MH370 (SpringerBriefs in Electrical and Computer Engineering) (English Edition)
Kindle版 Springer Gordon, Neil [著]、Davey, Sam [著]、Holland, Ian [著]、Rutten, Mark [著]、Williams, Jason [著]
[Electronics ] [Professional Applied Mathematics ] [Probability & Statistics ] [Software Engineering Methodology ] [Mathematical & Statistical Software ]
リリース日: 2016-07-15 ページ数: 205 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Science Book 11427) (English Edition)
Kindle版 Springer Tomáš Vojnar [編]、Zhang, Lijun [編]
[Nonfiction Economics ] [Professional & Technical Pure Mathematics ] [Mathematical Logic ] [Job Hunting & Career Guides ] [Human Vision & Language Systems ]
リリース日: 2019-04-03 ページ数: 847 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Science Book 10982) (English Edition)
Kindle版 Springer Chockler, Hana [編]、Weissenbacher, Georg [編]
[Professional & Technical Pure Mathematics ] [Mathematical Logic ] [Education & Reference ] [Human Vision & Language Systems ] [Theory of Computing ]
リリース日: 2018-07-20 ページ数: 1086 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Fluid Simulation for Computer Graphics (English Edition)
Kindle版 A K Peters/CRC Press Bridson, Robert [著]
[Information Theory ] [Computer Modeling & Simulation ] [Software Engineering Methodology (229位)] [Game Programming ] [Graphics & Multimedia Programming ]
リリース日: 2015-09-25 ページ数: 276 ASIN:
価格: ￥17,587 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Agile Product Management with Scrum: Creating Products that Customers Love (Addison-Wesley Signature Series (Cohn)) (English Edition)
Kindle版 Addison-Wesley Professional Roman, Pichler [著]
[Education & Reference ] [Agile Project Management (29位)] [Software Engineering Methodology (171位)] [Software Development ] [Software Design, Testing & Engineering (488位)]
リリース日: 2010-03-11 ページ数: 178 ASIN:
価格: ￥6,230 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Speaker Classification I: Fundamentals, Features, and Methods (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science, 4343)
ペーパーバック Springer Muller, Christian [編]
[Electricity Principles ] [Education & Reference ] [Human Vision & Language Systems ] [Artificial Intelligence Machine Vision ] [Human-Computer Interaction ]
リリース日: 2007-09-14 ページ数: 372 ASIN/ISBN-10: ISBN-13: 978-3540741862
価格: ￥5,086 [新品: 在庫あり。 (EMC_Enterprise: 4.44点、70件)]

---

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April ... Science Book 11429) (English Edition)
Kindle版 Springer Beyer, Dirk [編]、Huisman, Marieke [編]、Kordon, Fabrice [編]、Steffen, Bernhard [編]
[Nonfiction Economics ] [Professional & Technical Pure Mathematics ] [Mathematical Logic ] [Job Hunting & Career Guides ] [Human Vision & Language Systems ]
リリース日: 2019-04-03 ページ数: 490 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Essential Scrum: A Practical Guide to the Most Popular Agile Process (Addison-Wesley Signature Series (Cohn))
ペーパーバック Addison-Wesley Professional Rubin, Kenneth [著]
[Nonfiction Economics ] [Project Management ] [Agile Project Management (12位)] [PMP Exam ] [Software Design Tools & Techniques (162位)]
リリース日: 2012-07-27 ページ数: 504 ASIN/ISBN-10: ISBN-13: 978-0137043293
価格: ￥7,944 [新品: 通常3～4日以内に発送します。 (uk_books_and_music: 4.44点、773件)]

---

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
ペーパーバック Springer Bertot, Yves [著]、Pierre Castéran [著]
[Professional & Technical Pure Mathematics ] [Mathematical Logic ] [Human Vision & Language Systems ] [Theory of Computing ] [Software Engineering Methodology (43位)]
リリース日: 2010-12-15 ページ数: 500 ASIN/ISBN-10: ISBN-13: 978-3642058806
価格: ￥12,497 [新品: 在庫あり。 (Amazon.co.jp)]
[ : Amazon発送][ : 送料無料][ : Prime会員対応]

---

Living Documentation: Continuous Knowledge Sharing by Design (English Edition)
Kindle版 Addison-Wesley Professional Martraire, Cyrille [著]
[Software Design Tools & Techniques (369位)] [Software Engineering Methodology (194位)] [Software Development ] [Software Design, Testing & Engineering (553位)] [Custom Stores ]
リリース日: 2019-05-25 ページ数: 480 ASIN:
価格: ￥8,117 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

---

---