Cover Image

QR Code

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.

Bibliographic Details
Main Author:	Enea, Constantin.
Other Authors:	Lal, Akash.
Format:	eBook
Language:	English
Published:	Cham : Springer, 2023.
Edition:	1st ed.
Series:	Lecture Notes in Computer Science Series
Subjects:	Electronic books.
Online Access:	Click to View

Similar Items

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 : 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 I.
by: Silva, Alexandra.
Published: (2021)

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 : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.
by: Silva, Alexandra.
Published: (2021)

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

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)

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 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: Wies, Thomas.
Published: (2023)

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

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)

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)

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

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

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

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

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

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

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)

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)

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

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

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)

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 : 24th International Conference on Agile Software Development, XP 2023, Amsterdam, the Netherlands, June 13-16, 2023, Proceedings.
by: Stettina, Christoph J.
Published: (2023)

Proceedings of the 2nd International Academic Conference on Blockchain, Information Technology and Smart Finance (ICBIS 2023).
by: Yen, Jerome.
Published: (2023)

Computer modeling and investigation on the steel corrosion in cracked ultra high performance concrete
Published: (2012)

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)

Haptics : 12th International Conference, EuroHaptics 2020, Leiden, the Netherlands, September 6-9, 2020, Proceedings.
by: Nisky, Ilana.
Published: (2020)

Informatics in the Future : Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015.
by: Werthner, Hannes.
Published: (2017)

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

Cyber Security : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers.
by: Lu, Wei.
Published: (2021)

Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings.
by: Guerra, Esther.
Published: (2021)

Agile Processes in Software Engineering and Extreme Programming : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings.
by: Gregory, Peggy.
Published: (2021)