Premium Members Save 10% Join Now
1- 20 of 123 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
QUICK ADD
Logic in Computer Science:…
by Michael Huth, Mark Ryan
Paperback $73.00
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: Digital Design and Computer Architecture / Edition 2, Author: David Harris
QUICK ADD
Digital Design and Computer…
by David Harris, Sarah Harris
Paperback from $61.97 $89.95 Current price is $61.97, Original price is $89.95.
Title: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin
QUICK ADD
Automated Reasoning: Second…
by David Basin, Michael Rusinowitch
#3097 in Series
Paperback $109.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: 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: 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: Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / Edition 1, Author: Dirk van Dalen
QUICK ADD
Computer Science Logic: 10th…
by Dirk van Dalen, Marc Bezem
#1258 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: Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / Edition 1, Author: Jan van Eijck
QUICK ADD
Logics in AI: European…
by Jan van Eijck
#478 in Series
Paperback $109.99
Title: Logic And Declarative Language / Edition 1, Author: M. Downward
QUICK ADD
Logic And Declarative Language…
by M. Downward
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: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / Edition 1, Author: Krzysztof R. Apt
QUICK ADD
Recent Advances in Constraints…
by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
#3010 in Series
Paperback $54.99
Title: Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings / Edition 1, Author: Vladimir Lifschitz
QUICK ADD
Logic Programming and…
by Vladimir Lifschitz, Ilkka Niemelä
#2923 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: Principles and Structures of FPGAs, Author: Hideharu Amano
QUICK ADD
Principles and Structures of…
by Hideharu Amano
Paperback $219.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: 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: 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: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
QUICK ADD
Parallel and Distributed Logic…
by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
#24 in Series
Paperback $169.99

Pagination Links