Computers: Logic design Books, Advanced Artificial Intelligence

Browse by Subject

Subjects > Computers > Logic design

Advanced Artificial Intelligence

Advanced Artificial Intelligence

by Zhongzhi Shi
Hardcover - December 2010
List price: $140.00

Programming Logic and Design: Introductory

Programming Logic and Design: Introductory

by Joyce Farrell
Paperback - January 2010
List price: $99.95

Modelling Computer Systems: The Mathematics of Computer Science

Modelling Computer Systems: The Mathematics of Computer Science

by Moller
Paperback - December 2009
List price: $42.95

Computer Architecture

Computer Architecture

by Deepti Mehrotra
Hardcover - December 2009
List price: $59.95

Starting Out With Programming Logic & Design

Starting Out With Programming Logic & Design

by Tony Gaddis
Other - October 2009
List price: $85.00

Design And Analysis of High-speed Addition

Design And Analysis of High-speed Addition

by James E. Stine
Hardcover - October 2009
List price: $109.00

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt, Ernst-Rudiger Olderog, Frank S. de Boer
Hardcover - October 2009
List price: $89.95

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

by Andrzej Tarlecki (Editor), Alexander Kurz (Editor), Marina Lenisa (Editor)
Paperback - October 2009
List price: $95.00

Formal Modeling and Analysis of Timed Systems: 7th International Conference, Formats 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, Formats 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

by Joel Ouaknine (Editor), Frits W. Vaandrager
Paperback - October 2009
List price: $72.00

Automated Technology for Verification and Analysis: 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis: 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings

by Anders P. Ravn, Zhiming Liu (Editor)
Paperback - October 2009
List price: $95.00

Recent Trends in Algebraic Development Techniques: 19th International Workshop, Wadt 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, Wadt 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

by Ugo Montanari (Editor), Andrea Corradini (Editor)
Paperback - September 2009
List price: $79.95

Algebraic Informatics: 3rd International Conference on Algebraic Informatics, Cai 2009, Thessaloniki, Greece, Mai 19-22, 2009

Algebraic Informatics: 3rd International Conference on Algebraic Informatics, Cai 2009, Thessaloniki, Greece, Mai 19-22, 2009

by Symeon Bozapalidis (Editor), George Rahonis (Editor)
Paperback - September 2009
List price: $79.95

Concur 2009 - Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Concur 2009 - Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1-4, 2009, Proceedings

by Gianluigi Zavattaro, Mario Bravetti (Editor)
Paperback - September 2009
List price: $119.00

2009 39th IEEE International Symposium on Multiple-valued Logic (Ismvl 2009)

2009 39th IEEE International Symposium on Multiple-valued Logic (Ismvl 2009)

by Institute of Electrical and Electronics Engineers (Compiler)
CD-ROM - August 2009
List price: $224.00

2009 39th IEEE International Symposium on Multiple-valued Logic (Ismvl 2009)

2009 39th IEEE International Symposium on Multiple-valued Logic (Ismvl 2009)

by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - August 2009
List price: $224.00

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo De Liguoro (Editor)
Paperback - July 2009
List price: $74.95

Computer Aided Verification: 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Computer Aided Verification: 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

by Oded Maler (Editor), Ahmed Bouajjani (Editor)
Paperback - July 2009
List price: $119.00

2009 5th Southern Conference on Programmable Logic (Spl)

2009 5th Southern Conference on Programmable Logic (Spl)

by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - June 2009
List price: $218.00

Logic and the Foundations of Game and Decision Theory (Loft 7)

Logic and the Foundations of Game and Decision Theory (Loft 7)

by Giacomo Bonanno (Editor), Michael Wooldridge (Editor), Wiebe Van Der Hoek (Editor)
Paperback - June 2009
List price: $57.50

The Cultural Logic of Computation

The Cultural Logic of Computation

by David Golumbia
Hardcover - April 2009
List price: $30.00

Fundamentals of Logic Design

Fundamentals of Logic Design

by Charles H. Roth
Hardcover - March 2009
List price: $173.95

Computability In Context: Computation and Logic in the Real World

Computability In Context: Computation and Logic in the Real World

by S. Barry Cooper
Hardcover - February 2009
List price: $114.00

37th International Symposium on Multiple-valued Logic (Ismvl 2007)

37th International Symposium on Multiple-valued Logic (Ismvl 2007)

by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - February 2009
List price: $216.00

2008 International Conference on Field Programmable and Logic Applications

2008 International Conference on Field Programmable and Logic Applications

by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - December 2008
List price: $334.00

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008, Proceedings

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008, Proceedings

by Jim Woodcock (Editor), Natarajan Shankar (Editor)
Paperback - December 2008
List price: $69.95

Electronics System Design Techniques for Safety Critical Applications

Electronics System Design Techniques for Safety Critical Applications

