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)
by
ISBN 13: 9783642024238
Format: Paperback (353 pages) Publisher: Springer Published: 09 Jun 2009
Save for later
Compiler Construction: 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)
ISBN 13: 9783642119699
Format: Paperback (326 pages) Publisher: Springer Published: 16 Mar 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
Deduction: Introductory Symbolic Logic
by Daniel Bonevac
ISBN 13: 9780631227137
Format: Paperback (528 pages) Publisher: Wiley-Blackwell Published: 13 Sep 2002
New Directions in the Philosophy of Mathematics: An Anthology (Revised and expanded edition)
ISBN 13: 9780691034980
Format: Paperback (448 pages) Publisher: Princeton University Press Published: 12 Jan 1998
Computers, Rigidity, and Moduli: The Large-Scale Fractal Geometry of Riemannian Moduli Space (Porter Lectures)
by Shmuel Weinberger
ISBN 13: 9780691118895
Format: Hardcover (192 pages) Publisher: Princeton University Press Published: 29 Nov 2004
Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642148651
Format: Paperback (513 pages) Publisher: Springer Published: 05 Aug 2010
Logic, Induction and Sets (London Mathematical Society Student Texts)
by Thomas Forster
ISBN 13: 9780521533614
Format: Paperback (246 pages) Publisher: Cambridge University Press Published: 25 Sep 2003
Set Theory and its Philosophy: A Critical Introduction
by Michael Potter
ISBN 13: 9780199270415
Format: Illustrated (360 pages) Publisher: Oxford University Press, U.S.A. Published: 13 Apr 2006
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998