1- 20 of 124 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 in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings / Edition 1, Author: Dino Pedreschi
QUICK ADD
Logic in Databases:…
by Dino Pedreschi, Carlo Zaniolo
#1154 in Series
Paperback $54.99
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
QUICK ADD
Reversible Computation: 10th…
by Jarkko Kari, Irek Ulidowski
#11106 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: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings / Edition 1, Author: Peter Schroeder-Heister
QUICK ADD
Extensions of Logic…
by Peter Schroeder-Heister
#475 in Series
Paperback $54.99
Title: Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / Edition 1, Author: Fariba Sadri
QUICK ADD
Computational Logic in…
by Fariba Sadri, Ken Satoh
#5056 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: 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: 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: Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / Edition 1, Author: Sandro Etalle
QUICK ADD
Logic Based Program Synthesis…
by Sandro Etalle
#3573 in Series
Paperback $54.99
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
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: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman
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: Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / Edition 1, Author: Juergen Dix
QUICK ADD
Non-Monotonic Extensions of…
by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski
#1216 in Series
Paperback $54.99
Title: Logic And Declarative Language / Edition 1, Author: M. Downward
QUICK ADD
Logic And Declarative Language…
by M. Downward
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: 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: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Edition 1, Author: Aart Middeldorp
QUICK ADD
Functional and Logic…
by Aart Middeldorp, Taisuke Sato
#1722 in Series
Paperback $54.99
Title: Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / Edition 1, Author: Chitta Baral
QUICK ADD
Logic Programming and…
by Chitta Baral, Gerhard Brewka, John Schlipf
#4483 in Series
Paperback $54.99

Pagination Links