41- 60 of 1252 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Edition 1, Author: Stefano Berardi
QUICK ADD
Types for Proofs and Programs:…
by Stefano Berardi, Mario Coppo, Ferruccio Damiani
#3085 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt
QUICK ADD
Types for Proofs and Programs:…
by Henk Barendregt, Tobias Nipkow
#806 in Series
Paperback $54.99
Title: Trustworthy Compilers / Edition 1, Author: Vladimir O. Safonov
QUICK ADD
Trustworthy Compilers /…
by Vladimir O. Safonov
#8 in Series
Hardcover $173.95
Title: Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, Author: Michal Palka
QUICK ADD
Trends in Functional…
by Michal Palka, Magnus Myreen
#11457 in Series
Paperback $59.99
Title: Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers, Author: David Van Horn
QUICK ADD
Trends in Functional…
by David Van Horn, John Hughes
#10447 in Series
Paperback $54.99
Title: Trends in Constraint Programming / Edition 1, Author: Frédéric Benhamou
QUICK ADD
Trends in Constraint…
by Frédéric Benhamou, Narendra Jussien, Barry A. O'Sullivan
#658 in Series
Hardcover $274.95
Title: Transforming Reconfigurable Systems: A Festschrift Celebrating The 60th Birthday Of Professor Peter Cheung, Author: Wayne Luk
QUICK ADD
Transforming Reconfigurable…
by Wayne Luk, George A Constantinides
Hardcover $118.00
Title: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications, Author: Abdelkader Hameurlain
QUICK ADD
Transactions on Large-Scale…
by Abdelkader Hameurlain, Josef Kïng, Roland Wagner, Hendrik Decker
#10620 in Series
Paperback $54.99
Title: Transactions on High-Performance Embedded Architectures and Compilers II / Edition 1, Author: Per Stenström
QUICK ADD
Transactions on…
by Per Stenström, David Whalley
#5470 in Series
Paperback $54.99
Title: Transactions on High-Performance Embedded Architectures and Compilers I / Edition 1, Author: Mike O'Boyle
QUICK ADD
Transactions on…
by Mike O'Boyle, Francois Bodin, Marcelo Cintra, Sally A. McKee
#4050 in Series
Paperback $54.99
Title: Transactions on Computational Science XXVII, Author: Marina L. Gavrilova
QUICK ADD
Transactions on Computational…
by Marina L. Gavrilova, C.J. Kenneth Tan
#9570 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: Towards Evolvable Hardware: The Evolutionary Engineering Approach / Edition 1, Author: Eduardo Sanchez
QUICK ADD
Towards Evolvable Hardware:…
by Eduardo Sanchez, Marco Tomassini
#1062 in Series
Paperback $54.99
Title: Towards a New Evolutionary Computation: Advances on Estimation of Distribution Algorithms / Edition 1, Author: Jose A. Lozano
QUICK ADD
Towards a New Evolutionary…
by Jose A. Lozano, Pedro Larrañaga, Iñaki Inza, Endika Bengoetxea
#192 in Series
Paperback $169.99
Title: Towards a New Evolutionary Computation: Advances on Estimation of Distribution Algorithms / Edition 1, Author: Jose A. Lozano
QUICK ADD
Towards a New Evolutionary…
by Jose A. Lozano, Pedro Larrañaga, Iñaki Inza, Endika Bengoetxea
#192 in Series
Hardcover $169.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P, Author: Axel Legay
QUICK ADD
Tools and Algorithms for the…
by Axel Legay, Tiziana Margaria
#10205 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P, Author: Axel Legay
QUICK ADD
Tools and Algorithms for the…
by Axel Legay, Tiziana Margaria
#10206 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce, Author: Marsha Chechik
QUICK ADD
Tools and Algorithms for the…
by Marsha Chechik, Jean-François Raskin
#9636 in Series
Paperback $54.99
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
QUICK ADD
Timed Boolean Functions: A…
by William K.C. Lam, Robert K. Brayton
#270 in Series
Hardcover $109.99
Title: Theory of Semi-Feasible Algorithms / Edition 1, Author: Lane A. Hemaspaandra
QUICK ADD
Theory of Semi-Feasible…
by Lane A. Hemaspaandra, Leen Torenvliet
Explore Series
Paperback $109.99

Pagination Links