Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)
by Antoine Joux
ISBN 13: 9781420070026
Format: Hardcover (519 pages) Publisher: Chapman and Hall/CRC Published: 22 Jun 2009
Save for later
Referential Opacity and Modal Logic (Studies in Philosophy)
by N/A
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009
Advanced Algebra: With a Companion Volume 'Basic Algebra' (Cornerstones)
ISBN 13: 9780817645229
Format: Hardcover (730 pages) Publisher: Birkhauser Published: 04 Dec 2007
Intermediate Logic
by David Bostock
ISBN 13: 9780198751427
Format: Paperback (404 pages) Publisher: Oxford University Press, USA Published: 09 Oct 1997
Naturalism in Mathematics
ISBN 13: 9780198250753
Format: Paperback (264 pages) Publisher: Clarendon Press Published: 29 Jun 2000
Theory of Association Schemes (Springer Monographs in Mathematics)
ISBN 13: 9783540261360
Format: Hardcover (283 pages) Publisher: Springer Published: 20 Oct 2005
Category Theory (Oxford Logic Guides)
ISBN 13: 9780199237180
Format: Paperback (320 pages) Publisher: OUP Oxford Published: 17 Jun 2010
Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))
ISBN 13: 9780195147209
Format: Paperback (504 pages) Publisher: OUP USA Published: 05 Jul 2001 Other Format: Illustrated
Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)
ISBN 13: 9783540594369
Format: Hardcover (615 pages) Publisher: Springer Published: 19 Sep 2002
Automated Theorem Proving: Theory and Practice
by Monty Newborn
ISBN 13: 9780387950754
Format: Hardcover (231 pages) Publisher: Springer Published: 01 Jan 2001
Theorie Und Numerik Restringierter Optimierungsaufgaben (Springer-Lehrbuch Masterclass)
by Carl Geiger,Christian Kanzow
ISBN 13: 9783540427902
Format: Paperback (487 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 06 Mar 2002
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540412854
Format: Paperback (487 pages) Publisher: Springer Published: 23 Oct 2000