50% Off The Criterion Collection Shop Now
21- 40 of 203 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling
QUICK ADD
Modal and Temporal Properties…
by Colin Stirling
Explore Series
Paperback $54.99
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: Josï Bacelar Almeida
QUICK ADD
Rigorous Software Development:…
by Josï Bacelar Almeida, Maria Joïo Frade, Jorge Sousa Pinto, Simïo Melo de Sousa
Explore Series
Paperback $39.95
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
QUICK ADD
Logical Structures for…
by Ellen Hisdal
#14 in Series
Paperback $109.99
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
QUICK ADD
Reasoning in Boolean Networks:…
by Wolfgang Kunz, Dominik Stoffel
#9 in Series
Paperback $169.99
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
QUICK ADD
Synthesis Techniques and…
by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
Paperback $109.99
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
QUICK ADD
Artificial Intelligence in…
by Svetlana N. Yanushkevich
#766 in Series
Paperback $169.99
Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications / Edition 1, Author: Kanupriya Gulati
QUICK ADD
Advanced Techniques in Logic…
by Kanupriya Gulati
Hardcover $179.99
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
QUICK ADD
Fundamentals of Switching…
by Jaakko Astola, Radomir S. Stankovic
Paperback $54.99
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
QUICK ADD
Parallel and Distributed Logic…
by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
#24 in Series
Paperback $169.99
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
QUICK ADD
Computation Engineering:…
by Ganesh Gopalakrishnan
Paperback $124.00
Title: Constraint Handling Rules, Author: Thom Frühwirth
QUICK ADD
Constraint Handling Rules
by Thom Frühwirth
Hardcover $64.99
Title: Advanced Signal Integrity for High-Speed Digital Designs / Edition 1, Author: Stephen H. Hall
QUICK ADD
Advanced Signal Integrity for…
by Stephen H. Hall, Howard L. Heck
Explore Series
Hardcover $175.95
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
QUICK ADD
Handbook of Practical Logic…
by John Harrison
Hardcover $161.00
Title: Discrete Structures, Logic, and Computability / Edition 3, Author: James L. Hein
QUICK ADD
Discrete Structures, Logic,…
by James L. Hein
Hardcover $328.95
Title: Introduction to Logic Design / Edition 3, Author: Alan B. Marcovitz
QUICK ADD
Introduction to Logic Design /…
by Alan B. Marcovitz
Hardcover from $164.91 $244.75 Current price is $164.91, Original price is $244.75.
Title: Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / Edition 1, Author: Maria Garcia Banda
QUICK ADD
Logic Programming: 24th…
by Maria Garcia Banda, Enrico Pontelli
#5366 in Series
Paperback $109.99
Title: Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / Edition 1, Author: François Fages
QUICK ADD
Recent Advances in Constraints…
by François Fages, Francesca Rossi, Sylvain Soliman
#5129 in Series
Paperback $54.99
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / Edition 1, Author: Iliano Cervesato
QUICK ADD
Logic for Programming,…
by Iliano Cervesato, Helmut Veith, Andrei Voronkov
#5330 in Series
Paperback $109.99
Title: Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / Edition 1, Author: Fariba Sadri
QUICK ADD
Computational Logic in…
by Fariba Sadri, Ken Satoh
#5056 in Series
Paperback $54.99
Title: Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / Edition 1, Author: Michael Kaminski
QUICK ADD
Computer Science Logic: 22nd…
by Michael Kaminski, Simone Martini
#5213 in Series
Paperback $139.00

Pagination Links