1- 20 of 123 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: 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 / Edition 1, Author: Burkhard Freitag
QUICK ADD
Transactions and Change in…
by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
#1472 in Series
Paperback $54.99
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
QUICK ADD
Synthesis Techniques and…
by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
Paperback $109.99
Title: Synchronous Precharge Logic, Author: Marek Smoszna
QUICK ADD
Synchronous Precharge Logic
by Marek Smoszna
Paperback $79.95
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
QUICK ADD
Separation Logic for…
by Felix Winterstein
Explore 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: Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, Author: Michael Kirkedal Thomsen
QUICK ADD
Reversible Computation: 11th…
by Michael Kirkedal Thomsen, Mathias Soeken
#11497 in Series
Paperback $64.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: Refinement Calculus: A Systematic Introduction / Edition 1, Author: Ralph-Johan Back
QUICK ADD
Refinement Calculus: A…
by Ralph-Johan Back, Joakim Wright
Explore Series
Paperback $109.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: 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: 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: 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: Reasoning with Logic Programming / Edition 1, Author: Jose Julio Alferes
QUICK ADD
Reasoning with Logic…
by Jose Julio Alferes, Luis Moniz Pereira
#1111 in Series
Paperback $54.99
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
QUICK ADD
Reasoning in Boolean Networks:…
by Wolfgang Kunz, Dominik Stoffel
#9 in Series
Paperback $169.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: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman
Paperback $109.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, Tyson S. Hall
Paperback $79.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

Pagination Links