Buy Used and New Mathematical Foundations Books

Constraint Logic Programming using Eclipse

by Krzysztof R. Apt,Mark Wallace

ISBN 13: 9780521866286

Format: Hardcover (348 pages)
Publisher: Cambridge University Press
Published: 21 Dec 2006

Save for later

Automated Theorem Proving: Theory and Practice

by Monty Newborn

ISBN 13: 9780387950754

Format: Hardcover (231 pages)
Publisher: Springer
Published: 01 Jan 2001

Save for later

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

Save for later

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540412854

Format: Paperback (487 pages)
Publisher: Springer
Published: 23 Oct 2000

Save for later

Einführung in die Kombinatorik.

by Konrad Jacobs,Dieter Jungnickel

ISBN 13: 9783110167276

Format: Paperback (406 pages)
Publisher: Gruyter, Walter de GmbH
Published: 31 Dec 2003

Save for later

Free Boundary Problems: Theory and Applications (International Series of Numerical Mathematics)

by

ISBN 13: 9783764377182

Format: Hardcover (470 pages)
Publisher: Birkhauser
Published: 22 Nov 2006

Save for later

Iterative Approximation of Fixed Points (Lecture Notes in Mathematics)

by Vasile Berinde

ISBN 13: 9783540722335

Format: Paperback (342 pages)
Publisher: Springer
Published: 16 May 2007

Save for later

Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540290735

Format: Paperback (349 pages)
Publisher: Springer
Published: 11 Oct 2005

Save for later

Numerical Mathematics (Texts in Applied Mathematics)

by Alfio Quarteroni,Riccardo Sacco,Fausto Saleri

ISBN 13: 9783540346586

Format: Hardcover (657 pages)
Publisher: Springer
Published: 19 Oct 2006

Save for later

Scientific Opportunism / L'Opportunisme scientifique: An Anthology (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives / Science autour de / around 1900)

by Henri Poincaré

ISBN 13: 9783764365394

Format: Hardcover (234 pages)
Publisher: Birkhauser
Published: 01 Jan 2002

Save for later

Granular Computing: At the Junction of Rough Sets and Fuzzy Sets (Studies in Fuzziness and Soft Computing)

by

ISBN 13: 9783540769729

Format: Hardcover (335 pages)
Publisher: Springer
Published: 20 Feb 2008

Save for later

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540680840

Format: Paperback (203 pages)
Publisher: Springer
Published: 26 May 2008

Save for later