Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)
by Thomas Eiter,Leonid Libkin
ISBN 13: 9783540242888
Format: Paperback (424 pages) Publisher: Springer Published: 16 Dec 2004
Save for later
Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))
by Kevin Lano
ISBN 13: 9783540199786
Format: Illustrated (436 pages) Publisher: Springer Published: 25 Oct 1995
Stone Spaces: 3 (Cambridge Studies in Advanced Mathematics, Series Number 3)
by Peter T. Johnstone
ISBN 13: 9780521337793
Format: Paperback (396 pages) Publisher: Cambridge University Press Published: 14 Aug 1986
Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486284620
Format: Paperback (272 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings: 5861 (Lecture Notes in Computer Science)
by Yasuo Narukawa,Masahiro Inuiguchi
ISBN 13: 9783642048197
Format: Paperback (388 pages) Publisher: Springer Published: 03 Nov 2009
Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, ... 4998 (Lecture Notes in Computer Science)
by Jaume Bacardit
ISBN 13: 9783540881377
Format: Paperback (320 pages) Publisher: Springer Published: 23 Oct 2008
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
Logic for Mathematicians
by A. G. Hamilton
ISBN 13: 9780521368650
Format: Paperback (238 pages) Publisher: Cambridge University Press Published: 29 Sep 1988
Schaum's Outline of Set Theory and Related Topics
by Seymour Lipschutz
ISBN 13: 9780070381599
Format: Paperback (288 pages) Publisher: McGraw Hill Published: 01 Jan 1998
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970
Cryptology and Network Security: 8th International Conference, C.A.N.S. 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology): 5888
by Juan A. Garay, Atsuko Miyaji, Akira Otsuka
ISBN 13: 9783642104329
Format: Paperback (538 pages) Publisher: Springer Published: 24 Nov 2009
Cellular Automata: A Discrete View of the World: 45 (Wiley Series in Discrete Mathematics & Optimization)
by Joel L. Schiff
ISBN 13: 9780470168790
Format: Hardcover (280 pages) Publisher: Wiley-Interscience Published: 08 Feb 2008