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
|
|
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
|
|