System analysis - Congresses.
Overview
| Works: | 107 works in 78 publications in 78 languages | |
|---|---|---|
Titles
Earth system analysis : = integrating science for sustainability : complemented results of a symposium organized by the Potsdam Institute (PIK) /
by:
(Language materials, printed)
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:
(Language materials, printed)
System analysis and modeling = technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Formal modeling and analysis of timed systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
(Electronic resources)
Systems modelling and management = first International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /
by:
(Electronic resources)
Complex networks & their applications XII = proceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.. Volume 1 /
by:
(Electronic resources)
Complex networks & their applications XII = proceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.. Volume 3 /
by:
(Electronic resources)
Complex networks & their applications XII = proceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.. Volume 2 /
by:
(Electronic resources)
Complex networks & their applications XII = proceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.. Volume 4 /
by:
(Electronic resources)
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:
(Language materials, printed)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 1 /
by:
(Electronic resources)
Information technologies and mathematical modelling = queueing theory and related fields : 23rd International Conference, ITMM 2024, Karshi, Uzbekistan, October 20-26, 2024 : revised selected papers /
by:
(Electronic resources)
Modeling complex systems : = Sixth Granada Lectures on Computational Physics, Granada, Spain, 4-10 September 2000 /
by:
(Language materials, printed)
State space and unobserved component models : = theory and applications /
by:
(Language materials, printed)
System Analysis and Modeling = 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Foundations of software science and computational structures = 11th international conference, FOSSACS 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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Static analysis = 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Global perspectives on design science research = 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010 : proceedings. /
by:
(Language materials, printed)
Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Designing for a digital and globalized world = 13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018 : proceedings /
by:
(Electronic resources)
Advances in system optimization and control = select proceedings of ICAEDC 2017 /
by:
(Electronic resources)
Information systems = research, development, applications, education : 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017 : proceedings /
by:
(Electronic resources)
Complex networks and their applications VIII. = proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019 /. Volume 1
by:
(Electronic resources)
Complex networks and their applications VIII. = proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019 /. Volume 2
by:
(Electronic resources)
Chaos, complexity and leadership 2018 = explorations of chaotic and complexity theory /
by:
(Electronic resources)
Complex networks and their applications IX. = proceedings of the ninth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2020 /
by:
(Electronic resources)
Complex networks and their applications IX. = proceedings of the Ninth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2020 /. Volume 2
by:
(Electronic resources)
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:
(Electronic resources)
Chaos, complexity and leadership 2020 = application of nonlinear dynamics from interdisciplinary perspective /
by:
(Electronic resources)
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:
(Electronic resources)
Formal modeling and analysis of timed systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Formal modeling and analysis of timed systems = 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Complex networks & their applications X. = proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021 /. Volume 1
by:
(Electronic resources)
Complex networks & their applications X. = proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021 /. Volume 2
by:
(Electronic resources)
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:
(Electronic resources)
Complex Systems and Their Applications = second International Conference (EDIESCA 2021) /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings /
by:
(Electronic resources)
Computer aided systems theory -- EUROCAST 2022 = 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /
by:
(Electronic resources)
Complex networks and their applications XI = proceedings of the Eleventh International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2022.. Volume 1 /
by:
(Electronic resources)
Information technologies and mathematical modelling = queueing theory and applications : 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(Electronic resources)
Complex systems and their applications = fourth International Conference (EDIESCA 2023) /
by:
(Electronic resources)
Design science research for a resilient future = 19th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2024, Trollhättan, Sweden, June 3-5, 2024 : proceedings /
by:
(Electronic resources)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 2 /
by:
(Electronic resources)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 3 /
by:
(Electronic resources)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 4 /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 2024 = 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024 : revised selected papers.. Part I /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 2024 = 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024 : revised selected papers.. Part II /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 2024 = 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024 : revised selected papers.. Part III /
by:
(Electronic resources)
Show more
Fewer
Subjects