Browse Results

Showing 59,201 through 59,225 of 61,733 results
Title Author ISBN Copyright Features Action
Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (Lecture Notes in Computer Science #11847) 3404321 Pierre Ganty Mohamed Kaâniche 9783030350925 2019 Contains images
Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science #12519) 3754571 Yu-Fang Chen Belgacem Ben Hedia Gaiyun Liu Zhenhua Yu 9783030659554 2020 Contains images
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13187) 4515440 Kamel Barkaoui ZhiWu Li Ayoub Nouri Weimin Wu 9783030988500 2022 Contains images
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings (Lecture Notes in Computer Science #14368) 5836792 Yassine Maleh Belgacem Ben Hedia Moez Krichen 9783031497377 2024 Contains images
Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings (Lecture Notes in Computer Science #15466) 6561557 Bruno Monsuez Belgacem Ben Hedia Mohamed Ghazel 9783031853562 2025 Contains images
Verification and Validation in Scientific Computing 623735 William L. Oberkampf Christopher J. Roy 9781139813761 2010 Contains images
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models 1383070 Yosr Jarraya Luay Alawneh Andrei Soeanu Fawzi Hassaïne Mourad Debbabi 9783642152283 2010 Contains images
Verification and Validation of Rule-Based Expert Systems 6291481 Abraham Kandel Suzanne Smith 9781351830126 1993 Contains images
Verification of Computer Codes in Computational Science and Engineering (Discrete Mathematics and Its Applications) 6403567 Patrick Knupp Kambiz Salari 9781040200520 2002 Contains images
Verification, Model Checking, and Abstract Interpretation 1428497 Barbara Jobstmann K. Rustan M. Leino 9783662491225 2016 Contains images
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings (Lecture Notes in Computer Science #11388) 2456176 Ruzica Piskac Constantin Enea 9783030112455 2019 Contains images
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings (Lecture Notes in Computer Science #11990) 5925407 Dirk Beyer Damien Zufferey 9783030393229 2020 Contains images
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings (Lecture Notes in Computer Science #12597) 6054080 Fritz Henglein Sharon Shoham Yakir Vizel 9783030670672 2021 Contains images
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (Lecture Notes in Computer Science #13182) 4390235 Bernd Finkbeiner Thomas Wies 9783030945831 2022 Contains images
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Lecture Notes in Computer Science #13881) 6019003 Jingbo Wang Cezara Dragoi Michael Emmi 9783031249501 2023 Contains images
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14499) 5796201 Rayna Dimitrova Ori Lahav Sebastian Wolff 9783031505249 2024 Contains images
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14500) 5796203 Rayna Dimitrova Ori Lahav Sebastian Wolff 9783031505218 2024 Contains images
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I (Lecture Notes in Computer Science #15529) 6450670 Sriram Sankaranarayanan Krishna Shankaranarayanan Ashutosh Trivedi 9783031827006 2025 Contains images
Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II (Lecture Notes in Computer Science #15530) 6387183 Sriram Sankaranarayanan Krishna Shankaranarayanan Ashutosh Trivedi 9783031827037 2025 Contains images
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13800) 5214902 Stefano Tonetta Akash Lal 9783031258039 2023 Contains images
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14095) 6112287 Andrew Reynolds Serdar Tasiran 9783031660641 2024 Contains images
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers (Lecture Notes in Computer Science #15525) 6541834 Jonathan Protzenko Azalea Raad 9783031866951 2025 Contains images
Verified Software. Theories, Tools, and Experiments 1532225 Sandrine Blazy Marsha Chechik 9783319488691 2016 Contains images
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11294) 4736871 Ruzica Piskac Philipp Rümmer 9783030035921 2018 Contains images
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12031) 3404570 Supratik Chakraborty Jorge A. Navas 9783030416003 2020 Contains images

Refine Search

Showing 59,201 through 59,225 of 61,733 results