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)
6019003
|
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
|
|
Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (Lecture Notes in Computer Science #11847)
3404321
|
Pierre Ganty
Mohamed Kaâniche
|
9783030350925 |
2019 |
Contains images
|
|
Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science #12519)
3754571
|
Belgacem Ben Hedia
Yu-Fang Chen
Gaiyun Liu
Zhenhua Yu
|
9783030659554 |
2020 |
Contains images
|
|
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings (Lecture Notes in Computer Science #14368)
5836792
|
Belgacem Ben Hedia
Yassine Maleh
Moez Krichen
|
9783031497377 |
2024 |
Contains images
|
|
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13187)
4515440
|
Ayoub Nouri
Weimin Wu
Kamel Barkaoui
ZhiWu Li
|
9783030988500 |
2022 |
Contains images
|
|
Verdiene passives Einkommen mit Quora und hänge deinen Job an den Nagel: Wie Du online eine Million verdienen kannst
3227546
|
Marcus Pfeiffer
|
9781071535288 |
2020 |
Contains images
|
|
La verdad del ensayo
4326355
|
Germán Málaga Rodríguez
|
9786124247637 |
2021 |
Contains images
|
|
Verbraucherschutz im E-Commerce: Rechtliche Rahmenbedingungen für den Warenverkauf im Internet (essentials)
4571709
|
Sascha Stiegler
|
9783658373207 |
2022 |
|
|
Verbraucherinformatik: Grundlagen und Anwendungsfelder der digitalen Konsumgesellschaft
6027909
|
Alexander Boden
Gunnar Stevens
Lena Recki
Paul Bossauer
Dirk Schreiber
|
9783662687062 |
2024 |
Contains images
|
|
Verantwortungsvolle KI im E-Commerce: Eine kurze Einführung in Verfahren der Künstlichen Intelligenz in der Webshop-Personalisierung
3354442
|
Michael Bernhard
Thorsten Mühling
|
9783658290375 |
2020 |
Contains images
|
|
Veränderte Kompetenzbereiche durch Industrie 4.0 in der Ausbildung von Techniker*innen an Höheren Technischen Lehranstalten in Österreich
4535883
|
Erich Mohl
|
9783658363512 |
2022 |
Contains images
|
|
Veracity of Big Data: Machine Learning and Other Approaches to Verifying Truthfulness
2102454
|
Vishnu Pendyala
|
9781484236338 |
2018 |
Contains images
|
|
The Venture Alchemists: How Big Tech Turned Profits Into Power
6017466
|
Rob Lalka
|
9780231558334 |
2024 |
Contains images
|
|