System analysis
概要
作品: | 65 作品在 46 項出版品 46 種語言 |
---|
書目資訊
Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Service-oriented perspectives in design science research = 6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Research in systems analysis and design = models and methods : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdansk, Poland, September 29, 2011, revised selected papers /
by:
(書目-語言資料,印刷品)
Computer aided systems theory - EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information systems = development, applications, education : 8th SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
System analysis and modeling = theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Information systems = development, learning, security : 6th SIGSAND/PLAIS EuroSymposium 2013, Gdansk, Poland, September 26, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in statistical control, algebraic systems theory, and dynamic systems characteristics = a tribute to Michael K. Sain /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Complex systems = École d'été de Physique des Houches, session LXXXV, 3-28 July 2006 ; École thématique du CNRS /
by:
(書目-語言資料,印刷品)
Systems thinking approach for social problems = proceedings of 37th National Systems Conference, December 2013 /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Designing for a digital and globalized world = 13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題