Membrane Computing 9th International Workshop Wmc...
By: David Corne ,Pierluigi Frisco ,Gheorghe Paun ,Grzegorz Rozenberg ,Arto Salomaa
Date: Jun 14, 2024 Edition: 2009 EditionISBN: 3540958843, 978-3540958840
Rewriting Techniques And Applications 7th...
By: Harald Ganzinger
Date: Jun 14, 2024 Edition: 1996 EditionISBN: 3540614648, 978-3540614647
Recent Trends In Algebraic Development Techniques...
By: Francesco Parisi-presicce
Date: Jun 14, 2024 Edition: 1998 EditionISBN: 3540642994, 978-3540642992
Types For Proofs And Programs International...
By: Thorsten Altenkirch ,Wolfgang Naraschewski ,Bernhard Reus
Date: Jun 14, 2024 Edition: 1999 EditionISBN: 3540665374, 978-3540665373
Sorts And Types In Artificial Intelligence...
By: Karl H. Blasius ,Ulrich Hedtstuck ,Claus-Rainer Rollinger
Date: Jun 14, 2024 Edition: 1990 EditionISBN: 3540523375, 978-3540523376
Logic Programming Knowledge Representation And...
By: Marcello Balduccini ,Tran Cao Son
Date: Jun 14, 2024 Edition: 2011 EditionISBN: 3642208312, 978-3642208317
Logic And Games On Automatic Structures Playing...
By: Lukasz Kaiser
Date: Jun 14, 2024 Edition: 2011 EditionISBN: 3642228062, 978-3642228063
Formal Language And Automata Theory
By: Ajit Singh
Date: Jun 14, 2024 Edition: 1st EditionISBN: 979-8584868017
Confluent String Rewriting
By: Matthias Jantzen
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3642648673, 978-3642648670
Algebraic Informatics Second International...
By: Symeon Bozapalidis ,George Rahonis
Date: Jun 14, 2024 Edition: 2007 EditionISBN: 354075413X, 978-3540754138
Logica Universalis Towards A General Theory Of...
By: Jean-yves Beziau
Date: Jun 14, 2024 Edition: 2nd EditionISBN: 3764383534, 978-3764383534
Tapsoft 93 Theory And Practice Of Software...
By: Marie-Claude Gaudel ,Jean-Pierre Jouannaud
Date: Jun 14, 2024 Edition: 1993rd EditionISBN: 3540566104, 978-3540566106
Knowledge Representation And Reasoning Under...
By: Michael Masuch ,Laszlo Polos
Date: Jun 14, 2024 Edition: 1994 EditionISBN: 3540580956, 978-3540580959
Reachability Problems 10th International Workshop...
By: Kim Guldstrand Larsen ,Igor Potapov ,Jiri Srba
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319459937, 978-3319459936
Runtime Verification Th International Conference...
By: Ylies Falcone ,Cesar Sanchez
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319469819, 978-3319469812
Static Analysis 23rd International Symposium Sas...
By: Xavier Rival
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3662534126, 978-3662534120
Automata Languages And Programming 37th...
By: Samson Abramsky ,Cyril Gavoille ,Claude Kirchner ,Friedhelm Meyer Auf Der Heide ,Paul Spirakis
Date: Jun 14, 2024 Edition: 2010 EditionISBN: 3642141617, 978-3642141614
Computer Science Logic 11th International...
By: Mogens Nielsen ,Wolfgang Thomas
Date: Jun 14, 2024 Edition: 1998 EditionISBN: 3540645705, 978-3540645702
Frontiers Of Combining Systems 9th International...
By: Pascal Fontaine ,Christophe Ringeissen ,Renate Schmidt
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642408842, 978-3642408847
Introduction To Octave For Engineers And...
By: Sandeep Nagar
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1484232003, 978-1484232002
Fm 2014 Formal Methods 19th International...
By: Cliff Jones ,Pekka Pihlajasaari ,Jun Sun
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3319064096, 978-3319064093
Rewriting And Typed Lambda Calculi Joint...
By: Gilles Dowek
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 331908917X, 978-3319089171
Typed Lambda Calculi And Applications 11th...
By: Masahito Hasegawa
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642389457, 978-3642389450
Theoretical Aspects Of Computing Ictac 2013 10th...
By: Zhiming Liu ,Jim Woodcock ,Huibiao Zhu
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642397174, 978-3642397172
Algebraic Informatics 5th International...
By: Traian Muntean ,Robert Rolland ,Dimitrios Poulakis
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642406629, 978-3642406621
Symbolic And Quantitative Approaches To Reasoning...
By: Anthony Hunter ,Simon D. Parsons
Date: Jun 14, 2024 Edition: 1999 EditionISBN: 354066131X, 978-3540661313
Coordination Models And Languages 9th...
By: Amy L. Murphy ,Jan Vitek
Date: Jun 14, 2024 Edition: 2007 EditionISBN: 3540727930, 978-3540727934
Category Theory And Computer Science 6th...
By: D. E. Rydeheard ,David Pitt ,David E. Rydeheard ,Peter Johnstone
Date: Jun 14, 2024 Edition: 1995 EditionISBN: 3540601643, 978-3540601647
Optimization Techniques Modeling And Optimization...
By: J. Cea
Date: Jun 14, 2024 Edition: 1976 EditionISBN: 3540076220, 978-3540076223
Logic Programming And Automated Reasoning ...
By: Andrei Voronkov
Date: Jun 14, 2024 Edition: 1993rd EditionISBN: 3540569448, 978-3540569442
