Buy Used and New Algorithms Books

Essays and Surveys in Metaheuristics: 15 (Operations Research/Computer Science Interfaces Series)

by Celso Ribeiro, Pierre Hansen, P. Hansen

ISBN 13: 9780792375203

Format: Illustrated (668 pages)
Publisher: Springer
Published: 31 Oct 2001

Save for later

Machine Learning and Data Mining

by I. Kononenko,M. Kukar

ISBN 13: 9781904275213

Format: Paperback (476 pages)
Publisher: Woodhead Publishing
Published: 30 Apr 2007

Save for later

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

Robust Algebraic Multilevel Methods and Algorithms (Radon Series on Computational and Applied Mathematics): 05 (Radon Series on Computational and Applied Mathematics, 5)

by Johannes Kraus,Svetozar Margenov

ISBN 13: 9783110193657

Format: Illustrated (258 pages)
Publisher: De Gruyter
Published: 01 Jul 2009

Save for later

The Garden in the Machine: The Emerging Science of Artificial Life: 121 (Princeton Science Library)

by Claus Emmeche, Steven Sampson

ISBN 13: 9780691029030

Format: Paperback (220 pages)
Publisher: Princeton University Press
Published: 19 Sep 1996

Save for later

Logic Functions and Equations: Examples and Exercises

by Bernd Steinbach,Christian Posthoff

ISBN 13: 9781402095948

Format: Hardcover (254 pages)
Publisher: Springer
Published: 12 Feb 2009

Save for later

Blind Equalization and System Identification: Batch Processing Algorithms, Performance and Applications (Advanced Textbooks in Control and Signal Processing)

by Chong-Yung Chi

ISBN 13: 9781846280221

Format: Illustrated (484 pages)
Publisher: Springer
Published: 23 Jan 2006

Save for later

Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography: 44 (Mathematical Sciences Research Institute Publications, Series Number 44)

by J.P. Buhler, P. Stevenhagen

ISBN 13: 9780521808545

Format: Hardcover (662 pages)
Publisher: Cambridge University Press
Published: 20 Oct 2008

Save for later

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)

by Chitta Baral,Gerhard Brewka,John Schlipf

ISBN 13: 9783540721994

Format: Paperback (344 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later

Artificial Life Models in Software

by Maciej Komosinski,Andrew Adamatzky

ISBN 13: 9781848822849

Format: Hardcover (464 pages)
Publisher: Springer
Published: 14 Jul 2009

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