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
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642006586
Format: Paperback (269 pages) Publisher: Springer Published: 22 Apr 2009
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
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642020162
Format: Paperback (482 pages) Publisher: Springer Published: 28 Apr 2009
Giuseppe Peano between Mathematics and Logic: Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his ... Mathematico Torino (Italy) October 2-3, 2008
ISBN 13: 9788847018358
Format: Paperback (190 pages) Publisher: Springer Published: 23 Dec 2010
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
Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642009815
Format: Paperback (754 pages) Publisher: Springer Published: 09 Mar 2009
Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642024238
Format: Paperback (353 pages) Publisher: Springer Published: 09 Jun 2009