21- 40 of 361 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Switching Theory for Logic Synthesis / Edition 1, Author: Tsutomu Sasao
QUICK ADD
Switching Theory for Logic…
by Tsutomu Sasao
Hardcover $169.99
Title: Introduction to Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
QUICK ADD
Introduction to Logic Design /…
by Svetlana N. Yanushkevich, Vlad P. Shmerko
Hardcover $230.00
Title: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman
Paperback $109.99
Title: Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings / Edition 1, Author: Dino Pedreschi
QUICK ADD
Logic in Databases:…
by Dino Pedreschi, Carlo Zaniolo
#1154 in Series
Paperback $54.99
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
QUICK ADD
Reversible Computation: 10th…
by Jarkko Kari, Irek Ulidowski
#11106 in Series
Paperback $54.99
Title: The Logic Programming Tutor, Author: Jocelyn Paine
QUICK ADD
The Logic Programming Tutor
by Jocelyn Paine
Hardcover $169.99
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
QUICK ADD
Programming Language…
by Jan Maluszynski, Martin Wirsing
#528 in Series
Paperback $54.99
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
QUICK ADD
Reversible Computation: 12th…
by Ivan Lanese (Editor), Mariusz Rawski (Editor)
#12227 in Series
eBook $54.99
Title: Logics for Databases and Information Systems / Edition 1, Author: Jan Chomicki
QUICK ADD
Logics for Databases and…
by Jan Chomicki, Gunter Saake
#436 in Series
Hardcover $219.99
Title: Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings, Author: Reiner W. Hartenstein
QUICK ADD
Field-Programmable Logic and…
by Reiner W. Hartenstein (Editor), Herbert Grïnbacher (Editor)
#1896 in Series
Paperback $109.99
Title: Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers, Author: Alberto Pettorossi
QUICK ADD
Logic Based Program Synthesis…
by Alberto Pettorossi (Editor)
#2372 in Series
Paperback $54.99
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings, Author: Matthias Baaz
QUICK ADD
Logic for Programming,…
by Matthias Baaz (Editor), Andrei Voronkov (Editor)
#2514 in Series
Paperback $54.99
Title: Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings, Author: Rajeev Gore
QUICK ADD
Automated Reasoning: First…
by Rajeev Gore (Editor), Alexander Leitsch (Editor), Tobias Nipkow (Editor)
#2083 in Series
Paperback $109.99
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
QUICK ADD
Separation Logic for…
by Felix Winterstein
Explore Series
Paperback $109.99
Title: Symbolic Model Checking, Author: Kenneth L McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L McMillan
Hardcover $125.00
Title: Applications of Logic Databases / Edition 1, Author: Raghu Ramakrishnan
QUICK ADD
Applications of Logic…
by Raghu Ramakrishnan
#296 in Series
Hardcover $169.99
Title: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings / Edition 1, Author: Peter Schroeder-Heister
QUICK ADD
Extensions of Logic…
by Peter Schroeder-Heister
#475 in Series
Paperback $54.99
Title: Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers, Author: Kung-Kiu Lau
QUICK ADD
Logic Based Program Synthesis…
by Kung-Kiu Lau (Editor)
#2042 in Series
Paperback $54.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: Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, Author: Hector J. Levesque
QUICK ADD
Logical Foundations for…
by Hector J. Levesque (Editor), Fiora Pirri (Editor)
Explore Series
Paperback $54.99

Pagination Links