by Sterpone
Hardcover - December 2008
List price: $119.00

2007 37th IEEE International Symposium on Multiple-valued Logic (Ismvl 2007)

2007 37th IEEE International Symposium on Multiple-valued Logic (Ismvl 2007)

by Institute of Electrical and Electronics Engineers (Compiler)
CD-ROM - November 2008
List price: $216.00

2008 38th IEEE International Symposium on Multiple-valued Logic

2008 38th IEEE International Symposium on Multiple-valued Logic

by Institute of Electrical and Electronics Engineers (Compiler)
CD-ROM - November 2008
List price: $197.00

Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008, Proceedings

Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008, Proceedings

by Alexander Clark (Editor), Laurent Miclet (Editor), Francois Coste (Editor)
Paperback - October 2008
List price: $74.95

Logical And Relational Learning

Logical And Relational Learning

by Luc De Raedt
Hardcover - October 2008
List price: $89.95

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

by Christine Paulin-Mohring (Editor), Philippe Audebaud (Editor)
Paperback - October 2008
List price: $79.95

Principles & Practice of Constraint Programming: 14th International Conference, CP 2008 Sydney, Australia, September 14-18, 2008 Proceedings

Principles & Practice of Constraint Programming: 14th International Conference, CP 2008 Sydney, Australia, September 14-18, 2008 Proceedings

by Peter J. Stuckey (Editor)
Paperback - October 2008
List price: $119.00

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 Proceedings

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 Proceedings

by Claude Jard (Editor), Franck Cassez (Editor)
Paperback - October 2008
List price: $74.95

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings

by Masami Ito (Editor), Masafumi Toyama (Editor)
Paperback - October 2008
List price: $105.00

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings

by Pauline C. Haddow (Editor), Lukas Sekanina (Editor), Gregory S. Hornby (Editor)
Paperback - October 2008
List price: $92.95

Twenty-third Annual IEEE Symposium on Logic in Computer Science (Lics 2008)

Twenty-third Annual IEEE Symposium on Logic in Computer Science (Lics 2008)

by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - September 2008
List price: $198.00

38th International Symposium on Multiple-valued Logic (Ismvl 2008)

38th International Symposium on Multiple-valued Logic (Ismvl 2008)

by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - September 2008
List price: $197.00

2008 4th Southern Conference on Programmable Logic

2008 4th Southern Conference on Programmable Logic

by Institute of Electrical and Electronics Engineers (Compiler), G. Sutter (Editor)
Paperback - September 2008
List price: $234.00

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

by Sharad Malik (Editor), Aarti Gupta (Editor)
Paperback - September 2008
List price: $99.00

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

by Andrei Voronkov (Editor)
Paperback - September 2008
List price: $84.95

Computational Prospects of Infinity: Tutorials

Computational Prospects of Infinity: Tutorials

by W. Hugh Woodin (Editor), Yue Yang (Editor), Chitat Chong (Editor), Qi Feng (Editor), Theodore A. Slaman (Editor)
Hardcover - September 2008
List price: $101.00

Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers

Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers

by Zoltan Horvath (Editor), Viktoria Zsok (Editor), Chitil (Editor)
Paperback - September 2008
List price: $69.95

Elementary Logic: For Software Development

Elementary Logic: For Software Development

by Robert Lover
Paperback - August 2008
List price: $39.95

Computational Intelligence in Automotive Applications

Computational Intelligence in Automotive Applications

by Danil Prokhorov (Editor)
Hardcover - August 2008
List price: $129.00

Requirements Engineering:Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008, Proceedings

Requirements Engineering:Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008, Proceedings

by Colette Rolland (Editor), Barbara Paech (Editor), Anne Persson (Editor)
Paperback - August 2008
List price: $59.95

Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings

Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings

by Maria Alpuente (Editor), German Vidal (Editor)
Paperback - August 2008
List price: $74.95

Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, USA, July 28-31, 2008 Proceedings

by Jose Meseguer (Editor), Grigore Rosu (Editor)
Paperback - August 2008
List price: $79.95

Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-august 2, 2008 Proceedings

Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-august 2, 2008 Proceedings

by Hiroshi Yoshida (Editor), Katsuhisa Horimoto (Editor), Markus Rosenkranz (Editor), Georg Regensburger (Editor)
Paperback - August 2008
List price: $64.95

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

by Otmane Ait Mohamed (Editor)
Paperback - August 2008
List price: $69.95

Concur 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 Proceedings

Concur 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 Proceedings

by Van Breugel (Editor), Marsha Chechik (Editor)
Paperback - August 2008
List price: $89.95

562 Titles

Items per page: 10 | 25 | 50

Showing 1 - 50

Pages: 1 2 3 4 5 6 7 8 9 10 Next >>

Page Execution took 0.661 seconds