Browse Results

Showing 2,001 through 2,025 of 53,261 results
Title Author ISBN Copyright Features Action
Versatile Routing and Services with BGP 855221 Colin Bookham 9781118875629 0222 Contains images
Versatile Cybersecurity (Advances in Information Security #72) 2334247 Radha Poovendran Gaurav Somani Mauro Conti 9783319976433 2018 Contains images
Vermittlung von BIM in der Hochschullehre: Positionspapier des Arbeitskreises BIM im Baubetrieb des Fachausschusses Baubetrieb und Bauwirtschaft (essentials) 4500248 Habeb Astour Mario Hanusrichter Henriette Strotmann 9783658369590 2022 Contains images
Verkaufspsychologie im Online-Marketing: Wie Sie Kunden magisch anziehen 3457043 Christian Tembrink 9783658293130 2020 Contains images
Verilog HDL Design Examples 2130824 Joseph Cavanagh 9781351596299 2018 Contains images
Verilog HDL: Digital Design and Modeling 2132579 Joseph Cavanagh 9781351835435 2007 Contains images
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) 4150566 Sayan Mitra 9780262370264 2021 Contains images
Verified Software. Theories, Tools, and Experiments 1532225 Sandrine Blazy Marsha Chechik 9783319488691 2016 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
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 Akash Lal Stefano Tonetta 9783031258039 2023 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 1402188 Dimitra Giannakopoulou Daniel Kroening 9783319121543 2014 Contains images
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) 5189069 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

Refine Search

Showing 2,001 through 2,025 of 53,261 results