A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)
by Shawn Hedman
ISBN 13: 9780198529811
Format: Illustrated (452 pages) Publisher: OUP Oxford Published: 08 Jul 2004
Save for later
Intellectual Property and Open Source: A Practical Guide to Protecting Code
by Van Lindberg
ISBN 13: 9780596517960
Format: Paperback (390 pages) Publisher: O′Reilly Published: 25 Jul 2008
Illustrated Guide to Astronomical Wonders: From Novice to Master Observer (DIY Science)
by Robert Bruce Thompson,Barbara Fritchman Thompson
ISBN 13: 9780596526856
Format: Illustrated (520 pages) Publisher: Maker Media, Inc Published: 10 Nov 2007
Structure and Interpretation of Computer Programs, 2nd Edition (MIT Electrical Engineering and Computer Science)
by Harold Abelson,Gerald Jay Sussman
ISBN 13: 9780262510875
Format: Illustrated (657 pages) Publisher: MIT Press Published: 06 Aug 1996
Intelligence in Services and Networks: Technology for Cooperative Competition: Technology for Cooperative Competition : Fourth International ... 1238 (Lecture Notes in Computer Science)
by Al Mullery,Michel Besson,Mario Campolargo,Roberta Gobbi,Rick Reed
ISBN 13: 9783540631354
Format: Paperback (500 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Elementary SW Process Assess Improve: 29 (Practitioners)
by Khaled El Emam
ISBN 13: 9780818685231
Format: Illustrated (400 pages) Publisher: John Wiley & Sons Published: 27 Apr 1999
Eclipse IDE Pocket Guide: Using the Full-Featured Ide
by Ed Burnette
ISBN 13: 9780596100650
Format: Illustrated (130 pages) Publisher: O'Reilly Media Published: 22 Aug 2005
Microsound (The MIT Press)
by Curtis Roads
ISBN 13: 9780262681544
Format: Paperback (392 pages) Publisher: MIT Press Published: 17 Sep 2004
Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)
by Alexander Gelbukh
ISBN 13: 9783642003813
Format: Paperback (604 pages) Publisher: Springer Published: 16 Feb 2009
Discrete Mathematics for Computing
by Rod Haggarty
ISBN 13: 9780201730470
Format: Paperback (248 pages) Publisher: Addison Wesley Published: 05 Oct 2001
Joe Celko's Data, Measurements and Standards in SQL (Morgan Kaufmann Series in Data Management Systems)
by Joe Celko
ISBN 13: 9780123747228
Format: Illustrated (310 pages) Publisher: Morgan Kaufmann Published: 03 Nov 2009
Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong
ISBN 13: 9783642004537
Format: Paperback (259 pages) Publisher: Springer Published: 25 Feb 2009