Browse Results

Showing 60,251 through 60,275 of 62,782 results
Title Author ISBN Copyright Features Action
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
Verified Software: Theories, Tools and Experiments 1402188 Daniel Kroening Dimitra Giannakopoulou 9783319121543 2014 Contains images
Verified Software: Theories, Tools, and Experiments 1518624 Arie Gurfinkel Sanjit A. Seshia 9783319296135 2016 Contains images
Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online 5727745 Sam Wineburg Mike Caulfield 9780226822068 2023 Contains images
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) 4150566 Sayan Mitra 9780262370264 2021 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
Verkaufspsychologie im Online-Marketing: Wie Sie Kunden magisch anziehen 3457043 Christian Tembrink 9783658293130 2020 Contains images
Verkehrspflichten bei der Nutzung autonomer Systeme 6182747 Jan Eisele 9783658454999 2024 Contains images
Vermittlung von BIM in der Hochschullehre: Positionspapier des Arbeitskreises BIM im Baubetrieb des Fachausschusses Baubetrieb und Bauwirtschaft (essentials) 4500248 Henriette Strotmann Habeb Astour Mario Hanusrichter 9783658369590 2022 Contains images
Vermittlung von BIM in der Hochschullehre: Praktische Beiträge aus der Lehre (Essentials Ser.) 6078423 Henriette Strotmann Habeb Astour Mario Hanusrichter 9783658445140 2024 Contains images
Versatile Cybersecurity (Advances in Information Security #72) 2334247 Mauro Conti Radha Poovendran Gaurav Somani 9783319976433 2018 Contains images
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification 6510455 Daniel Große Lucas Klemmer 9783031830938 2025 Contains images
Versatile Routing and Services with BGP 855221 Colin Bookham 9781118875629 0222 Contains images
Verschlüsseln, Signieren, Angreifen: Eine kompakte Einführung in die Kryptografie 2857207 Olaf Manz 9783662595916 2019 Contains images
Version Control with Git 390713 Jon Loeliger 9780596551391 2009 Contains images
Version Control with Git: Powerful Tools and Techniques for Collaborative Software Development 6424453 Jon Loeliger Prem Kumar Ponuthorai 9781492091141 2023 Contains images
Version Control with Git: Powerful tools and techniques for collaborative software development (Oreilly And Associate Ser.) 2276032 Jon Loeliger Matthew Mccullough 9781449345044 2012 Contains images
Version Control with Subversion: Next Generation Open Source Version Control 6419399 Ben Collins-Sussman Brian W. Fitzpatrick C. Michael Pilato 9781449379353 2009 Contains images
Versionskontrolle mit Subversion 573249 Ben Collins-Sussman Brian W. Fitzpatrick C. Michael Pilato 9783868996593 2009 Contains images
Verständliche Vermarktung von Strom aus erneuerbaren Energien 2126024 Sascha Demarmels Dorothea Schaffner Sonja Kolberg Matthias Albisser Esther Federspiel Ursula Stalder Anja Janoschka Ursina Kellerhals 9783658223601 2018 Contains images
Vert.x in Action: Asynchronous and Reactive Java 4060482 Julien Ponge 9781638353355 2020 Contains images

Refine Search

Showing 60,251 through 60,275 of 62,782 results