System design - Congresses.

Formal Methods for Mobile Computing5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (Electronic resources)

FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (Electronic resources)

Computer Supported Cooperative Work in Design I :8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers by: (Electronic resources)

Component Deployment :Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (Electronic resources)

Advances in Computer and Information Sciences and Engineering by: (Electronic resources)

High-Level SynthesisFrom Algorithm to Digital Circuit / by: (Electronic resources)

Cooperative systems designseamless integration of artifacts and conversations - enhanced concepts of infrastructure for communication / by: (Electronic resources)

Information systems developmentchallenges in practice, theory, and education Volume 1 / by: (Electronic resources)

Integrated formal methods7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (Electronic resources)

Information systems developmentchallenges in practice, theory, and education volume 2 / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems15th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems9th International Conference, TACAS 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: (Electronic resources)

Component deploymentsecond international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings / by: (Electronic resources)

Universal access in human-computer interaction5th international conference, UAHCI 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings.Part I,Addressing diversity / by: (Electronic resources)

Universal access in human-computer interaction5th international conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; proceedings.Part II,Intelligent and ubiquitous interaction environments / by: (Electronic resources)

Universal access in human-computer interactionb5th international conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III / by: (Electronic resources)

Online communities and social computingthird international conference, OCSC 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings / by: (Electronic resources)

Information system developmenttowards a service provision society / by: (Electronic resources)

Applications of supervised and unsupervised ensemble methods by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems16th 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: (Electronic resources)

Human benefit through the diffusion of information systems design science researchIFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systemsThird International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems4th international conference, TACAS '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: (Electronic resources)

Conceptual modelingcurrent issues and future directions / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems5th international conference, TACAS '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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings / by: (Electronic resources)

Component deploymentIFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems8th International Conference, TACAS 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: (Electronic resources)

Architecting critical systemsfirst international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / by: (Electronic resources)

Information modelling and knowledge bases XX by: (Electronic resources)

Advances in information systems developmentbridging the gap between academia and industry / by: (Electronic resources)

Advances in design methods from modeling languages for embedded systems and SoC'sselected contributions on specification, design, and verification from FDL 2009 / by: (Electronic resources)

Complex systems design & managementproceedings of the First International Conference on Complex System Design & Management CSDM 2010 / by: (Electronic resources)

Integrated formal methods8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: (Electronic resources)

Information systems developmentAsian experiences / by: (Electronic resources)

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: (Electronic resources)

Service-oriented perspectives in design science research6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings / by: (Electronic resources)

Online communities and social computing4th international conference, OCSC 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings / 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)

Proceedings of the International Conference on Information Systems Design and Intelligent Applications 2012 (INDIA 2012) held in Visakhapatnam, India, January 2012 by: (Electronic resources)

The impact of virtual, remote, and real logistics labsfirst International Conference, ImViReLL 2012 Bremen, Germany, February 28 - March 1, 2012 : proceedings / by: (Electronic resources)

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: (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)

From research to practice in the design of cooperative systems: Results and open challengesproceedings of the 10th International Conference on the Design of Cooperative Systems, May 30 - 1 June, 2012 / by: (Electronic resources)

Eternal systemsfirst InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised selected papers / by: (Electronic resources)

Practical aspects of design scienceEuropean Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (Electronic resources)

Information modelling and knowledge bases XXII by: (Electronic resources)

Human-computer interactionhuman and social aspects of human-computer interaction : proceedings of the sixth International Conference on Human-Computer Interaction, (HCI International '95), Tokyo, Japan, 9-14 July 1995, volume 2 / by: (Electronic resources)

Wireless algorithms, systems, and applicationsthird international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (Electronic resources)

Information modelling and knowledge bases XIX by: (Electronic resources)

Information modelling and knowledge bases XXIII by: (Electronic resources)

Complex systems design & managementproceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 / by: (Electronic resources)

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: (Electronic resources)

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)

COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) by: (Electronic resources)

Information system developmentimproving enterprise communication / by: (Electronic resources)

Integrated formal methods11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / by: (Electronic resources)

Information systemseducation, applications, research : 7th SIGSAND/PLAIS EuroSymposium 2014, Gdansk, Poland, September 25, 2014 : proceedings / by: (Language materials, printed)

Design scienceperspectives from Europe : European Design Science Symposium, EDSS 2013, Dublin, Ireland, November 21-22, 2013 : revised selected papers / by: (Electronic resources)

Complex systems design & managementproceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014 / by: (Electronic resources)

Complex systems design & management Asiadesigning smart cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2014 / by: (Electronic resources)

