home the nonprofit bookstore
Shopping Cart Your Shopping Cart

Your Account

The Nonprofit Bookstore Supporting EducationOur mission...

Left endsubjectsReaderPublishersabout usRight end

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

Add to Cart

Verification of Sequential and Concurrent Programs
Apt, Krzysztof R. et al
Hardcover - $80.95
More Information

Add to Cart

Book, Algebraic Biology cover

Algebraic Biology / Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-august 2, 2008 Proceedings
Horimoto, Katsuhisa (EDT) et al
Paperback - $58.45
More Information

Add to Cart

Book, Computational Intelligence, a Compendium cover

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

Add to Cart

Book, Computational Prospects of Infinity cover

Computational Prospects of Infinity / Tutorials
Chong, Chitat (EDT) et al
Hardcover - $90.90
More Information

Add to Cart

Book, Electronics System Design Techniques for Safety Critical Applications cover

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

Add to Cart

Book, Evolvable Systems cover

Evolvable Systems / From Biology to Hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings
Hornby, Gregory S. (EDT) et al
Paperback - $83.65
More Information

Add to Cart

Book, Implementation and Application of Functional Languages cover

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 - $62.95
More Information

Add to Cart

Book, Mathematics of Program Construction cover

Mathematics of Program Construction / 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
Audebaud, Philippe (EDT) et al
Paperback - $71.95
More Information

Add to Cart

Static Analysis / 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
Alpuente, Maria (EDT) et al
Paperback - $67.45
More Information

Add to Cart

Book, The Calculus of Computation cover

The Calculus of Computation / Decision Procedures With Applications to Verification
Bradley, Aaron R. et al
Hardcover - $44.95
More Information

Add to Cart

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

Add to Cart

Book, Unfoldings cover

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

Add to Cart

Book, Value-Range Analysis of C Programs cover

Value-Range Analysis of C Programs / Towards Proving the Absence of Buffer Overflow Vulnerabilities
Simon, Axel
Hardcover - $107.10
More Information

Add to Cart

Book, Verified Software cover

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

Add to Cart

Book, Digital Signal Processing With Field Programmable Gate Arrays cover

Digital Signal Processing With Field Programmable Gate Arrays
Meyer-Baese, Uwe
Hardcover - $98.10
More Information

Add to Cart

Book, Logical And Relational Learning cover

Logical And Relational Learning
De Raedt, Luc
Hardcover - $80.95
More Information

Add to Cart

Book, Programming Logic and Design cover

Programming Logic and Design / Introductory
Farrell, Joyce
Paperback - $98.95
More Information

Add to Cart

Book, Rapid Prototyping of Digital Systems cover

Rapid Prototyping of Digital Systems / Sopc Edition
Hamblen, James O. et al
Paperback - $58.45
More Information

Add to Cart

Book, Semantics With Applications cover

Semantics With Applications / An Appetizer
Nielson, Hanne Riis et al
Paperback - $40.45
More Information

Add to Cart

Book, Temporal Logic And State Systems cover

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

Add to Cart

Book, Fault-tolerance Techniques for Sram-based Fpgas cover

Fault-tolerance Techniques for Sram-based Fpgas
Kastensmidt, Fernanda Lima et al
Hardcover - $134.10
More Information

Add to Cart

Book, Intro To Programmable Logic Controllers cover

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

Add to Cart

Book, Logic in Computer Science cover

Logic in Computer Science / Modelling and Reasoning About Systems
Huth, Michael et al
Paperback - $77.00
More Information

Add to Cart

Book, Programming Challenges cover

Programming Challenges / The Programming Contest Training Manual
Skiena, Steven S. et al
Paperback - $53.95
More Information

Add to Cart

Book, Web Word Wizardry cover

Web Word Wizardry / A Guide to Writing for the Web and Intranet
McAlpine, Rachel
Paperback - $8.25
More Information

Add to Cart



neologs
pull a Homer:  down
arrow




definitions
knucker:  down
arrow