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: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings, Author: Mihaela Bobaru
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, Author: Jerzy Tiuryn
Title: System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches: Volume 1 Fault Diagnostics and Reliability Proceedings of the First European Workshop on Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Island of Rhodes,, Author: S.G. Tzafestas
Title: Computation and Control: Volume 3, Author: Kenneth L. Bowers
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
Title: Energy Systems Analysis, Author: R. Kavanagh
Title: Information Systems: Failure Analysis, Author: John A. Wise
Title: Systems Thinking in Europe, Author: R.B. Blackham
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: Geometrical Methods for the Theory of Linear Systems: Proceedings of a NATO Advanced Study Institute and AMS Summer Seminar in Applied Mathematics held at Harvard University, Cambridge, Mass., June 18-29, 1979, Author: C.I. Byrnes
Title: Dynamical Systems: Proceedings of a University of Florida International Symposium, Author: A. R. Bednarek
Title: Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi
Title: State Space and Unobserved Component Models: Theory and Applications, Author: Andrew Harvey
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: System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches: Volume 1 Fault Diagnostics and Reliability Proceedings of the First European Workshop on Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Island of Rhodes,, Author: S.G. Tzafestas
Title: Cities And Regions As Nonlinear Decision Systems, Author: Robert W Crosby
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: Earth System Analysis: Integrating Science for Sustainability, Author: Hans-Joachim Schellnhuber
Title: Topological Aspects Of Critical Systems And Networks (With Cd-rom) - Proceedings Of The International Symposium, Author: Kousuke Yakubo

Pagination Links