Progress in Cryptology - INDOCRYPT 2009: 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings ... Computer Science / Security and Cryptology)
by Bimal Roy, Nicolas Sendrier
ISBN 13: 9783642106279
Format: Paperback (443 pages) Publisher: Springer Published: 24 Nov 2009
Save for later
A Concise Introduction to Mathematical Logic (Universitext)
by Wolfgang Rautenberg
ISBN 13: 9781441912206
Format: Illustrated (342 pages) Publisher: Springer Published: 17 Dec 2009
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)
by Eerke A. Boiten,Bernhard Möller
ISBN 13: 9783540438571
Format: Paperback (273 pages) Publisher: Springer Published: 13 Jun 2008
Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)
by Jacob Lurie
ISBN 13: 9780691140490
Format: Paperback (944 pages) Publisher: Princeton University Press Published: 06 Jul 2009
Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings: 5847 (Lecture Notes in Computer Science)
by Lalitha Devi Sobha, António Branco, Ruslan Mitkov
ISBN 13: 9783642049743
Format: Paperback (131 pages) Publisher: Springer Published: 26 Oct 2009
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)
by Alexander Kurz,Marina Lenisa
ISBN 13: 9783642037405
Format: Paperback (472 pages) Publisher: Springer Published: 28 Aug 2009
Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)
by Francesca Rossi, François Fages, Sylvain Soliman
ISBN 13: 9783540898115
Format: Paperback (159 pages) Publisher: Springer Published: 01 Dec 2008
Categories for Types (Cambridge Mathematical Textbooks)
by Crole
ISBN 13: 9780521457019
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 27 Jan 1994
Introduction to the Formal Design of Real-Time Systems (Applied Computing)
by David Gray
ISBN 13: 9783540761402
Format: Paperback (476 pages) Publisher: Springer-Verlag Published: 01 Nov 1998
Transactions on Rough Sets X (Lecture Notes in Computer Science / Transactions on Rough Sets): 5656
by James F. Peters
ISBN 13: 9783642032806
Format: Paperback (288 pages) Publisher: Springer Published: 04 Aug 2009
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)
by Sergei Artemov, Anil Nerode
ISBN 13: 9783540926863
Format: Paperback (469 pages) Publisher: Springer Published: 18 Dec 2008