Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783642009815
Format: Paperback (754 pages) Publisher: Springer Published: 09 Mar 2009
Save for later
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
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
Elements of Set Theory
by Herbert B. Enderton
ISBN 13: 9780122384400
Format: Hardcover (279 pages) Publisher: Academic Press Published: 23 May 1977
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
Dynamical Systems: Examples of Complex Behaviour (Universitext)
by Jürgen Jost
ISBN 13: 9783540229087
Format: Paperback (189 pages) Publisher: Springer Published: 01 Aug 2005
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
by Steven Vickers
ISBN 13: 9780521576512
Format: Paperback (220 pages) Publisher: Cambridge University Press Published: 22 Aug 1996
The Moment of Proof: Mathematical Epiphanies
by Donald C. Benson
ISBN 13: 9780195139198
Format: Paperback (352 pages) Publisher: OUP USA Published: 05 Apr 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)
ISBN 13: 9783540412854
Format: Paperback (487 pages) Publisher: Springer Published: 23 Oct 2000