Checking in at 20(2014)

洋書 Springer Paperback, Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)

洋書 Springer Paperback, Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

洋書 Springer Paperback, Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science (4905

Hearts in Circulation HEARTS IN CIRCULATION -LP （Checking Out Love） [ Sarah Monzon ]

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025 VERIFICATION MODEL CHECKING & （Lecture Notes in Computer Science） [ Krishna Shankaranarayanan ]

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025 VERIFICATION MODEL CHECKING & （Lecture Notes in Computer Science） [ Krishna Shankaranarayanan ]

Deciding What’s True The Rise of Political Fact-Checking in American Journalism【電子書籍】[ Lucas Graves ]

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20?21, 2025, Proceedings, Part I【電子書籍】

【送料無料】キッチン用品・食器・調理器具・陶器　ウィリアムズ・ソノマ・トワス・ザ・ナイトチーズボードサンタチェックリスト磁器Williams Sonoma Twas the Night Cheese Board Santa checking list Porcelain 12x9

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings【電子書籍】

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20?21, 2025, Proceedings, Part II【電子書籍】

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13?15, 2019, Proceedings【電子書籍】

Strategies to Fight Online Health Misinformation Health Information Quality Assurance, Digital Literacy and Fact-Checking【電子書籍】[ Andr? Pereira Neto ]

Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16?21, 2020, Proceedings【電子書籍】

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15?16, 2024, Proceedings, Part II【電子書籍】

Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings【電子書籍】

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings【電子書籍】

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15?16, 2024, Proceedings, Part I【電子書籍】

洋書 CREATESPACE paperback Book, Checking Account Ledger: 6 Column Payment Record Record and Tracker Log Book, Checking Account Transaction Register, Personal Checking Account Balance Register, (Volume 3)

洋書 Paperback, Checking Out Chekhov: A Guide to the Plays for Actors, Directors, and Readers (Companions to Russian Literature)

【古本】 Just Checking: Scenes from the Life of an Obsessive-Compulsive - Emily Colas (Atria Books) 【紙書籍】 9780671024383

An Overdue Match OVERDUE MATCH -LP （Checking Out Love） [ Sarah Monzon ]

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15?16, 2019, Proceedings【電子書籍】

Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16?18, 2022, Proceedings【電子書籍】

洋書 Springer paperback Book, Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France, January 12?13, 2026, Proceedings【電子書籍】

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26?27, 2023, Proceedings【電子書籍】

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012 VERIFICATION MODEL CHECKING & [ Viktor Kuncak ]

Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17?19, 2021, Proceedings【電子書籍】

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15?17, 2017, Proceedings【電子書籍】