21- 40 of 403 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic Synthesis and Optimization, Author: Tsutomu Sasao
QUICK ADD
Logic Synthesis and…
by Tsutomu Sasao (Editor)
#212 in Series
Paperback $169.99
Title: Field Programmable Logic and Applications: 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings., Author: Wayne Luk
QUICK ADD
Field Programmable Logic and…
by Wayne Luk (Editor), Peter Y.K. Cheung (Editor), Manfred Glesner (Editor)
#1304 in Series
Paperback $54.99
Title: Cooperating Heterogeneous Systems, Author: David G. Schwartz
QUICK ADD
Cooperating Heterogeneous…
by David G. Schwartz
#299 in Series
Paperback $109.99
Title: Architecture and CAD for Deep-Submicron FPGAS, Author: Vaughn Betz
QUICK ADD
Architecture and CAD for…
by Vaughn Betz, Jonathan Rose, Alexander Marquardt
#497 in Series
Paperback $219.99
Title: The Logic Programming Tutor, Author: Jocelyn Paine
QUICK ADD
The Logic Programming Tutor
by Jocelyn Paine
Hardcover $169.99
Title: Apollo 6, Author: Lucy Shaninghale
QUICK ADD
Apollo 6
by Lucy Shaninghale, Brendan Davis (Editor), Georgy Musky (Translator)
eBook $1.18
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems, Author: Ryan Kastner
QUICK ADD
Synthesis Techniques and…
by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
Paperback $109.99
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, Author: Andy King
QUICK ADD
Logic-Based Program Synthesis…
by Andy King (Editor)
#4915 in Series
Paperback $54.99
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques, Author: Wolfgang Kunz
QUICK ADD
Reasoning in Boolean Networks:…
by Wolfgang Kunz, Dominik Stoffel
#9 in Series
Hardcover $169.99
Title: Refinement Calculus: A Systematic Introduction, Author: Ralph-Johan Back
QUICK ADD
Refinement Calculus: A…
by Ralph-Johan Back, Joakim Wright
Explore Series
Paperback $109.99
Title: P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms, Author: A. Thayse
QUICK ADD
P-Functions and Boolean Matrix…
by A. Thayse
#175 in Series
Paperback $54.99
Title: Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded, Author: Burkhard Freitag
QUICK ADD
Transactions and Change in…
by Burkhard Freitag (Editor), Hendrik Decker (Editor), Michael Kifer (Editor), Andrei Voronkov (Editor)
#1472 in Series
Paperback $54.99
Title: Constraint Handling Rules, Author: Thom Frühwirth
QUICK ADD
Constraint Handling Rules
by Thom Frühwirth
Hardcover $69.00
Title: Machine Learning for Emotion Analysis in Python: Build AI-powered tools for analyzing emotion using natural language processing and machine learning, Author: Allan Ramsay
QUICK ADD
Machine Learning for Emotion…
by Allan Ramsay, Tariq Ahmad
Paperback $49.99
Title: Prolog: The Standard: Reference Manual, Author: Pierre Deransart
QUICK ADD
Prolog: The Standard:…
by Pierre Deransart, C. Biro (Foreword by), R.S. Scowen (Preface by), AbdelAli Ed-Dbali, Laurent Cervoni
Paperback $119.99
Title: Logic Programming: A Classified Bibliography, Author: I. Balbin
QUICK ADD
Logic Programming: A…
by I. Balbin (Editor), K. Lecot (Editor)
Explore Series
Paperback $109.99
Title: Rigorous Software Development: An Introduction to Program Verification, Author: José Bacelar Almeida Pre-Order Now
QUICK ADD
Rigorous Software Development:…
by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Explore Series
Paperback $119.99
Title: Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings, Author: David Page
QUICK ADD
Inductive Logic Programming:…
by David Page (Editor)
#1446 in Series
Paperback $54.99
Title: Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, Author: Shigeru Yamashita
QUICK ADD
Reversible Computation: 13th…
by Shigeru Yamashita (Editor), Tetsuo Yokoyama (Editor)
#12805 in Series
eBook $54.99
Title: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures, Author: Jouko Väänänen
QUICK ADD
Generalized Quantifiers and…
by Jouko Väänänen (Editor)
#1754 in Series
Paperback $54.99

Pagination Links