Buy Used and New Algorithms Books

Analysis of Biological Networks (Wiley Series in Bioinformatics)

by Björn H. Junker, Falk Schreiber

ISBN 13: 9780470041444

Format: Hardcover (368 pages)
Publisher: Wiley-Interscience
Published: 14 Apr 2008

Save for later

Structural Knowledge: Techniques for Representing, Conveying, and Acquiring Structural Knowledge (Research, Special Publication; 30)

by David H. Jonassen,Katherine Beissner,Michael Yacci

ISBN 13: 9780805813609

Format: Paperback (276 pages)
Publisher: Routledge
Published: 15 Mar 1993

Save for later

Optimization and Control of Bilinear Systems: Theory, Algorithms, and Applications (Springer Optimization and Its Applications): 11

by Panos M. Pardalos,Vitaliy A. Yatsenko

ISBN 13: 9780387736686

Format: Illustrated (398 pages)
Publisher: Springer
Published: 24 Nov 2008

Save for later

Building an Enterprise Architecture Practice: Tools, Tips, Best Practices, Ready-to-Use Insights (The Enterprise Series)

by Martin van den Berg,Marlies van Steenbergen

ISBN 13: 9781402056055

Format: Illustrated (222 pages)
Publisher: Springer
Published: 07 Nov 2006

Save for later

Handbook of Algorithms for Physical Design Automation

by Charles J. Alpert, Dinesh P. Mehta, Sachin S. Sapatnekar

ISBN 13: 9780849372421

Format: Hardcover (1024 pages)
Publisher: Auerbach Publications
Published: 12 Nov 2008

Save for later

Moral Machines: Teaching Robots Right from Wrong

by Wendell Wallach,Colin Allen

ISBN 13: 9780195374049

Format: Illustrated (288 pages)
Publisher: Oxford University Press
Published: 20 Nov 2008

Save for later

Knowledge Management and Organizational Learning: 4 (Annals of Information Systems)

by William R. King

ISBN 13: 9781441900074

Format: Paperback (408 pages)
Publisher: Springer
Published: 29 Jun 2009

Save for later

A Computational Approach to Digital Chinese Painting and Calligraphy (Advanced Topics in Science and Technology in China)

by Songhua Xu, Francis C.M. Lau, Yun-he Pan

ISBN 13: 9783540881476

Format: Hardcover (380 pages)
Publisher: Springer
Published: 29 Jan 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

Handbook of Mathematical Models in Computer Vision

by

ISBN 13: 9780387263717

Format: Hardcover (605 pages)
Publisher: Springer
Published: 16 Dec 2005

Save for later

Automata and Computability

by Dexter C. Kozen

ISBN 13: 9780387949079

Format: Hardcover (400 pages)
Publisher: Springer
Published: 30 Apr 1997

Save for later