System analysis
Overview
| Works: | 123 works in 109 publications in 109 languages | |
|---|---|---|
Titles
Static analysis6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings /
by:
(Electronic resources)
Foundations of software science and computation structures4th 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:
(Electronic resources)
Enterprise, business-process and information systems modeling11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010 : proceedings /
by:
(Electronic resources)
Global perspectives on design science research5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010 : proceedings. /
by:
(Electronic resources)
NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Electronic resources)
Service-oriented perspectives in design science research6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings /
by:
(Electronic resources)
System analysis and modelingabout models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
by:
(Electronic resources)
Research in systems analysis and designmodels and methods : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdansk, Poland, September 29, 2011, revised selected papers /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201113th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.Part I /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201113th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.Part II /
by:
(Electronic resources)
NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Formal modeling and analysis of timed systems10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(Electronic resources)
Advances in statistical control, algebraic systems theory, and dynamic systems characteristicsa tribute to Michael K. Sain /
by:
(Electronic resources)
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:
(Language materials, printed)
Advancing the impact of design sciencemoving from theory to practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014 : proceedings /
by:
(Electronic resources)
Horizons of the minda tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(Electronic resources)
Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Electronic resources)
Information systemseducation, applications, research : 7th SIGSAND/PLAIS EuroSymposium 2014, Gdansk, Poland, September 25, 2014 : proceedings /
by:
(Language materials, printed)
System analysis and modelingmodels and reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : proceedings /
by:
(Language materials, printed)
Systems thinking approach for social problemsproceedings of 37th National Systems Conference, December 2013 /
by:
(Electronic resources)
New horizons in design sciencebroadening the research agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015 : proceedings /
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Electronic resources)
Information systemsdevelopment, applications, education : 8th SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015 : proceedings /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201515th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015 : revised selected papers /
by:
(Electronic resources)
Formal modeling and analysis of timed systems14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Electronic resources)
System analysis and modelingtechnology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
(Electronic resources)
Designing the digital transformation12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201716th 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 201716th 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 world13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(Electronic resources)
System analysis and modelinglanguages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018 : proceedings /
by:
(Electronic resources)
Advances in system optimization and controlselect proceedings of ICAEDC 2017 /
by:
(Electronic resources)
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:
(Electronic resources)
Information systemsresearch, development, applications, education : 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017 : proceedings /
by:
(Electronic resources)
Information systemsresearch, development, applications, education : 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018 : proceedings /
by:
(Electronic resources)
Chaos, complexity and leadership 2018explorations of chaotic and complexity theory /
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)
Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
(Electronic resources)
System analysis and modelinglanguages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019 : proceedings /
by:
(Electronic resources)
Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201917th 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 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part II /
by:
(Electronic resources)
Simplicity of complexity in economic and social systemsproceedings of the 54th Winter School of Theoretical Physics, Ladek Zdroj, Poland, February 18-24th 2018 /
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 design16th 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 2020application of nonlinear dynamics from interdisciplinary perspective /
by:
(Electronic resources)
Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings /
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 research17th 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 Applicationssecond International Conference (EDIESCA 2021) /
by:
(Electronic resources)
Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings /
by:
(Electronic resources)
Computer aided systems theory -- EUROCAST 202218th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /
by:
(Electronic resources)
Information technologies and mathematical modellingqueueing 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.018th 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)
Complex networks and their applications XIproceedings of the Eleventh International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2022.Volume 1 /
by:
(Electronic resources)
Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(Electronic resources)
Network models for data science :theory, algorithms, and applications /
by:
(Language materials, printed)
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:
(Electronic resources)
Complex networks & their applications XIIproceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.Volume 1 /
by:
(Electronic resources)
Complex networks & their applications XIIproceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.Volume 3 /
by:
(Electronic resources)
Complex networks & their applications XIIproceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.Volume 2 /
by:
(Electronic resources)
Complex networks & their applications XIIproceedings of the Twelfth International Conference on Complex Networks and their Applications : COMPLEX NETWORKS 2023.Volume 4 /
by:
(Electronic resources)
Complex systems and their applicationsfourth International Conference (EDIESCA 2023) /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 202419th 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 202419th 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 202419th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024 : revised selected papers.Part III /
by:
(Electronic resources)
Local solutions for global challenges20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025 : proceedings.Part I /
by:
(Electronic resources)
Local solutions for global challenges20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025 : proceedings.Part II /
by:
(Electronic resources)
Complex networks & their applications XIIIproceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.Volume 1 /
by:
(Electronic resources)
Information technologies and mathematical modellingqueueing theory and related fields : 23rd International Conference, ITMM 2024, Karshi, Uzbekistan, October 20-26, 2024 : revised selected papers /
by:
(Electronic resources)
Complex networks & their applications XIIIproceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.Volume 2 /
by:
(Electronic resources)
Complex networks & their applications XIIIproceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.Volume 3 /
by:
(Electronic resources)
Show more
Fewer
Subjects