21- 40 of 200 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems / Edition 1, Author: John V. Oldfield
QUICK ADD
Field-Programmable Gate Arrays…
by John V. Oldfield, Richard C. Dorf
Hardcover $220.95
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
QUICK ADD
Handbook of Logic in…
by Dov M. Gabbay, C. J. Hogger, J. A. Robinson
#5 in Series
Hardcover $540.00
Title: Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / Edition 1, Author: Thomas Eiter
QUICK ADD
Logic Programming and…
by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi
#2173 in Series
Paperback $54.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: Contemporary Quality Function Deployment For Product And Process Innovation: Towards Digital Transformation Of Customer And Product Information In A New Knowledge-based Approach, Author: Thomas Lager
QUICK ADD
Contemporary Quality Function…
by Thomas Lager
Hardcover $138.00
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Languages:…
by Manuel Hermenegildo, S.Doaitse Swierstra
#982 in Series
Paperback $54.99
Title: Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings / Edition 1, Author: Anthony Beaumont
QUICK ADD
Parallel Execution of Logic…
by Anthony Beaumont, Gopal Gupta
#569 in Series
Paperback $54.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: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints / Edition 1, Author: Ioannis Vlahavas
QUICK ADD
Parallel and Constraint Logic…
by Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou
#875 in Series
Hardcover $169.99
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
QUICK ADD
Types for Proofs and Programs:…
by Eduardo Gimenez, Christine Paulin-Mohring
#1512 in Series
Paperback $54.99
Title: Logic Program Synthesis from Incomplete Information / Edition 1, Author: Pierre Flener
QUICK ADD
Logic Program Synthesis from…
by Pierre Flener
#295 in Series
Hardcover $169.99
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
QUICK ADD
Timed Boolean Functions: A…
by William K.C. Lam, Robert K. Brayton
#270 in Series
Hardcover $109.99
Title: Advances in Inductive Logic Programming / Edition 1, Author: L De Raedt
QUICK ADD
Advances in Inductive Logic…
by L De Raedt
#32 in Series
Hardcover $145.00
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1, Author: Germán Puebla
QUICK ADD
Logic-Based Program Synthesis…
by Germán Puebla
#4407 in Series
Paperback $54.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: Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings / Edition 1, Author: V. Wiktor Marek
QUICK ADD
Logic Programming and…
by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
#928 in Series
Paperback $54.99
Title: Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / Edition 1, Author: Jacques Garrigue
QUICK ADD
Functional and Logic…
by Jacques Garrigue, Manuel Hermenegildo
#4989 in Series
Paperback $54.99
Title: Godel's Incompleteness Theorems / Edition 1, Author: Raymond M. Smullyan
QUICK ADD
Godel's Incompleteness…
by Smullyan, Raymond M. Smullyan
#19 in Series
Hardcover $385.00
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
Hardcover $109.99

Pagination Links