Information systems design and intelligent applicationsproceedings of Second International Conference INDIA 2015.Volume 2 / by: (Electronic resources)

Information systems design and intelligent applicationsproceedings of Second International Conference INDIA 2015.Volume 1 / by: (Electronic resources)

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: (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)

Information systemsdevelopment, applications, education : 8th SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015 : proceedings / by: (Electronic resources)

Complex systems design & managementproceedings of the sixth International Conference on Complex Systems Design & Management, CSD&M 2015 / by: (Electronic resources)

Complex systems design & management Asiasmart nations - sustaining and designing: Proceedings of the Second Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2016 / by: (Electronic resources)

Information Systems Design and Intelligent ApplicationsProceedings of Third International Conference INDIA 2016, Volume 2 / by: (Electronic resources)

Information Systems Design and Intelligent ApplicationsProceedings of Third International Conference INDIA 2016, Volume 1 / by: (Electronic resources)

Information Systems Design and Intelligent ApplicationsProceedings of Third International Conference INDIA 2016, Volume 3 / by: (Electronic resources)

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: (Electronic resources)

COOP 2016proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy / by: (Electronic resources)

Complex systems design & managementproceedings of the seventh International Conference on Complex Systems Design & Management, CSD&M Paris 2016 / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Information modelling and knowledge bases XXVIII by: (Electronic resources)

Complexity in information systems developmentproceedings of the 25th International Conference on Information Systems Development / by: (Electronic resources)

Designing the digital transformation12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (Electronic resources)

Modeling, design and simulation of systems17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.Part I / by: (Electronic resources)

Modeling, design and simulation of systems17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.Part II / by: (Electronic resources)

SDL 2017model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings / by: (Electronic resources)

Handbook of hardware/software codesign by: (Electronic resources)

Advances in information systems developmentmethods, tools and management / by: (Electronic resources)

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: (Electronic resources)

Information systems design and intelligent applicationsproceedings of Fourth International Conference INDIA 2017 / by: (Electronic resources)

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: (Electronic resources)

Designing for a digital and globalized world13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018 : proceedings / by: (Electronic resources)

Services - SERVICES 201814th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Electronic resources)

Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: (Electronic resources)

Methods and applications for modeling and simulation of complex systems18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27-29, 2018 : proceedings / by: (Electronic resources)

Complex systems design & management Asiasmart transportation : proceedings of the Third Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2018 / by: (Electronic resources)

Complex systems design & managementproceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M Paris 2018 / by: (Electronic resources)

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: (Electronic resources)

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: (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)

Methods and applications for modeling and simulation of complex systems19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 - November 1, 2019 : proceedings / by: (Electronic resources)

Information systemsresearch, development, applications, education : 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Complex systems design & managementproceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M Paris 2019 / by: (Electronic resources)

Design science research.Cases by: (Electronic resources)

Services - SERVICES 202016th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 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)

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: (Electronic resources)

Advances in information systems developmentinformation systems beyond 2020 / by: (Electronic resources)

Advances in smart system technologiesselect proceedings of ICFSST 2019 / by: (Electronic resources)

Complex systems design & managementproceedings of the 4th International Conference on Complex Systems Design & Management Asia and of the 12th Conference on Complex Systems Design & Management CSD&M 2021 / by: (Electronic resources)

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: (Electronic resources)

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: (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)

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)

Services - SERVICES 202117th World Congress, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Recent trends and advances in model based systems engineering by: (Electronic resources)

Methods and applications for modeling and simulation of complex systems20th Asian Simulation Conference, AsiaSim 2021, virtual event, November 17-20, 2021 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications17th International Conference, WASA 2022, Dalian, China, October 28-30 2022 : proceedings.Part III / by: (Electronic resources)

Wireless algorithms, systems, and applications17th International Conference, WASA 2022, Dalian, China, October 28-30 2022 : proceedings.Part II / 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)

Applied computing for software and smart systemsproceedings of ACSS 2022 / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Advanced theory and applications of engineering systems under the framework of Industry 4.0proceedings of 2022 International Conference on Intelligent Systems Design and Engineering Applications / by: (Electronic resources)

Software engineering application in systems designproceedings of 6th Computational Methods in Systems and Software 2022.Volume 1 / by: (Electronic resources)

Data science and algorithms in systemsproceedings of 6th Computational Methods in Systems and Software 2022.Vol. 2 / by: (Electronic resources)

Advances in information systems developmentAI for IS development and operations / by: (Electronic resources)

Complex systems design & managementproceedings of the 14th International Conference on Complex Systems Design and Management CSD&M 2023 / by: (Electronic resources)

Applied computing for software and smart systemsproceedings of ACSS 2023 / by: (Electronic resources)