The Pillars Of Computation Theory State Encoding...
By: Arnold L. Rosenberg
Date: Jun 14, 2024 Edition: 2010 EditionISBN: 0387096388, 978-0387096384
Category Theory And Computer Science Paris France...
By: David H. Pitt ,Pierre-Louis Curien ,Samson Abramsky ,Andrew Pitts ,Axel Poigne ,David E. Rydeheard
Date: Jun 14, 2024 Edition: 1991st EditionISBN: 354054495X, 978-3540544951
Theory And Practice Of Model Transformations 7th...
By: Davide Di Ruscio ,Daniel Varro
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3319087886, 978-3319087887
Build Your Own Robot Using Python Crickit And...
By: Marwan Alsabbagh
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1633438457, 978-1633438453
Mathematical Foundations Of Computer Science 2001...
By: Jiri Sgall ,Ales Pultr ,Petr Kolman
Date: Jun 14, 2024 Edition: 2001st EditionISBN: 3540424962, 978-3540424963
Recent Trends In Algebraic Development Techniques...
By: Till Mossakowski ,Hans-Jorg Kreowski
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642284116, 978-3642284113
Testing Software And Systems 23rd Ifip Wg 6 1...
By: Burkhart Wolff ,Fatiha Zaidi
Date: Jun 14, 2024 Edition: 2011 EditionISBN: 364224579X, 978-3642245794
Developments In Language Theory 10th...
By: Oscar H. Ibarra ,Zhe Dang
Date: Jun 14, 2024 Edition: 2006 EditionISBN: 354035428X, 978-3540354284
Logic Based Program Synthesis And Transformation...
By: Fabio Fioravanti ,John P. Gallagher
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319944592, 978-3319944593
Quantum Computing By Practice Python Programming...
By: Vladimir Silva
Date: Jun 14, 2024 Edition: 2nd EditionISBN: 1484299906, 978-1484299906
Tools And Algorithms For The Construction And...
By: Erika Abraham ,Klaus Havelund
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 364254861X, 978-3642548611
Practical Aspects Of Declarative Languages 1...
By: Claudio Russo ,Neng-Fa Zhou
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642276938, 978-3642276934
Theoretical Aspects Of Computing Ictac 2014 11th...
By: Gabriel Ciobanu ,Dominique Mery
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3319108816, 978-3319108810
Rigorous State Based Methods 9th International...
By: Uwe Glasser ,Jose Creissac Campos ,Dominique Mery ,Philippe Palanque
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3031331621, 978-3031331626
Concur 97 Concurrency Theory 8th International...
By: Antoni Mazurkiewicz ,Jozef Winkowski
Date: Jun 14, 2024 Edition: 1997 EditionISBN: 3540631410, 978-3540631415
Concur 98 Concurrency Theory 9th International...
By: Davide Sangiorgi ,Robert De Simone
Date: Jun 14, 2024 Edition: 1998 EditionISBN: 3540648968, 978-3540648963
Tests And Proofs 13th International Conference...
By: Dirk Beyer ,Chantal Keller
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030311562, 978-3030311568
Static Analysis 26th International Symposium Sas...
By: Bor-yuh Evan Chang
Date: Jun 14, 2024 Edition: 1st EditionISBN: 303032303X, 978-3030323035
Logical Foundations Of Computer Science...
By: Sergei Artemov ,Anil Nerode
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030367541, 978-3030367541
Relational And Algebraic Methods In Computer...
By: Uli Fahrenberg ,Peter Jipsen ,Michael Winter
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030435199, 978-3030435196
Logic Based Program Synthesis And Transformation...
By: Fred Mesnard ,Peter J. Stuckey
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030138372, 978-3030138370
Formal Methods Teaching Third International...
By: Brijesh Dongol ,Luigia Petre ,Graeme Smith
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030324400, 978-3030324407
Typed Lambda Calculi And Applications 6th...
By: Martin Hofmann
Date: Jun 14, 2024 Edition: 2003rd EditionISBN: 3540403329, 978-3540403326
Software Engineering And Formal Methods Sefm 2014...
By: Carlos Canal ,Akram Idani
Date: Jun 14, 2024 Edition: 2015 EditionISBN: 3319152009, 978-3319152004
Model Checking Software 22nd International...
By: Bernd Fischer ,Jaco Geldenhuys
Date: Jun 14, 2024 Edition: 1st EditionISBN: 331923403X, 978-3319234038
Stacs 86 3rd Annual Symposium On Theoretical...
By: B. Monien ,G. Vidal-Naquet
Date: Jun 14, 2024 Edition: 1986 EditionISBN: 3540160787, 978-3540160786
Verification Model Checking And Abstract...
By: Ahmed Bouajjani ,David Monniaux
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319522337, 978-3319522333
Static Analysis 21st International Symposium Sas...
By: Markus Muller-Olm ,Helmut Seidl
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3319109359, 978-3319109350
Small Dynamic Complexity Classes An Investigation...
By: Thomas Zeume
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3662543133, 978-3662543139
Integrated Formal Methods 12th International...
By: Erika Abraham ,Marieke Huisman
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319336924, 978-3319336923
