Buy Used and New Algorithms Books

Genetic Programming Theory and Practice

by

ISBN 13: 9781402075810

Format: Hardcover (336 pages)
Publisher: Springer
Published: 30 Nov 2003

Save for later

Integer Programming and Combinatorial Optimization: 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540261995

Format: Paperback (484 pages)
Publisher: Springer
Published: 01 Jun 2005

Save for later

Component-Based Software Testing with UML

by Hans-Gerhard Gross

ISBN 13: 9783540208648

Format: Hardcover (334 pages)
Publisher: Springer
Published: 14 Sep 2004

Save for later

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 4th International Conference, CPAIOR 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540723967

Format: Paperback (391 pages)
Publisher: Springer
Published: 24 May 2007

Save for later

Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers ... Computer Science and General Issues)

by

ISBN 13: 9783540725206

Format: Paperback (366 pages)
Publisher: Springer
Published: 25 May 2007

Save for later

Life System Modeling and Simulation: International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, ... Science / Lecture Notes in Bioinformatics)

by

ISBN 13: 9783540747703

Format: Paperback (561 pages)
Publisher: Springer
Published: 30 Aug 2007

Save for later

Machine Learning in Document Analysis and Recognition (Studies in Computational Intelligence)

by

ISBN 13: 9783540762799

Format: Hardcover (434 pages)
Publisher: Springer
Published: 10 Jan 2008

Save for later

Multiple Classifier Systems: 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540221449

Format: Paperback (386 pages)
Publisher: Springer
Published: 01 Jun 2004

Save for later

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

by R. Kurki-Suonio

ISBN 13: 9783540233428

Format: Hardcover (418 pages)
Publisher: Springer
Published: 17 Feb 2005

Save for later

Symbolic Integration I: Transcendental Functions: v. 1 (Algorithms and Computation in Mathematics)

by Manuel Bronstein

ISBN 13: 9783540214939

Format: Hardcover (325 pages)
Publisher: Springer
Published: 30 Sep 2004

Save for later

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

by Yves Bertot,Pierre Castéran

ISBN 13: 9783540208549

Format: Hardcover (500 pages)
Publisher: Springer
Published: 14 May 2004

Save for later