1- 20 of 131 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Edition 1, Author: Annalisa Bossi
QUICK ADD
Logic-Based Program Synthesis…
by Annalisa Bossi
#1817 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, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
#8911 in Series
Paperback $54.99
Title: Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / Edition 1, Author: Harald Ganzinger
QUICK ADD
Logic Programming and…
by Harald Ganzinger, David McAllester, Andrei Voronkov
#1705 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
Paperback $54.99
Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1, Author: Louis M. Pereira
QUICK ADD
Non-Monotonic Extensions of…
by Louis M. Pereira, Teodor C. Przymusinski
#927 in Series
Paperback $54.99
Title: Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / Edition 1, Author: Tamas Horváth
QUICK ADD
Inductive Logic Programming:…
by Tamas Horváth, Akihiro Yamamoto
#2835 in Series
Paperback $54.99
Title: Field Programmable Logic and Applications: 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. / Edition 1, Author: Wayne Luk
QUICK ADD
Field Programmable Logic and…
by Wayne Luk, Peter Y.K. Cheung, Manfred Glesner
#1304 in Series
Paperback $54.99
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / Edition 1, Author: Moshe Vardi
QUICK ADD
Logic for Programming,…
by Moshe Vardi, Andrei Voronkov
#2850 in Series
Paperback $54.99
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
QUICK ADD
Transactions on…
by Cristina Silvano, Koen Bertels, Michael Schulte
#11225 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 / Edition 1, Author: Brahim Hnich
QUICK ADD
Recent Advances in Constraints…
by Brahim Hnich, Mats Carlsson, Francois Fages, Francesca Rossi
#3978 in Series
Paperback $54.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 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: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
QUICK ADD
Logic Programming and…
by Frank Pfenning
#822 in Series
Paperback $54.99
Title: Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1, Author: Celine Rouveirol
QUICK ADD
Inductive Logic Programming:…
by Celine Rouveirol, Michele Sebag
#2157 in Series
Paperback $54.99
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
QUICK ADD
A Tight, Practical Integration…
by Harold Boley
#1712 in Series
Paperback $54.99
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Language…
by Manuel Hermenegildo, Jaan Penjam
#844 in Series
Paperback $54.99
Title: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1, Author: Helene Kirchner
QUICK ADD
Algebraic and Logic…
by Helene Kirchner, Giorgio Levi
#632 in Series
Paperback $54.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: 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

Pagination Links