9th International Conference On Automated...
By: Ewing Lusk ,Ross Overbeek
Date: Jun 14, 2024 Edition: 1988 EditionISBN: 354019343X, 978-3540193432
Foundations Of Software Science And Computational...
By: Andrew D. Gordon
Date: Jun 14, 2024 Edition: 2003rd EditionISBN: 3540008977, 978-3540008972
Rewriting Logic And Its Applications 13th...
By: Santiago Escobar ,Narciso Marti-Oliet
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030635945, 978-3030635947
One Hundred Prisoners And A Light Bulb
By: Hans Van Ditmarsch ,Barteld Kooi ,Elancheziyan
Date: Jun 14, 2024 Edition: 1st EditionISBN: 331916693X, 978-3319166933
Sofsem 95 Theory And Practice Of Informatics 22nd...
By: Miroslav Bartosek ,Jan Staudek ,Jiri Wiedermann
Date: Jun 14, 2024 Edition: 1995 EditionISBN: 3540606092, 978-3540614784
Tapsoft 91 Proceedings Of The International Joint...
By: S. Abramsky ,T.S.E. Maibaum
Date: Jun 14, 2024 Edition: 1991st EditionISBN: 3540539816, 978-3540539810
5th Conference On Automated Deduction Les Arcs...
By: Wolfgang Bibel ,R. Kowalski
Date: Jun 14, 2024 Edition: 1980 EditionISBN: 3540100091, 978-3540100096
Languages And Compilers For Parallel Computing...
By: Larry Carter ,Jeanne Ferrante
Date: Jun 14, 2024 Edition: 2000 EditionISBN: 3540678581, 978-3540678588
Coordination Models And Languages 7th...
By: Jean-Marie Jacquet ,Gian Pietro Picco
Date: Jun 14, 2024 Edition: 2005 EditionISBN: 354025630X, 978-3540256304
Applications Of Uncertainty Formalisms
By: Anthony Hunter ,Simon D. Parsons
Date: Jun 14, 2024 Edition: 1998 EditionISBN: 3540653120, 978-3540653127
Mathematical Foundations Of Programming Semantics...
By: Stephen Brookes ,Michael Main ,Austin Melton ,Michael Mislove ,David Schmidt
Date: Jun 14, 2024 Edition: 1992nd EditionISBN: 3540555110, 978-3540555117
Recent Trends In Algebraic Development Techniques...
By: Narciso Marti-Oliet ,Miguel Palomino
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642376347, 978-3642376344
Formal Techniques For Distributed Systems Joint...
By: Dirk Beyer ,Michele Boreale
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642385915, 978-3642385919
Critical Systems Formal Methods And Automated...
By: Maurice H. Ter Beek ,Stefania Gnesi ,Alexander Knapp
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319459422, 978-3319459424
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
