---

---

A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security (English Edition)
Kindle版 Apress Arthur, Will [著]、Challener, David [著]
[Software Development ] [Web Encryption ] [Software Design, Testing & Engineering ] [Security & Encryption (10位)] [Custom Stores ]
リリース日: 2015-01-28 ページ数: 592 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice ... Science Book 12648) (English Edition)
Kindle版 Springer Yoshida, Nobuko [編]
[Education & Reference ] [Digital Audio & Video Editing ] [Computer Hardware ] [Computer Networks, Protocols & APIs ] [Software Programming Compilers ]
リリース日: 2021-03-22 ページ数: 708 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Science Book 13244) (English Edition)
Kindle版 Springer Fisman, Dana [編]、Rosu, Grigore [編]
[Human Vision & Language Systems ] [Computer Hardware ] [Software Development ] [Computer Science ] [Hardware (39位)]
リリース日: 2022-03-29 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Active Inference: Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers (Communications in Computer and ... Science Book 1721) (English Edition)
Kindle版 Springer Buckley, Christopher L. [編]、Cialfi, Daniela [編]、Lanillos, Pablo [編]、Ramstead, Maxwell [編]、Sajid, Noor [編]、Shimazaki, Hideaki [編]、Verbelen, Tim [編]
[Professional Applied Mathematics ] [Probability & Statistics ] [Human Vision & Language Systems ] [Computer Hardware Design & Architecture ] [Computer Networks, Protocols & APIs ]
リリース日: 2023-03-21 ページ数: 386 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Scaling a Software Business: The Digitalization Journey (English Edition)
Kindle版 Springer Fitzgerald, Brian [著]、Stol, Klaas-Jan [著]、Sten Minör [著]、Cosmo, Henrik [著]
[Nonfiction Economics ] [Information Management ] [Computer & Software Project Management ] [Information Systems ] [Software Development ]
リリース日: 2017-08-23 ページ数: 265 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Solidity Design Patterns: A Practical Guide to Building Reusable Smart Contracts (English Edition)
Kindle版 Owens, Jeffery [著]
[PMP Exam ] [Software Development ] [Software Reuse (17位)] [Software Testing ] [Web Encryption (677位)]
リリース日: 2023-06-24 ページ数: 51 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science Book 12760) (English Edition)
Kindle版 Springer Silva, Alexandra [編]、Leino, K. Rustan M. [編]
[Human Vision & Language Systems ] [Information Theory ] [Computer Modeling & Simulation ] [Software Development ] [Software Design, Testing & Engineering ]
リリース日: 2021-07-16 ページ数: 1876 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science Book 12759) (English Edition)
Kindle版 Springer Silva, Alexandra [編]、Leino, K. Rustan M. [編]
[Human Vision & Language Systems ] [Information Theory ] [Computer Modeling & Simulation ] [Software Development ] [Software Design, Testing & Engineering ]
リリース日: 2021-07-17 ページ数: 1885 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences ... Science Book 12079) (English Edition)
Kindle版 Springer Biere, Armin [編]、Parker, David [編]
[Professional Applied Mathematics ] [Applied Mathematics ] [Artificial Intelligence Expert Systems ] [Human Vision & Language Systems ] [Theory of Computing ]
リリース日: 2020-04-17 ページ数: 448 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences ... Science Book 10806) (English Edition)
Kindle版 Springer Beyer, Dirk [編]、Huisman, Marieke [編]
[Education & Reference ] [Human Vision & Language Systems ] [Theory of Computing ] [Human-Computer Interaction ] [Software Engineering Methodology ]
リリース日: 2018-04-13 ページ数: 924 ASIN:
価格: ￥0 [新品: 今すぐダウンロードできます。 (Amazon Services International LLC)]

---

---

---