Principles And Practice Of Constraint Programming...
By: Michela Milano
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642335578, 978-3642335570
Algorithmic Language And Program Development
By: F.L. Bauer ,H. Wossner ,H. Partsch ,P. Pepper
Date: Jun 14, 2024 Edition: 1st EditionISBN: 364261809X, 978-3642618093
School Zone Math Basics 4 Workbook 64 Pages Ages...
By: School Zone ,Joan Hoffman ,Ph.D. Barbara Bando Irvin ,Ph.D. Shannon M. Mullally ,Richard Pape
Date: Jun 14, 2024 Edition: Deluxe EditionISBN: 0887431402, 978-0887431401
Structured Object Oriented Formal Language And...
By: Shaoying Liu ,Zhenhua Duan ,Cong Tian ,Fumiko Nagoya
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319577077, 978-3319577074
Programming Languages And Systems 1 Asian...
By: Atsushi Igarashi
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319479571, 978-3319479576
Verification Model Checking And Abstract...
By: Viktor Kuncak ,Andrey Rybalchenko
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642279392, 978-3642279393
Abz 2014 The Landing Gear Case Study Case Study...
By: Frederic Boniol ,Virginie Wiels ,Yamine Ait Ameur ,Klaus-Dieter Schewe
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 331907511X, 978-3319075112
Coordination Models And Languages 12th...
By: David Clarke ,Gul Agha
Date: Jun 14, 2024 Edition: 2010 EditionISBN: 3642134130, 978-3642134135
Semantics Of Data Types International Symposium...
By: G. Kahn ,D.B. Macqueen ,G. Plotkin
Date: Jun 14, 2024 Edition: 1984 EditionISBN: 3540133461, 978-3540133469
Understanding Z A Specification Language And Its...
By: J. M. Spivey
Date: Jun 14, 2024 Edition: 1st EditionISBN: 0521054141, 978-0521054140
The Automation Of Reasoning With Incomplete...
By: Torsten Schaub
Date: Jun 14, 2024 Edition: 1997 EditionISBN: 3540645152, 978-3540645153
Techniques For Searching Parsing And Matching
By: Alberto Pettorossi
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030631915, 978-3030631918
Efficient Graph Rewriting And Its Implementation
By: Heiko Dorr
Date: Jun 14, 2024 Edition: 1995 EditionISBN: 3540600558, 978-3540600558
Scientific Computation With Automatic Result...
By: Ulrich Kulisch ,Hans J. Stetter
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3211820639, 978-3211820636
Categories And Types In Logic Language And...
By: Claudia Casadio ,Bob Coecke ,Michael Moortgat ,Philip Scott
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3642547885, 978-3642547881
Fields Of Logic And Computation Essays Dedicated...
By: Andreas Blass ,Nachum Dershowitz ,Wolfgang Reisig
Date: Jun 14, 2024 Edition: 2010 EditionISBN: 3642150241, 978-3642150241
Artificial Intelligence And Symbolic Computation...
By: Bruno Buchberger ,John A. Campbell
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3540232125, 978-3540232124
Computer Human Interaction In Symbolic Computation
By: Norbert Kajler ,D.S. Scott
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3211828435, 978-3211828434
Rewriting Logic And Its Applications 11th...
By: Dorel Lucanu
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319448013, 978-3319448015
Genetic And Evolutionary Computation Gecco 2003...
By: Erick Cantu-paz
Date: Jun 14, 2024 Edition: 2003rd EditionISBN: 3540406034, 978-3540406037
Generative And Transformational Techniques In...
By: Ralf Lammel ,Joost Visser ,Joao Saraiva
Date: Jun 14, 2024 Edition: 2008 EditionISBN: 3540886427, 978-3540886426
Hybrid Metaheuristics 7th International Workshop...
By: Maria Jose Blesa ,Christian Blum ,Gunther Raidl ,Andrea Roli ,Michael Sampels
Date: Jun 14, 2024 Edition: 2010 EditionISBN: 3642160530, 978-3642160530
Code Generation Concepts Tools Techniques...
By: Robert Giegerich ,S.L. Graham
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3540197575, 978-3540197577
Descriptional Complexity Of Formal Systems 1...
By: Martin Kutrib ,Nelma Moreira ,Rogerio Reis
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642316220, 978-3642316227
Formal Techniques For Distributed Systems Joint...
By: Roberto Bruni ,Juergen Dingel
Date: Jun 14, 2024 Edition: 2011 EditionISBN: 3642214606, 978-3642214608
Safe And Secure Software Reuse 13th International...
By: John Favaro ,Maurizio Morisio
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642389767, 978-3642389764
Practical Quantum Computing For Developers...
By: Vladimir Silva
Date: Jun 14, 2024 Edition: 1st EditionISBN: 1484242173, 978-1484242179
Theory And Practice Of Computation Proceedings Of...
By: Shin-Ya Nishizaki ,Masayuki Numao ,Jaime D L Caro ,Merlin Teodosia C Suarez
Date: Jun 14, 2024 Edition: 1st EditionISBN: B01N80CWIN
Formal Techniques For Safety Critical Systems...
By: Cyrille Artho ,Peter Csaba Olveczky
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3319054155, 978-3319054155
Lectures On Logic And Computation Esslli 2010...
By: Nick Bezhanishvili ,Valentin Goranko
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642314848, 978-3642314841
