Foundations Of Software Science And Computational...
By: Roberto Amadio
Date: Jun 14, 2024 Edition: 2008 EditionISBN: 3540784977, 978-3540784975
Runtime Verification International Conference Rv...
By: Axel Legay ,Saddek Bensalem
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642407862, 978-3642407864
Logic Rationality And Interaction Third...
By: Hans Van Ditmarsch ,Jerome Lang ,Shier Ju
Date: Jun 14, 2024 Edition: 2011 EditionISBN: 3642241298, 978-3642241291
The Multivariate Algorithmic Revolution And...
By: Hans L. Bodlaender ,Rodney Downey ,Fedor V. Fomin ,Daniel Marx
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642308902, 978-3642308901
Fm 2012 Formal Methods 18th International...
By: Dimitra Giannakopoulou ,Dominique Mery
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642327583, 978-3642327582
Information Processing And Management Of...
By: Davide Ciucci ,Ines Couso ,Jesus Medina ,Dominik Slezak ,Davide Petturiti ,Bernadette Bouchon-Meunier ,Ronald R. Yager
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3031089707, 978-3031089701
Logic And Machines Decision Problems And...
By: E. Borger ,G. Hasenjaeger ,D. Rodding
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3540133313, 978-3540133315
Parallel Execution Of Logic Programs Iclp 91 Pre...
By: Anthony Beaumont ,Gopal Gupta
Date: Jun 14, 2024 Edition: 1991st EditionISBN: 3540550380, 978-3540550389
Linked Data Storing Querying And Reasoning
By: Sherif Sakr ,Marcin Wylot ,Raghava Mutharaju ,Danh Le Phuoc ,Irini Fundulaki
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030088030, 978-3030088033
Algebra And Geometry With Python
By: Sergei Kurgalin ,Sergei Borzunov
Date: Jun 14, 2024 Edition: 1st EditionISBN: 303061543X, 978-3030615437
Logic Programming And Automated Reasoning...
By: Andrei Voronkov
Date: Jun 14, 2024 Edition: 1992nd EditionISBN: 354055727X, 978-3540557272
Model Driven Dependability Assessment Of Software...
By: Simona Bernardi ,Jose Merseguer ,Dorina Corina Petriu
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3662509423, 978-3662509425
The Collected Works Of J Richard B Chi
By: J. Richard Buchi ,Saunders Mac Lane ,Dirk Siefkes
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1461389305, 978-1461389309
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
