Browse Results

Showing 2,026 through 2,050 of 53,641 results
Title Author ISBN Copyright Features Action
Verified Software: Theories, Tools, and Experiments 1518624 Sanjit A. Seshia Arie Gurfinkel 9783319296135 2016 Contains images
Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online 5727745 Mike Caulfield Sam Wineburg 9780226822068 2023 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
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: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Lecture Notes in Computer Science #13881) 6019003 Cezara Dragoi Michael Emmi Jingbo Wang 9783031249501 2023 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 Constantin Enea Ruzica Piskac 9783030112455 2019 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: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings (Lecture Notes in Computer Science #12597) 3777335 Fritz Henglein Sharon Shoham Yakir Vizel 9783030670672 2021 Contains images
Verification, Model Checking, and Abstract Interpretation 1428497 Barbara Jobstmann K. Rustan M. Leino 9783662491225 2016 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 in Scientific Computing 623735 William L. Oberkampf Christopher J. Roy 9781139813761 2010 Contains images
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings (Lecture Notes in Computer Science #11181) 2243107 Mohamed Faouzi Atig Saddek Bensalem Simon Bliudze Bruno Monsuez 9783030003593 2018 Contains images
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 Belgacem Ben Hedia Yu-Fang Chen Gaiyun Liu Zhenhua Yu 9783030659554 2020 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 Belgacem Ben Hedia Yassine Maleh Moez Krichen 9783031497377 2024 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 Ayoub Nouri Weimin Wu Kamel Barkaoui ZhiWu Li 9783030988500 2022 Contains images
Verdiene passives Einkommen mit Quora und hänge deinen Job an den Nagel: Wie Du online eine Million verdienen kannst 3227546 Marcus Pfeiffer 9781071535288 2020 Contains images
La verdad del ensayo 4326355 Germán Málaga Rodríguez 9786124247637 2021 Contains images
Verbraucherschutz im E-Commerce: Rechtliche Rahmenbedingungen für den Warenverkauf im Internet (essentials) 4571709 Sascha Stiegler 9783658373207 2022
Verbraucherinformatik: Grundlagen und Anwendungsfelder der digitalen Konsumgesellschaft 6027909 Alexander Boden Gunnar Stevens Lena Recki Paul Bossauer Dirk Schreiber 9783662687062 2024 Contains images
Verantwortungsvolle KI im E-Commerce: Eine kurze Einführung in Verfahren der Künstlichen Intelligenz in der Webshop-Personalisierung 3354442 Michael Bernhard Thorsten Mühling 9783658290375 2020 Contains images
Veränderte Kompetenzbereiche durch Industrie 4.0 in der Ausbildung von Techniker*innen an Höheren Technischen Lehranstalten in Österreich 4535883 Erich Mohl 9783658363512 2022 Contains images
Veracity of Big Data: Machine Learning and Other Approaches to Verifying Truthfulness 2102454 Vishnu Pendyala 9781484236338 2018 Contains images
The Venture Alchemists: How Big Tech Turned Profits Into Power 6017466 Rob Lalka 9780231558334 2024 Contains images

Refine Search

Showing 2,026 through 2,050 of 53,641 results