Sweet Reason: A Field Guide to Modern Logic
by James M. Henle, Jay L. Garfield, Thomas Tymoczko
ISBN 13: 9781444337150
Format: Paperback (424 pages) Publisher: John Wiley & Sons Published: 26 Aug 2011
Save for later
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642225307
Format: Paperback (158 pages) Publisher: Springer Published: 12 Jul 2011
Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)
by Murray R. Bremner
ISBN 13: 9781439807026
Format: Hardcover (332 pages) Publisher: CRC Press Published: 08 Sep 2011
Machine Learning and Data Mining in Pattern Recognition: 7th International Conference, MLDM 2011, New York, NY, USA, August 30-September 3, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642231988
Format: Paperback (614 pages) Publisher: Springer Published: 12 Aug 2011
Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642223020
Format: Paperback (375 pages) Publisher: Springer Published: 18 Jul 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642223051
Format: Paperback (205 pages) Publisher: Springer Published: 05 Jul 2011
General Lattice Theory: Second edition: Volume 1: The Foundation
by George Grätzer
ISBN 13: 9783764369965
Format: Paperback (663 pages) Publisher: Birkhauser Published: 21 Nov 2002
Math Work Stations: Independent Learning You Can Count On, K-2
by Debbie Diller
ISBN 13: 9781571107930
Format: Spiral-bound (299 pages) Publisher: Stenhouse Pub Published: 31 Dec 2010
Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)
by Deborah Nolan,Terry P. Speed
ISBN 13: 9780387989747
Format: Illustrated (301 pages) Publisher: Springer Published: 22 Feb 2009
Semantics in Data and Knowledge Bases: 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers (Lecture Notes ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642234408
Format: Paperback (135 pages) Publisher: Springer Published: 06 Sep 2011
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783642244308
Format: Paperback (261 pages) Publisher: Springer Published: 19 Sep 2011
Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)
by Gheorghe Paun
ISBN 13: 9783642114663
Format: Illustrated (500 pages) Publisher: Springer Published: 12 Jan 2010