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