Title: From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl / Edition 1, Author: Olaf Owe
Title: Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings / Edition 1, Author: Jïrg Gutknecht
Title: Computer Engineering and Technology: 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018, Revised Selected Papers, Author: Weixia Xu
Title: Transactions on High-Performance Embedded Architectures and Compilers II / Edition 1, Author: Per Stenström
Title: Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings / Edition 1, Author: Frank van der Linden
Title: Systems Modeling and Simulation: Theory and Applications, Asian Simulation Conference 2006 / Edition 1, Author: Koji Koyamada
Title: Process Algebra with Timing / Edition 1, Author: J.C.M. Baeten
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: 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: Computer Systems: Architectures, Modeling, and Simulation: Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings / Edition 1, Author: Andy Pimentel
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
Title: Design of Dependable Computing Systems / Edition 1, Author: J.C. Geffroy
Title: Software Architecture: First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings / Edition 1, Author: Flavio Oquendo
Title: Designing Virtual Reality Systems: The Structured Approach / Edition 1, Author: Gerard Kim
Title: Computer Engineering and Technology: 21st CCF Conference, NCCET 2017, Xiamen, China, August 16-18, 2017, Revised Selected Papers, Author: Weixia Xu
Title: The SPARC Technical Papers, Author: Ben J. Catanzaro
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
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
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
Title: OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings, Author: Naoya Maruyama

Pagination Links