System analysis - Congresses.

Tools and algorithms for the construction and analysis of systems = 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-語言資料,印刷品)

Complex systems and self-organization modelling by: (書目-語言資料,印刷品)

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-語言資料,印刷品)

Enterprise, business-process and information systems modeling = 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-語言資料,印刷品)

Foundations of software science and computation structures = 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings / by: (書目-語言資料,印刷品)

Global perspectives on design science research = 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010 : proceedings. / by: (書目-語言資料,印刷品)

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

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

Formal modeling and analysis of timed systems = 15th 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 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017 : revised selected papers.. Part I / by: (書目-電子資源)

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

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

Information systems = research, development, applications, education : 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017 : proceedings / 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: (書目-電子資源)

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

Tools and algorithms for the construction and analysis of systems = 27th 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 systems = 27th 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 design = 16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4-6, 2021 : proceedings / by: (書目-電子資源)

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

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

Designing for digital transformation = co-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 2019 = 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.. Part I / by: (書目-電子資源)

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

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

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

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

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

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

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

Foundations of Software Science and Computational Structures = 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005/ by: (書目-語言資料,印刷品)

Advances in Computational Multibody Systems by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Foundations of software science and computational structures = 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

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 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / by: (書目-語言資料,印刷品)

Foundations of software science and computation structures = Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 : proceedings / by: (書目-語言資料,印刷品)

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 / by: (書目-語言資料,印刷品)

Synergy matters = working with systems in the 21st century / by: (書目-語言資料,印刷品)

Enterprise, business-process and information systems modeling = 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010 : proceedings/ by: (書目-語言資料,印刷品)

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

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

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

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

Tools and algorithms for the construction and analysis of systems = 25th 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 systems = 25th 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 systems = 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part III / by: (書目-電子資源)

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

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

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

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

Extending the boundaries of design science theory and practice = 14th 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 systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings / by: (書目-電子資源)

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

Formal modeling and analysis of timed systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : 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: (書目-電子資源)

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

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

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

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

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