The Nonprofit Bookstore™
           Supporting Education   more...

Algebraic Informatics / Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Bozapalidis, Symeon (EDT) et al
Paperback - $58.76
More Information

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

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

Elementary Logic / For Software Development
Lover, Robert
Paperback - $33.56
More Information

Foundations of Software Science and Computational Structures / 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,
Amadio, Roberto (EDT)
Paperback - $75.56
More Information

Hardware and Software, Verification and Testing / Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Yorav, Karen (EDT)
Paperback - $54.56
More Information

Logic-Based Program Synthesis and Transformation / 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
King, Andy (EDT)
Paperback - $50.36
More Information

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

Types for Proofs and Programs / International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Miculan, Marino (EDT) et al
Paperback - $50.36
More Information

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

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

Verification, Model Checking, and Abstract Interpretation / 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, Francesco (EDT) et al
Paperback - $58.76
More Information

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

Modelling Distributed Systems
Fokkink, Wan
Hardcover - $58.76
More Information

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

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

Extended Prelude to Programming / Concepts & Design
Venit, Stewart et al
Paperback - $78.68
More Information

Introduction to Fuzzy Logic Using Matlab
Silvanandam, S. N. et al
Hardcover - $75.56
More Information

Programmable Logic Controllers
Rehg, James A. et al
Hardcover - $100.93
More Information

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

Job Scheduling Strategies for Parallel Processing / 11th International Workshop, Jsspp 2005, Cambridge, Ma, Usa, June 19, 2005, Selected Papers
Feitelson, Dror G. (EDT) et al
Paperback - $52.92
More Information

Digital Computer Arithmetic Datapath Design Using Verilog Hdl
Stine, James E.
Hardcover - $125.16
More Information

Game Level Design
Byrne, Edward
Paperback - $31.47
More Information

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

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

Modern Logic / A Text in Elementary Symbolic Logic
Forbes, Graeme
Paperback - $64.95
More Information

Interactive Systems / Design, Specification, and Verification : 10th International Workshop, Dsv-Is 2003, Funchal,Madeira Islands,Portugal,June 11-13 2003 : Revised Papers
Dsv-Is 200 (2003 Funchal, Madeira Islands) et al
Paperback - $59.64
More Information