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

FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (書目-電子資源)

Computer Supported Cooperative Work in Design I :8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers by: (書目-電子資源)

Component Deployment :Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (書目-電子資源)

Advances in Computer and Information Sciences and Engineering by: (書目-電子資源)

High-Level SynthesisFrom Algorithm to Digital Circuit / by: (書目-電子資源)

Cooperative systems designseamless integration of artifacts and conversations - enhanced concepts of infrastructure for communication / by: (書目-電子資源)

Information systems developmentchallenges in practice, theory, and education Volume 1 / by: (書目-電子資源)

Integrated formal methods7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (書目-電子資源)

Information systems developmentchallenges in practice, theory, and education volume 2 / by: (書目-電子資源)

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

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

Component deploymentsecond international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings / by: (書目-電子資源)

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

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

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

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

Information system developmenttowards a service provision society / by: (書目-電子資源)

Applications of supervised and unsupervised ensemble methods by: (書目-電子資源)

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

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

Tools and algorithms for the construction and analysis of systemsThird International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / by: (書目-電子資源)

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

Conceptual modelingcurrent issues and future directions / by: (書目-電子資源)

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

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

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

Component deploymentIFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings / by: (書目-電子資源)

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

Architecting critical systemsfirst international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / by: (書目-電子資源)

Information modelling and knowledge bases XX by: (書目-電子資源)

Advances in information systems developmentbridging the gap between academia and industry / by: (書目-電子資源)

Advances in design methods from modeling languages for embedded systems and SoC'sselected contributions on specification, design, and verification from FDL 2009 / by: (書目-電子資源)

Complex systems design & managementproceedings of the First International Conference on Complex System Design & Management CSDM 2010 / by: (書目-電子資源)

Integrated formal methods8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: (書目-電子資源)

Information systems developmentAsian experiences / by: (書目-電子資源)

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

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

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

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

Proceedings of the International Conference on Information Systems Design and Intelligent Applications 2012 (INDIA 2012) held in Visakhapatnam, India, January 2012 by: (書目-電子資源)

The impact of virtual, remote, and real logistics labsfirst International Conference, ImViReLL 2012 Bremen, Germany, February 28 - March 1, 2012 : proceedings / 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: (書目-電子資源)

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

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

Eternal systemsfirst InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised selected papers / by: (書目-電子資源)

Practical aspects of design scienceEuropean Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-電子資源)

Information modelling and knowledge bases XXII by: (書目-電子資源)

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

Wireless algorithms, systems, and applicationsthird international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (書目-電子資源)

Information modelling and knowledge bases XIX by: (書目-電子資源)

Information modelling and knowledge bases XXIII by: (書目-電子資源)

Complex systems design & managementproceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 / 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: (書目-電子資源)

COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) by: (書目-電子資源)

Information system developmentimproving enterprise communication / by: (書目-電子資源)

Integrated formal methods11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / by: (書目-電子資源)

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

Design scienceperspectives from Europe : European Design Science Symposium, EDSS 2013, Dublin, Ireland, November 21-22, 2013 : revised selected papers / by: (書目-電子資源)

Complex systems design & managementproceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014 / by: (書目-電子資源)

Complex systems design & management Asiadesigning smart cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2014 / by: (書目-電子資源)

Information systems design and intelligent applicationsproceedings of Second International Conference INDIA 2015.Volume 2 / by: (書目-電子資源)

Information systems design and intelligent applicationsproceedings of Second International Conference INDIA 2015.Volume 1 / 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: (書目-電子資源)

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

Complex systems design & managementproceedings of the sixth International Conference on Complex Systems Design & Management, CSD&M 2015 / by: (書目-電子資源)

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

Information Systems Design and Intelligent ApplicationsProceedings of Third International Conference INDIA 2016, Volume 2 / by: (書目-電子資源)

Information Systems Design and Intelligent ApplicationsProceedings of Third International Conference INDIA 2016, Volume 1 / by: (書目-電子資源)

Information Systems Design and Intelligent ApplicationsProceedings of Third International Conference INDIA 2016, Volume 3 / 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: (書目-電子資源)

COOP 2016proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy / by: (書目-電子資源)

Complex systems design & managementproceedings of the seventh International Conference on Complex Systems Design & Management, CSD&M Paris 2016 / 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: (書目-電子資源)

Information modelling and knowledge bases XXVIII by: (書目-電子資源)

Complexity in information systems developmentproceedings of the 25th International Conference on Information Systems Development / by: (書目-電子資源)

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

Modeling, design and simulation of systems17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.Part I / by: (書目-電子資源)

Modeling, design and simulation of systems17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.Part II / by: (書目-電子資源)

SDL 2017model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings / by: (書目-電子資源)

Handbook of hardware/software codesign by: (書目-電子資源)

Advances in information systems developmentmethods, tools and management / 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: (書目-電子資源)

Information systems design and intelligent applicationsproceedings of Fourth International Conference INDIA 2017 / 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: (書目-電子資源)

Services - SERVICES 201814th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (書目-電子資源)

Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: (書目-電子資源)

Methods and applications for modeling and simulation of complex systems18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27-29, 2018 : proceedings / by: (書目-電子資源)

Complex systems design & management Asiasmart transportation : proceedings of the Third Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2018 / by: (書目-電子資源)

Complex systems design & managementproceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M Paris 2018 / 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: (書目-電子資源)

Methods and applications for modeling and simulation of complex systems19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 - November 1, 2019 : 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: (書目-電子資源)

Complex systems design & managementproceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M Paris 2019 / by: (書目-電子資源)

Design science research.Cases by: (書目-電子資源)

Services - SERVICES 202016th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 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: (書目-電子資源)

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

Advances in information systems developmentinformation systems beyond 2020 / by: (書目-電子資源)

Advances in smart system technologiesselect proceedings of ICFSST 2019 / by: (書目-電子資源)

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

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

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

Services - SERVICES 202117th World Congress, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : 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: (書目-電子資源)

Recent trends and advances in model based systems engineering by: (書目-電子資源)

Methods and applications for modeling and simulation of complex systems20th Asian Simulation Conference, AsiaSim 2021, virtual event, November 17-20, 2021 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications17th International Conference, WASA 2022, Dalian, China, October 28-30 2022 : proceedings.Part III / by: (書目-電子資源)

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

Applied computing for software and smart systemsproceedings of ACSS 2022 / 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: (書目-電子資源)

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

Software engineering application in systems designproceedings of 6th Computational Methods in Systems and Software 2022.Volume 1 / by: (書目-電子資源)

Data science and algorithms in systemsproceedings of 6th Computational Methods in Systems and Software 2022.Vol. 2 / by: (書目-電子資源)

Advances in information systems developmentAI for IS development and operations / by: (書目-電子資源)

Complex systems design & managementproceedings of the 14th International Conference on Complex Systems Design and Management CSD&M 2023 / by: (書目-電子資源)

Applied computing for software and smart systemsproceedings of ACSS 2023 / by: (書目-電子資源)