Title: System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / Edition 1, Author: Daniel Amyot
Title: Analysis of Controlled Dynamical Systems: Proceedings of a Conference held in Lyon, France, July 1990, Author: B. Bonnard
Title: Erwin-Riesch Workshop: System Analysis of Biological Processes, Author: Dietmar P. F. Möller
Title: Topics in Operator Theory Systems and Networks: Workshop on Applications of Linear Operator Theory to Systems and Networks, Rehovot (Israel), June 13-16, 1983, Author: Dym
Title: Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'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: Maurice Nivat
Title: Over-Constrained Systems / Edition 1, Author: Michael Jampel
Title: Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings / Edition 1, Author: Helmut Seidl
Title: Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi
Title: User-Oriented Methodology and Techniques of Decision Analysis and Support: Proceedings of the International IIASA Workshop Held in Serock, Poland, September 9-13, 1991, Author: Jaap Wessels
Title: Networks: From Biology to Theory / Edition 1, Author: Jianfeng Feng
Title: Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Edition 1, Author: Jerzy Tiuryn
Title: Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, Author: Mogens Nielsen
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
Title: System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, Author: Reinhard Gotzhein
Title: Information Systems: Failure Analysis, Author: John A. Wise
Title: Synergy Matters: Working with Systems in the 21st Century, Author: Adrian M. Castell
Title: Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, Author: Andrew D. Gordon
Title: Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / Edition 1, Author: Igor Walukiewicz
Title: Systems Thinking in Europe, Author: R.B. Blackham
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

Pagination Links