home the nonprofit bookstore
Shopping Cart Your Shopping Cart

Your Account

The Nonprofit Bookstore Supporting EducationOur mission...

Left endsubjectsReaderPublishersabout usRight end

cover - Selected Papers on the Analysis of Algorithms,Knuth, Donald E.,1575862123

Selected Papers on the Analysis of Algorithms
Knuth, Donald E.
Paperback - $46.35
More Information

Add to Cart

Algebra and Coalgebra in Computer Science / Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Kurz, Alexander (EDT) et al
Paperback - $81.70
More Information

Add to Cart

Computational Intelligence, a Compendium
Fulcher, John (EDT) et al
Hardcover - $257.14
More Information

Add to Cart

Electronics System Design Techniques for Safety Critical Applications
Sterpone, Luca
Hardcover - $102.34
More Information

Add to Cart

Implementation and Application of Functional Languages / 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers
Chitil, Olaf (EDT) et al
Paperback - $60.16
More Information

Add to Cart

The Cultural Logic of Computation
Golumbia, David
Hardcover - $32.44
More Information

Add to Cart

Tools and Algorithms for the Construction and Analysis of Systems / 14th International Conference, TACAS 2008, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hu
Ramakrishnan, C. R. (EDT) et al
Paperback - $77.36
More Information

Add to Cart

Unfoldings / A Partial-Order Approach to Model Checking
Esparza, Javier et al
Hardcover - $77.36
More Information

Add to Cart

Verified Software / Theories, Tools, Experiments : Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008, Proceedings
Shankar, Natarajan (EDT) et al
Paperback - $60.16
More Information

Add to Cart

Temporal Logic And State Systems
Kroger, Fred et al
Hardcover - $77.36
More Information

Add to Cart

Formal Engineering For Industrial Software Development / Using The Sofl Method
Liu, Shaoying
Hardcover - $110.94
More Information

Add to Cart

Intro To Programmable Logic Controllers
Dunning, Gary
Paperback - $149.27
More Information

Add to Cart

Reasoning Web / First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures
Eisinger, Norbert (EDT) et al
Paperback - $64.46
More Information

Add to Cart

Go to / The Story of the Math Majors, Bridge Players, Engineers, Chess Wizards, Maverick Scientists and Iconoclasts - The Programmers Who Created the Sofware
Lohr, Steve
Paperback - $10.40
More Information

Add to Cart