Cover Image

QR Code

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II.

Bibliographic Details
Main Author:	Shoham, Sharon.
Other Authors:	Vizel, Yakir.
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing AG, 2022.
Edition:	1st ed.
Series:	Lecture Notes in Computer Science Series
Subjects:	Electronic books.
Online Access:	Click to View

Similar Items

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I.
by: Shoham, Sharon.
Published: (2022)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II.
by: Enea, Constantin.
Published: (2023)

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.
by: Silva, Alexandra.
Published: (2021)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.
by: Enea, Constantin.
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III.
by: Enea, Constantin.
Published: (2023)

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.
by: Silva, Alexandra.
Published: (2021)

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.
by: Johnsen, Einar Broch.
Published: (2022)

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.
by: Sergey, Ilya.
Published: (2022)

Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings.
by: Suzuki, Yasuhiro.
Published: (2013)

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings.
by: Blanchette, Jasmin.
Published: (2022)

Proceedings of the 2022 2nd International Conference on Education, Information Management and Service Science (EIMSS 2022).
by: Zhan, Zehui.
Published: (2022)

Proceedings of the 2022 3rd International Conference on Big Data and Informatization Education (ICBDIE 2022).
by: Zhan, Zehui.
Published: (2023)

Proceedings of the 2022 3rd International Conference on Big Data and Social Sciences (ICBDSS 2022).
by: Guan, Guiyun.
Published: (2023)

Haptics : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings.
by: Seifi, Hasti.
Published: (2022)

Cyber Security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers.
by: Lu, Wei.
Published: (2022)

Soft computing : techniques in engineering sciences /
Published: (2020)

Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers.
by: Amunts, Katrin.
Published: (2021)

Computation and the Humanities : Towards an Oral History of Digital Humanities.
by: Nyhan, Julianne.
Published: (2016)

Green computing : large-scale energy efficiency /
Published: (2014)

Organic computing : doctoral dissertation colloquium 2014 /
Published: (2014)

Organic computing : doctoral dissertation colloquim 2016 /
Published: (2017)

Organic computing : doctoral dissertation colloquium 2017 /
Published: (2018)

Cloud Computing Technik, Sicherheit und rechtliche Gestaltung /
by: Bedner, Mark.
Published: (2013)

Cloud Computing Technology.
by: Huawei Technologies Co., Ltd., Ltd.
Published: (2022)

Mobile Edge Computing.
by: Zhang, Yan.
Published: (2021)

Silicon Valley Cybersecurity Conference : Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers.
by: Bathen, Luis.
Published: (2023)

Diversity in Computer Science : Design Artefacts for Equity and Inclusion.
by: Bjø, Pernille.
Published: (2022)

Security of Ubiquitous Computing Systems : Selected Topics.
by: Avoine, Gildas.
Published: (2021)

Mensch und Computer 2015 - Workshopband.
by: Weisbecker, Anette.
Published: (2015)

Mensch und Computer 2015 - Tagungsband.
by: Pielot, Martin.
Published: (2015)

Proceedings of the 1st International Conference on Innovation in Information Technology and Business (ICIITB 2022).
by: Bacanin, Nebojsa.
Published: (2023)

Human Computer Confluence : Transforming Human Experience Through Symbiotic Technologies.
by: Gaggioli, Andrea.
Published: (2016)

Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers.
by: Gelenbe, Erol.
Published: (2022)

Probability in Electrical Engineering and Computer Science : An Application-Driven Course.
by: Walrand, Jean.
Published: (2021)

Security in Distributed, Grid, Mobile, and Pervasive Computing.
by: Xiao, Yang.
Published: (2007)

Mensch und Computer 2015 - Usability Professionals : Workshop.
by: Endmann, Anja.
Published: (2015)

Heterogeneity, High Performance Computing, Self-Organization and the Cloud.
by: Lynn, Theo.
Published: (2018)

Agile Processes in Software Engineering and Extreme Programming : 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceedings.
by: Stray, Viktoria.
Published: (2022)

Semantic Systems. in the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, the Netherlands, September 7-10, 2020, Proceedings.
by: Blomqvist, Eva.
Published: (2020)

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.
by: Lambers, Leen.
Published: (2023)