Title: Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceeding / Edition 1, Author: Wolfgang Thomas
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: Systems Analysis and Simulation I: Theory and Foundations / Edition 1, Author: Achim Sydow
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: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
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: Fuzzy Sets: Theory and Applications to Policy Analysis and Information Systems, Author: Paul Wang
Title: Analysis of Controlled Dynamical Systems: Proceedings of a Conference held in Lyon, France, July 1990, Author: B. Bonnard
Title: Service-Oriented Perspectives in Design Science Research: 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011, Proceedings, Author: Hemant Jain
Title: Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi
Title: Systems Science: Addressing Global Issues, Author: Frank A. Stowell
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: 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: Over-Constrained Systems / Edition 1, Author: Michael Jampel
Title: Automating Systems Development, Author: David R. Benyon
Title: State Space and Unobserved Component Models: Theory and Applications, Author: Andrew Harvey
Title: Dynamical Systems, Control, Coding, Computer Vision: New Trends, Interfaces, and Interplay, Author: Giorgio Picci
Title: Statistical Network Analysis: Models, Issues, and New Directions: ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers / Edition 1, Author: Edoardo M. Airoldi
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: Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, Author: Furio Honsell

Pagination Links