Browse by Subject
Subjects > Computers > Logic design
Verification of Sequential and Concurrent Programs
by Krzysztof R. Apt, Ernst-Rudiger Olderog, Frank S. de Boer
Hardcover - October 2009
List price: $89.95
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
by Andrzej Tarlecki (Editor), Alexander Kurz (Editor), Marina Lenisa (Editor)
Paperback - October 2009
List price: $95.00
Paperback - October 2009
List price: $95.00
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
Paperback - September 2009
List price: $79.95
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
CD-ROM - August 2009
List price: $224.00
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
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
by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo De Liguoro (Editor)
Paperback - July 2009
List price: $74.95
Paperback - July 2009
List price: $74.95
2009 5th Southern Conference on Programmable Logic (Spl)
by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - June 2009
List price: $218.00
Paperback - June 2009
List price: $218.00
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
Paperback - June 2009
List price: $57.50
37th International Symposium on Multiple-valued Logic (Ismvl 2007)
by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - February 2009
List price: $216.00
Paperback - February 2009
List price: $216.00
2008 International Conference on Field Programmable and Logic Applications
by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - December 2008
List price: $334.00
Paperback - December 2008
List price: $334.00
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
CD-ROM - November 2008
List price: $216.00
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
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
by Alexander Clark (Editor), Laurent Miclet (Editor), Francois Coste (Editor)
Paperback - October 2008
List price: $74.95
Paperback - October 2008
List price: $74.95
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
Paperback - October 2008
List price: $79.95
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
Paperback - October 2008
List price: $92.95
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
Paperback - September 2008
List price: $198.00
38th International Symposium on Multiple-valued Logic (Ismvl 2008)
by Institute of Electrical and Electronics Engineers (Compiler)
Paperback - September 2008
List price: $197.00
Paperback - September 2008
List price: $197.00
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
Paperback - September 2008
List price: $234.00
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
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
by Zoltan Horvath (Editor), Viktoria Zsok (Editor), Chitil (Editor)
Paperback - September 2008
List price: $69.95
Paperback - September 2008
List price: $69.95
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
Paperback - August 2008
List price: $59.95
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
Paperback - August 2008
List price: $64.95


