1- 20 of 132 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: 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: Over-Constrained Systems / Edition 1, Author: Michael Jampel
QUICK ADD
Over-Constrained Systems /…
by Michael Jampel, Eugene Freuder, Michael Maher
#1106 in Series
Paperback $54.99
Title: Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings / Edition 1, Author: Filip Zelezný
QUICK ADD
Inductive Logic Programming:…
by Filip Zelezný, Nada Lavrac
#5194 in Series
Paperback $54.99
Title: Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / Edition 1, Author: Henning Christiansen
QUICK ADD
Constraint Solving and…
by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
#3438 in Series
Paperback $54.99
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: Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / Edition 1, Author: Chitta Baral
QUICK ADD
Logic Programming and…
by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
#3662 in Series
Paperback $54.99
Title: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1, Author: Patricia M. Hill
QUICK ADD
Logic Based Program Synthesis…
by Patricia M. Hill
#3901 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: 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 / Edition 1, Author: François Fages
QUICK ADD
Recent Advances in Constraints…
by François Fages, Francesca Rossi, Sylvain Soliman
#5129 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, Ivan Lanese
#9720 in Series
Paperback $54.99
Title: Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / Edition 1, Author: João Leite
QUICK ADD
Computational Logic in…
by João Leite, Paolo Torroni
#3487 in Series
Paperback $54.99
Title: Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / Edition 1, Author: Jerzy Marcinkowski
QUICK ADD
Computer Science Logic: 18th…
by Jerzy Marcinkowski
#3210 in Series
Paperback $54.99
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / Edition 1, Author: Boi Faltings
QUICK ADD
Recent Advances in Constraints…
by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
#3419 in Series
Paperback $54.99
Title: Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1, Author: Luke Ong
QUICK ADD
Computer Science Logic: 19th…
by Luke Ong
#3634 in Series
Paperback $54.99
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / Edition 1, Author: Masami Hagiya
QUICK ADD
Functional and Logic…
by Masami Hagiya, Philip Wadler
#3945 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 / Edition 1, Author: Andrei Voronkov
QUICK ADD
Logic Programming: First…
by Andrei Voronkov
#592 in Series
Paperback $54.99
Title: Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / Edition 1, Author: Luis Moniz Pereira
QUICK ADD
Logic Programming and…
by Luis Moniz Pereira, Teodor C. Przymusinski
#1471 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: Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / Edition 1, Author: João Leite
QUICK ADD
Computational Logic in…
by João Leite
#3259 in Series
Paperback $54.99

Pagination Links