21- 40 of 727 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: Process Algebra with Timing / Edition 1, Author: J.C.M. Baeten
QUICK ADD
Process Algebra with Timing /…
by J.C.M. Baeten, C.A. Middelburg
Explore Series
Paperback $54.99
Title: ARIS - Business Process Modeling / Edition 3, Author: August-Wilhelm Scheer
QUICK ADD
ARIS - Business Process…
by August-Wilhelm Scheer
Hardcover $54.99
Title: The Complexity of Simple Computer Architectures / Edition 1, Author: Silvia M. Müller
QUICK ADD
The Complexity of Simple…
by Silvia M. Müller, Wolfgang J. Paul
#995 in Series
Paperback $54.99
Title: Advanced Computer Architecture: 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings, Author: Junjie Wu
QUICK ADD
Advanced Computer Architecture…
by Junjie Wu, Lian Li
#626 in Series
Paperback $54.99
Title: Guide to RISC Processors: for Programmers and Engineers / Edition 1, Author: Sivarama P. Dandamudi
QUICK ADD
Guide to RISC Processors: for…
by Sivarama P. Dandamudi
Hardcover $54.99
Title: Abstract State Machines: A Method for High-Level System Design and Analysis / Edition 1, Author: Egon Bïrger
QUICK ADD
Abstract State Machines: A…
by Egon Bïrger, Robert Stïrk
Hardcover $54.99
Title: OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings, Author: Naoya Maruyama
QUICK ADD
OpenMP: Memory, Devices, and…
by Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib
#9903 in Series
Paperback $54.99
Title: Computer Engineering and Technology: 23rd CCF Conference, NCCET 2019, Enshi, China, August 1-2, 2019, Revised Selected Papers, Author: Weixia Xu
QUICK ADD
Computer Engineering and…
by Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu
#1146 in Series
Paperback $54.99
Title: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings / Edition 1, Author: John Fitch
QUICK ADD
Design and Implementation of…
by John Fitch
#721 in Series
Paperback $54.99
Title: Wireless Algorithms, Systems, and Applications: Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings / Edition 1, Author: Yingshu Li
QUICK ADD
Wireless Algorithms, Systems,…
by Yingshu Li, Dung T. Huynh, Sajal K. Das, Ding-Zhu Du
#5258 in Series
Paperback $54.99
Title: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings / Edition 1, Author: Alfonso Miola
QUICK ADD
Design and Implementation of…
by Alfonso Miola
#722 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: 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: Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives / Edition 1, Author: Michel Banatre
QUICK ADD
Hardware and Software…
by Michel Banatre, Peter A. Lee
#774 in Series
Paperback $54.99
Title: Artificial Neural Networks: An Introduction to ANN Theory and Practice / Edition 1, Author: P.J. Braspenning
QUICK ADD
Artificial Neural Networks: An…
by P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters
#931 in Series
Paperback $54.99
Title: Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / Edition 1, Author: Ralf H. Reussner
QUICK ADD
Architecting Systems with…
by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski
#3938 in Series
Paperback $54.99
Title: Scaling OpenMP for Exascale Performance and Portability: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings, Author: Bronis R. de Supinski
QUICK ADD
Scaling OpenMP for Exascale…
by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller
#10468 in Series
Paperback $54.99
Title: Model Based Fuzzy Control: Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers / Edition 1, Author: Rainer Palm
QUICK ADD
Model Based Fuzzy Control:…
by Rainer Palm, K.M. Passino, Dimiter Driankov, Hans Hellendoorn
Paperback $54.99
Title: Software Architecture: First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings / Edition 1, Author: Flavio Oquendo
QUICK ADD
Software Architecture: First…
by Flavio Oquendo
#4758 in Series
Paperback $54.99

Pagination Links