1- 20 of 348 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Digital Logic Design, Author: Brian Holdsworth
QUICK ADD
Digital Logic Design
by Brian Holdsworth, DPhil Woods MA
eBook $52.95
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L. McMillan
Paperback $54.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, Author: François Fages
QUICK ADD
Recent Advances in Constraints…
by François Fages (Editor), Francesca Rossi (Editor), Sylvain Soliman (Editor)
#5129 in Series
Paperback $54.99
Title: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings, Author: Tamas Horváth
QUICK ADD
Inductive Logic Programming:…
by Tamas Horváth (Editor), Akihiro Yamamoto (Editor)
#2835 in Series
Paperback $54.99
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers, Author: Brahim Hnich
QUICK ADD
Recent Advances in Constraints…
by Brahim Hnich (Editor), Mats Carlsson (Editor), Francois Fages (Editor), Francesca Rossi (Editor)
#3978 in Series
Paperback $54.99
Title: VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design, Author: Ulrich Golze
QUICK ADD
VLSI Chip Design with the…
by Ulrich Golze, P. Blinzer (With), E. Cochlovius (With), M. Schäfers (With), K.-P. Wachsmann (With)
Paperback $54.99
Title: Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov (Editor)
#698 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers, Author: Eduardo Gimenez
QUICK ADD
Types for Proofs and Programs:…
by Eduardo Gimenez (Editor), Christine Paulin-Mohring (Editor)
#1512 in Series
Paperback $54.99
Title: Transactions on Computational Science XXIV: Special Issue on Reversible Computing, Author: Marina L. Gavrilova
QUICK ADD
Transactions on Computational…
by Marina L. Gavrilova (Editor), C.J. Kenneth Tan (Editor), Himanshu Thapliyal (Editor), Nagarajan Ranganathan (Editor)
#8911 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers, Author: Germán Puebla
QUICK ADD
Logic-Based Program Synthesis…
by Germán Puebla (Editor)
#4407 in Series
Paperback $54.99
Title: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings, Author: Andrei Voronkov
QUICK ADD
Logic Programming: First…
by Andrei Voronkov (Editor)
#592 in Series
Paperback $54.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 Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings, Author: Thomas Eiter
QUICK ADD
Logic Programming and…
by Thomas Eiter (Editor), Wolfgang Faber (Editor), Miroslaw Trusczynksi (Editor)
#2173 in Series
Paperback $54.99
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
QUICK ADD
Reversible Computation: 8th…
by Simon Devitt (Editor), Ivan Lanese (Editor)
#9720 in Series
eBook $54.99
Title: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, Author: Patricia M. Hill
QUICK ADD
Logic Based Program Synthesis…
by Patricia M. Hill (Editor)
#3901 in Series
Paperback $54.99
Title: Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings, Author: Celine Rouveirol
QUICK ADD
Inductive Logic Programming:…
by Celine Rouveirol (Editor), Michele Sebag (Editor)
#2157 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: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, Author: Yves Deville
QUICK ADD
Logic Program Synthesis and…
by Yves Deville (Editor)
Explore Series
Paperback $54.99
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Author: Moshe Vardi
QUICK ADD
Logic for Programming,…
by Moshe Vardi (Editor), Andrei Voronkov (Editor)
#2850 in Series
Paperback $54.99
Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers, Author: Louis M. Pereira
QUICK ADD
Non-Monotonic Extensions of…
by Louis M. Pereira (Editor), Teodor C. Przymusinski (Editor)
#927 in Series
Paperback $54.99

Pagination Links