Buy Used and New Architecture & Logic Books

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)

by Artur S. D'Avila Garcez,Luís C. Lamb,Dov M. Gabbay

ISBN 13: 9783540732457

Format: Hardcover (212 pages)
Publisher: Springer
Published: 22 Oct 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783540674016

Format: Hardcover (448 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540852377

Format: Paperback (626 pages)
Publisher: Springer
Published: 12 Aug 2008

Save for later

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

Introduction to Discrete-time Signals and Systems

by R.I. Damper

ISBN 13: 9780412476501

Format: Illustrated (288 pages)
Publisher: Springer
Published: 30 Jun 1995

Save for later

Measurement, Control, and Communication Using IEEE 1588 (Advances in Industrial Control)

by John C. Eidson

ISBN 13: 9781846282508

Format: Illustrated (304 pages)
Publisher: Springer
Published: 09 Mar 2006

Save for later

Technische Informatik 2: Grundlagen Der Computertechnik (Springer-Lehrbuch)

by Wolfram Schiffmann

ISBN 13: 9783540222712

Format: Paperback (417 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 01 Feb 2005

Save for later

Fuzzy-Regelung: Grundlagen, Entwurf, Analyse (Springer-Lehrbuch)

by Kai Michels,Frank Klawonn,Rudolf Kruse,Andreas N]rnberger,Andreas Na1/4rnberger,Andreas Nurnberger

ISBN 13: 9783540435488

Format: Paperback (420 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: Oct 2002

Save for later

Theoretische Informatik: Eine Kompakte Einfuhrung: Eine kompakte Einführung (Springer-Lehrbuch)

by Klaus W Wagner

ISBN 13: 9783540013136

Format: Paperback (227 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 11 Aug 2003

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540755586

Format: Paperback (562 pages)
Publisher: Springer
Published: 08 Oct 2007

Save for later

Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)

by

ISBN 13: 9783540003885

Format: Paperback (396 pages)
Publisher: Springer
Published: 13 Dec 2002

Save for later