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
Save for later
Handbook of Mathematics for Engineers and Scientists (Advances in Applied Mathematics)
by Andrei D. Polyanin, Alexander V. Manzhirov
ISBN 13: 9781584885023
Format: Illustrated (1544 pages) Publisher: Chapman and Hall/CRC Published: 27 Nov 2006
Freaks of the Storm: From Flying Cows to Stealing Thunder - The World's Strangest True Weather Stories
by Randy Cerveny
ISBN 13: 9781560258018
Format: Paperback (304 pages) Publisher: Thunder's Mouth Press Published: 08 Dec 2005
New Directions in Intelligent Interactive Multimedia: 142 (Studies in Computational Intelligence)
by George A Tsihrintzis,Maria Virvou
ISBN 13: 9783540681267
Format: Hardcover (656 pages) Publisher: Springer Published: 18 Jun 2008
Dynamic Models in Biology
by Stephen P. Ellner,John Guckenheimer
ISBN 13: 9780691125893
Format: Paperback (352 pages) Publisher: Princeton University Press Published: 27 Mar 2006
The Painleve Property: One Century Later (CRM Series in Mathematical Physics)
by Robert Conte
ISBN 13: 9780387988887
Format: Hardcover (810 pages) Publisher: Springer Published: 01 Nov 1999
Riemannian Topology and Geometric Structures on Manifolds: 271 (Progress in Mathematics)
by Krzysztof Galicki,Santiago R. Simanca
ISBN 13: 9780817647421
Format: Illustrated (312 pages) Publisher: Birkhäuser Published: 01 Dec 2008
A Unified Statistical Methodology for Modeling Fatigue Damage
by Enrique Castillo,Alfonso Fernandez-Canteli
ISBN 13: 9781402091810
Format: Hardcover (248 pages) Publisher: Springer Published: 23 Feb 2009
Curved Spaces: From Classical Geometries to Elementary Differential Geometry
by P. M.H. Wilson
ISBN 13: 9780521713900
Format: Illustrated (196 pages) Publisher: Cambridge University Press Published: 13 Dec 2007 Other Format: Illustrated
Probability and Real Trees: École D'Été de Probabilités de Saint-Flour XXXV-2005 (Lecture Notes in Mathematics / École d'Été de Probabilités de ... Probabilites de Saint-Flour XXXV-2005: 1920
by Steven N. Evans
ISBN 13: 9783540747970
Format: Illustrated (216 pages) Publisher: Springer Published: 12 Oct 2007
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
by Jean-Raymond Abrial, Uwe Glässer
ISBN 13: 9783642114465
Format: Paperback (256 pages) Publisher: Springer Published: 20 Jan 2010
Calculus Made Easy
by Silvanus P Thompson,Martin Gardner
ISBN 13: 9780333772430
Format: Paperback (340 pages) Publisher: Palgrave Published: 22 Mar 1999