ABCD

springer.com

Computer Science Textbooks

Geometric
Algebra for
Computer
Graphics

J.A. Vince

Since its invention, geometric algebra has been applied to various

branches of physics such as cosmology and electrodynamics, and is now being embraced by the computer graphics community where it is providing new ways of solving geometric problems. It took over two thousand years to discover this algebra, which uses a simple and consistent notation to describe vectors and their products. Vince tackles this new subject in his usual inimitable style, and provides an accessible and very readable introduction.

2008. XVI, 256 p. 125 illus. Hardcover ISBN 978-1-84628-996-5 7 $99.00

Exploring Computer Science with Scheme O. Grillmeyer The aim of this textbook is to present the central and basic concepts, techniques, and tools of computer science. The emphasis is on presenting a problem-solving approach and on providing a survey of all of the most important topics covered in computer science degree programmes. Scheme is used throughout as the programming language and the author stresses a functional programming approach which concentrates on the creation of simple functions that are composed to obtain the desired programming goal. Such simple functions are easily tested individually.

2nd ed. 2009. Approx. 610 p. (Undergraduate Texts in Computer Science) Hardcover ISBN 978-0-387-76624-9 7 $79.95

Computational Geometry Algorithms and Applications

M.d. Berg, O. Cheong, M.v. Kreveld,

M. Overmars This well-accepted

introduction to computational geometry is a textbook for high-level undergraduate and low-level graduate courses. The focus is on algorithms and hence the book is well suited for students in computer science and engineering. In this third edition, besides revisions to the second edition, new sections discussing Voronoi diagrams of line segments, farthest-point Voronoi diagrams, and realistic input models have been added

3rd ed. 2008. XII, 386 p. 370 illus. Hardcover ISBN 978-3-540-77973-5 7 $49.95

Bioinformatics
Problem Solving
Paradigms

V. Sperschneider

There are fundamental principles for problem analysis and algorithm design that are

continuously used in bioinformatics. This book concentrates on a clear presentation of these principles, presenting them in a self-contained, mathematically clear and precise manner. This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. Mathematically demanding themes are put across to the reader by properly chosen representations with the aid of lots of illustrations.

2008. CCLXXXIX, 18 p. 208 illus. Hardcover 7 With contributions by Jana Sperschneider and Lena Scheubert. ISBN 978-3-540-78505-7 7 $59.95

Decision
Procedures
An Algorithmic
Point of View

D. Kroening, O. Strichman

The book concentrates on decision procedures

for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.

2008. XVI, 304 p. 67 illus. ( Texts in Theoretical Computer Science. An EATCS Series) Hardcover ISBN 978-3-540-74104-6 7 $69.95

The Algorithm
Design Manual

S.S. Skiena

This newly expanded and updated second edition of the best-selling classic continues to take the “mystery” out

of designing algorithms, and analyzing their e cacy and e ciency. Expanding on the first edition, the book now serves as the primary textbook of choice for algorithm design courses while maintaining its status as the premier practical reference guide to algorithms for programmers, researchers, and students

2nd ed. 2008. 115 illus. With online files/update., Hardcover

ISBN 978-1-84800-069-8 7 $79.95

Easy Ways to Order for the Americas 7 Write: Springer Order Department, PO Box 2485, Secaucus, NJ 07096-2485, USA 7 Call: (toll free) 1-800-SPRINGER 7 Fax: [phone] Email: [e-mail] or for outside the Americas 7 Write: Springer Distribution Center GmbH, Haberstrasse 7, 69126 Heidelberg, Germany 7 Call: + 49 (0) 6221-345-4301 7 Fax : + 49 (0) 6221-345-4229 7 Email: [e-mail] 7 Prices are subject to change without notice. All prices are net prices.