Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)
by Thom Frühwirth,Slim Abdennadher
ISBN 13: 9783540606703
Format: Paperback (176 pages) Publisher: Springer Published: 22 Feb 2009
Save for later
Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)
by
ISBN 13: 9780387692449
Format: Hardcover (384 pages) Publisher: Springer Published: 29 Mar 2007
Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540442745
Format: Paperback (655 pages) Publisher: Springer Published: 25 Sep 2002
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540710653
Format: Paperback (321 pages) Publisher: Springer Published: 30 Jul 2008
Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)
by Vladimir Kanovei,Michael Reeken
ISBN 13: 9783540222439
Format: Hardcover (424 pages) Publisher: Springer Published: 11 Aug 2004
Formal Engineering for Industrial Software Development: Using the SOFL Method
by Shaoying Liu
ISBN 13: 9783540206026
Format: Hardcover (400 pages) Publisher: Springer Published: 13 Apr 2004
The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition
by Bernard Linsky
ISBN 13: 9781107003279
Format: Hardcover (418 pages) Publisher: Cambridge University Press Published: 09 Jun 2011
Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)
ISBN 13: 9781439837214
Format: Hardcover (545 pages) Publisher: CRC Press Published: 16 Sep 2011
The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642232107
Format: Paperback (231 pages) Publisher: Springer Published: 19 Aug 2011
Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Modern Ontology (Springer Series on Agent Technology)
by Raymond S.T. Lee
ISBN 13: 9783540212034
Format: Hardcover (350 pages) Publisher: Springer Published: 18 Nov 2005
Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Lukasz Kaiser
ISBN 13: 9783642228063
Format: Paperback (130 pages) Publisher: Springer Published: 22 Jul 2011
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
by J. Flum, M. Grohe
ISBN 13: 9783540299523
Format: Hardcover (507 pages) Publisher: Springer Published: 09 Feb 2006