50% Off The Criterion Collection Shop Now
641- 660 of 676 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham, Klaus Havelund
#8413 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Bernhard Steffen
QUICK ADD
Tools and Algorithms for the…
by Bernhard Steffen
#1384 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Edition 1, Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria, Wang Yi
#2031 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Edition 1, Author: Hubert Garavel
QUICK ADD
Tools and Algorithms for the…
by Hubert Garavel, John Hatcliff
#2619 in Series
Paperback $109.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
#1019 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. / Edition 1, Author: Tiziana Margaria
QUICK ADD
Tools and Algorithms for the…
by Tiziana Margaria, Bernhard Steffen
#1055 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1, Author: Ed Brinksma
QUICK ADD
Tools and Algorithms for the…
by Ed Brinksma
#1217 in Series
Paperback $54.99
Title: Tools for Working with Guidelines: Annual Meeting of the Special Interest Group / Edition 1, Author: Jean Vanderdonckt
QUICK ADD
Tools for Working with…
by Jean Vanderdonckt, Christelle Farenc
Paperback $169.99
Title: TORUS 1 - Toward an Open Resource Using Services: Cloud Computing for Environmental Data / Edition 1, Author: Dominique Laffly
QUICK ADD
TORUS 1 - Toward an Open…
by Dominique Laffly
Hardcover $177.95
Title: TORUS 3 - Toward an Open Resource Using Services: Cloud Computing for Environmental Data / Edition 1, Author: Dominique Laffly
QUICK ADD
TORUS 3 - Toward an Open…
by Dominique Laffly
Hardcover $177.95
Title: Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems / Edition 1, Author: Frank Ghenassia
QUICK ADD
Transaction-Level Modeling…
by Frank Ghenassia
Paperback $199.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 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: Trends in Enterprise Application Architecture: 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selcted Papers / Edition 1, Author: Dirk Draheim
QUICK ADD
Trends in Enterprise…
by Dirk Draheim, Gerald Weber
#4473 in Series
Paperback $54.99
Title: Tru64 UNIX Troubleshooting: Diagnosing and Correcting System Problems, Author: Martin Moore
QUICK ADD
Tru64 UNIX Troubleshooting:…
by Martin Moore, Steven Hancock
Explore Series
Paperback $82.95
Title: Trusted Computing Platforms: Design and Applications / Edition 1, Author: Sean W. Smith
QUICK ADD
Trusted Computing Platforms:…
by Sean W. Smith
Hardcover $109.99
Title: Two-Degree-of-Freedom Control Systems: The Youla Parameterization Approach, Author: László Kevickzy
QUICK ADD
Two-Degree-of-Freedom Control…
by László Kevickzy, Cs. Banyasz
Paperback $140.00
Title: Uncertainty Management in Information Systems: From Needs to Solutions / Edition 1, Author: Amihai Motro
QUICK ADD
Uncertainty Management in…
by Amihai Motro, Philippe Smets
Hardcover $219.99
Title: Universal Access in Health Telematics: A Design Code of Practice / Edition 1, Author: Constantine Stephanidis
QUICK ADD
Universal Access in Health…
by Constantine Stephanidis
#3041 in Series
Paperback $54.99
Title: Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies / Edition 1, Author: John Laird
QUICK ADD
Universal Subgoaling and…
by John Laird, Allen Newell, Paul Rosenbloom
#11 in Series
Hardcover $169.99

Pagination Links