Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
by Andrea Corradini, Ugo Montanari
ISBN 13: 9783642034282
Format: Paperback (352 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Control Theoretic Splines: Optimal Control, Statistics, and Path Planning: 31 (Princeton Series in Applied Mathematics)
by Magnus Egerstedt,Clyde Martin
ISBN 13: 9780691132969
Format: Hardcover (232 pages) Publisher: Princeton University Press Published: 27 Dec 2009
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)
by J L Bell
ISBN 13: 9780486462868
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008 Other Format: Hardcover
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008
Introductory Mathematics: Applications and Methods (Springer Undergraduate Mathematics Series)
by Gordon S. Marshall
ISBN 13: 9783540761792
Format: Illustrated (240 pages) Publisher: Springer Published: 28 Apr 1998
Mathematical Logic
by Joseph R. Shoenfield
ISBN 13: 9781568811352
Format: Paperback (352 pages) Publisher: Routledge Published: 01 Jan 2001
Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library): 335
by Mark van Atten
ISBN 13: 9781402050862
Format: Hardcover (206 pages) Publisher: Springer Published: 09 Nov 2006
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