System analysis

Tools and algorithms for the construction and analysis of systems = 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (書目-電子資源)

Nonlinear dynamics and complexity by: (書目-電子資源)

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 / by: (書目-電子資源)

Advancing the impact of design science = moving from theory to practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014 : proceedings / by: (書目-電子資源)

Horizons of the mind = a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (書目-電子資源)

Information systems = education, applications, research : 7th SIGSAND/PLAIS EuroSymposium 2014, Gdansk, Poland, September 25, 2014 : proceedings / by: (書目-電子資源)

System analysis and modeling = models and reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : proceedings / by: (書目-電子資源)

Systems thinking approach for social problems = proceedings of 37th National Systems Conference, December 2013 / by: (書目-電子資源)

New horizons in design science = broadening the research agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015 : proceedings / by: (書目-電子資源)

Information systems = development, applications, education : 8th SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015 : proceedings / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

New trends on system science and engineering = proceedings of ICSSE 2015 / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Analysis and simulation of electrical and computer systems by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (書目-電子資源)

State space and unobserved component models = theory and applications / by: (書目-電子資源)

Design science research in information systems = advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas,NV, USA, May 14-15, 2012 : proceedings / by: (書目-電子資源)

Advances in statistical control, algebraic systems theory, and dynamic systems characteristics = a tribute to Michael K. Sain / by: (書目-電子資源)