Handbook of Combinatorial Designs (Discrete Mathematics and Its Applications)
by
ISBN 13: 9781584885061
Format: Hardcover (1016 pages) Publisher: Chapman and Hall/CRC Published: 02 Nov 2006
Save for later
Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes)
by Robert Goldblatt
ISBN 13: 9780937073940
Format: Paperback (180 pages) Publisher: Cambridge University Press Published: 01 Jun 1992
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642017476
Format: Paperback (245 pages) Publisher: Springer Published: 12 May 2009
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise,Lawrence Moss
ISBN 13: 9781575860084
Format: Paperback (390 pages) Publisher: Cambridge University Press Published: 13 Jul 1996
The Law of Non-Contradiction: New Philosophical Essays
ISBN 13: 9780199204199
Format: Paperback (456 pages) Publisher: Clarendon Press Published: 30 Nov 2006
Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)
by David M. Bressoud
ISBN 13: 9780521666466
Format: Paperback (274 pages) Publisher: Cambridge University Press Published: 13 Aug 1999
Computability Theory: An Introduction to Recursion Theory
by Herbert B. Enderton
ISBN 13: 9780123849588
Format: Hardcover (192 pages) Publisher: Academic Press Published: 30 Dec 2010
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002
Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II: Pt. 2 (Lecture Notes in Computer Science / Transactions on Rough Sets)
ISBN 13: 9783540716624
Format: Paperback (381 pages) Publisher: Springer Published: 17 Apr 2007
Organized Crime: Culture, Markets and Policies (Studies of Organized Crime)
ISBN 13: 9780387097107
Format: Paperback (230 pages) Publisher: Springer Published: 14 Aug 2008
Logic for Computer Scientists (Modern Birkhäuser Classics)
by Uwe Schöning
ISBN 13: 9780817647629
Format: Paperback (166 pages) Publisher: Birkhauser Published: 25 Jan 2008
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