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