System analysis

Tools and algorithms for the construction and analysis of systems17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Service-oriented perspectives in design science research6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings / by: (書目-電子資源)

System analysis and modelingabout models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (書目-電子資源)

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

Research in systems analysis and designmodels and methods : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdansk, Poland, September 29, 2011, revised selected papers / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 201113th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.Part I / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 201113th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.Part II / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems18th 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 methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-電子資源)

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

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

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

Statistical network analysis :models, issues, and new directions : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006 : revised selected papers / by: (書目-語言資料,印刷品)

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

Tools and algorithms for the construction and analysis of systems20th 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 sciencemoving from theory to practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014 : proceedings / by: (書目-電子資源)

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

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

Information systemseducation, applications, research : 7th SIGSAND/PLAIS EuroSymposium 2014, Gdansk, Poland, September 25, 2014 : proceedings / by: (書目-語言資料,印刷品)

System analysis and modelingmodels and reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : proceedings / by: (書目-語言資料,印刷品)

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

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

Tools and algorithms for the construction and analysis of systems21st 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: (書目-電子資源)

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

Formal Modeling and Analysis of Timed Systems13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (書目-電子資源)

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

Computer aided systems theory - EUROCAST 201515th 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 systems22nd 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 engineeringproceedings of ICSSE 2015 / by: (書目-電子資源)

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

System analysis and modelingtechnology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings / by: (書目-電子資源)

First Complex Systems Digital Campus World E-Conference 2015 by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part II / by: (書目-電子資源)

Designing the digital transformation12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (書目-電子資源)

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

Computer aided systems theory - EUROCAST 201716th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017 : revised selected papers.Part I / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 201716th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017 : revised selected papers.Part II / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.Part II / by: (書目-電子資源)

Designing for a digital and globalized world13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (書目-電子資源)

System analysis and modelinglanguages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018 : proceedings / by: (書目-電子資源)

Advances in system optimization and controlselect proceedings of ICAEDC 2017 / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part II / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part III / by: (書目-電子資源)

Information systemsresearch, development, applications, education : 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017 : proceedings / by: (書目-電子資源)

Information systemsresearch, development, applications, education : 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part II / by: (書目-電子資源)

Chaos, complexity and leadership 2018explorations of chaotic and complexity theory / by: (書目-電子資源)

Complex networks and their applications VIII.proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019 /Volume 1 by: (書目-電子資源)

Complex networks and their applications VIII.proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019 /Volume 2 by: (書目-電子資源)

Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (書目-電子資源)

Extending the boundaries of design science theory and practice14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4-6, 2019 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings / by: (書目-電子資源)

System analysis and modelinglanguages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings / by: (書目-電子資源)

Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings / by: (書目-電子資源)

Designing for digital transformationco-creating services with citizens and industry : 15th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2020, Kristiansand, Norway, December 2-4, 2020 : proceedings / by: (書目-電子資源)

Traffic and granular flow 2019 by: (書目-電子資源)

Computer aided systems theory - EUROCAST 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part I / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part II / by: (書目-電子資源)

Simplicity of complexity in economic and social systemsproceedings of the 54th Winter School of Theoretical Physics, Ladek Zdroj, Poland, February 18-24th 2018 / by: (書目-電子資源)

Complex networks and their applications IX.proceedings of the ninth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2020 / by: (書目-電子資源)

Complex networks and their applications IX.proceedings of the Ninth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2020 /Volume 2 by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part II / by: (書目-電子資源)

The next wave of sociotechnical design16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4-6, 2021 : proceedings / by: (書目-電子資源)

Chaos, complexity and leadership 2020application of nonlinear dynamics from interdisciplinary perspective / by: (書目-電子資源)

Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Complex networks & their applications X.proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021 /Volume 1 by: (書目-電子資源)

Complex networks & their applications X.proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021 /Volume 2 by: (書目-電子資源)

The transdisciplinary reach of design science research17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.Part II / by: (書目-電子資源)

System analysis & intelligent computingtheory and applications / by: (書目-電子資源)

Complex Systems and Their Applicationssecond International Conference (EDIESCA 2021) / by: (書目-電子資源)

Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings / by: (書目-電子資源)

Computer aided systems theory -- EUROCAST 202218th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers / by: (書目-電子資源)

Information technologies and mathematical modellingqueueing theory and applications : 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022 : revised selected papers / by: (書目-電子資源)

Design science research for a new society : Society 5.018th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings.Part II / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings.Part I / by: (書目-電子資源)

Complex networks and their applications XIproceedings of the Eleventh International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2022.Volume 1 / by: (書目-電子資源)

Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (書目-電子資源)

Network models for data science :theory, algorithms, and applications / by: (書目-語言資料,印刷品)

Design science research for a resilient future19th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2024, Trollhättan, Sweden, June 3-5, 2024 : proceedings / by: (書目-電子資源)

Traffic and granular flow '22 by: (書目-電子資源)