Buy Used and New Algorithms Books

Learning Classifier Systems in Data Mining: 125 (Studies in Computational Intelligence)

by John Holmes, Ester Bernadó-Mansilla, Larry Bull

ISBN 13: 9783540789789

Format: Hardcover (230 pages)
Publisher: Springer
Published: 30 May 2008

Save for later

Queueing Theory: A Linear Algebraic Approach

by Lester Lipsky

ISBN 13: 9780387497044

Format: Hardcover (554 pages)
Publisher: Springer
Published: 27 Nov 2008

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

Information Systems Development and Data Modeling: Conceptual and Philosophical Foundations (Cambridge Tracts in Theoretical Computer Science)

by Rudy Hirschheim, Heinz K. Klein, Kalle Lyytinen

ISBN 13: 9780521373692

Format: Hardcover (304 pages)
Publisher: Cambridge University Press
Published: 27 Oct 1995

Save for later

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

by Leonid Libkin

ISBN 13: 9783540212027

Format: Hardcover (318 pages)
Publisher: Springer
Published: 02 Jul 2004

Save for later

Computational Geometry: Algorithms and Applications

by Mark de Berg,Otfried Cheong,Marc van Kreveld,Mark Overmars

ISBN 13: 9783540779735

Format: Hardcover (386 pages)
Publisher: Springer
Published: 07 Mar 2008

Save for later

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

by Matthew J. Sottile,Timothy G. Mattson,Craig E Rasmussen

ISBN 13: 9781420072136

Format: Hardcover (344 pages)
Publisher: Chapman and Hall/CRC
Published: 07 Oct 2009

Save for later

Model Driven Engineering and Ontology Development

by Dragan Gaevic,Dragan Djuric,Vladan Devedic

ISBN 13: 9783642002816

Format: Hardcover (378 pages)
Publisher: Springer
Published: 18 May 2009

Save for later

Algorithms and Programming: Problems and Solutions (Springer Undergraduate Texts in Mathematics and Technology)

by Alexander Shen

ISBN 13: 9781441917478

Format: Hardcover (272 pages)
Publisher: Springer
Published: 12 Feb 2010

Save for later

Learning Theory: An Approximation Theory Viewpoint (Cambridge Monographs on Applied and Computational Mathematics)

by Felipe Cucker,Ding Xuan Zhou

ISBN 13: 9780521865593

Format: Hardcover (236 pages)
Publisher: Cambridge University Press
Published: 29 Mar 2007

Save for later

Exploratory Data Mining and Data Cleaning (Wiley Series in Probability and Statistics)

by Tamraparni Dasu,Theodore Johnson

ISBN 13: 9780471268512

Format: Hardcover (224 pages)
Publisher: Wiley-Blackwell
Published: 10 Jun 2003

Save for later