Versionskontrolle mit Subversion
573249
|
C. Michael Pilato
Brian W. Fitzpatrick
Ben Collins-Sussman
|
9783868996593 |
2009 |
Contains images
|
|
Version Control with Subversion
1574847
|
Ben Collins-Sussman
C. Michael Pilato
Brian W. Fitzpatrick
|
9781449379353 |
2009 |
Contains images
|
|
Version Control with Git
390713
|
Jon Loeliger
|
9780596551391 |
2009 |
Contains images
|
|
Version Control with Git
5167186
|
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
|
Matthew Mccullough
Jon Loeliger
|
9781449345044 |
2012 |
Contains images
|
|
Verschlüsseln, Signieren, Angreifen: Eine kompakte Einführung in die Kryptografie
2857207
|
Olaf Manz
|
9783662595916 |
2019 |
Contains images
|
|
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
|
|