Title: Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / Edition 1, Author: Ron Morrison
Title: Process Algebra with Timing / Edition 1, Author: J.C.M. Baeten
Title: Process Algebra with Timing / Edition 1, Author: J.C.M. Baeten
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: Control Systems with Input and Output Constraints / Edition 1, Author: A.H. Glattfelder
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: Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos / Edition 1, Author: Alex T. Borgida
Title: Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings / Edition 1, Author: Friedhelm Meyer auf der Heide
Title: User-Centred Design of Systems / Edition 1, Author: Jan Noyes
Title: Semantic Service Provisioning / Edition 1, Author: Dominik Kuropka
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: Building Systems from Commercial Components / Edition 1, Author: Kurt Wallnau
Title: Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / Edition 1, Author: Ralf H. Reussner
Title: Computer Engineering and Technology: 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers, Author: Weixia Xu
Title: Computer Engineering and Technology: 21st CCF Conference, NCCET 2017, Xiamen, China, August 16-18, 2017, Revised Selected Papers, Author: Weixia Xu
Title: The Complexity of Simple Computer Architectures / Edition 1, Author: Silvia M. Müller
Title: From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl / Edition 1, Author: Olaf Owe
Title: High Performance Embedded Architectures and Compilers: Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / Edition 1, Author: Koen De Bosschere
Title: Systems Modeling and Simulation: Theory and Applications, Asian Simulation Conference 2006 / Edition 1, Author: Koji Koyamada
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