Title: The Complexity of Simple Computer Architectures / Edition 1, Author: Silvia M. Müller
Title: Correct System Design: Recent Insights and Advances / Edition 1, Author: Ernst-Rüdiger Olderog
Title: Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / Edition 1, Author: Marco Bernardo
Title: Universal Access in Health Telematics: A Design Code of Practice / Edition 1, Author: Constantine Stephanidis
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
Title: Wireless Algorithms, Systems, and Applications: Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings / Edition 1, Author: Yingshu Li
Title: Conceptual Modelling in Information Systems Engineering / Edition 1, Author: John Krogstie
Title: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings / Edition 1, Author: Alfonso Miola
Title: Guide to RISC Processors: for Programmers and Engineers / Edition 1, Author: Sivarama P. Dandamudi
Title: Semantic Service Provisioning / Edition 1, Author: Dominik Kuropka
Title: Model Based Fuzzy Control: Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers / Edition 1, Author: Rainer Palm
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors / Edition 1, Author: R. Kurki-Suonio
Title: Computer Supported Cooperative Work in Design I: 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers / Edition 1, Author: Weiming Shen
Title: High-Performance Computing on the Intel® Xeon PhiT: How to Fully Exploit MIC Architectures, Author: Endong Wang
Title: High-Integrity System Specification and Design / Edition 1, Author: Jonathan P. Bowen
Title: OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings, Author: Naoya Maruyama
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
Title: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings / Edition 1, Author: Alfonso Miola
Title: Analysis and Control of Nonlinear Process Systems / Edition 1, Author: Katalin M. Hangos
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

Pagination Links