System design - Congresses.

Tools and algorithms for the construction and analysis of systems = 5th 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: (書目-語言資料,印刷品)

Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / by: (書目-語言資料,印刷品)

COOP 2016 = proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy / 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 information systems development = information systems beyond 2020 / 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: (書目-電子資源)

Applied computing for software and smart systems = proceedings of ACSS 2022 / by: (書目-電子資源)

Advanced theory and applications of engineering systems under the framework of Industry 4.0 = proceedings of 2022 International Conference on Intelligent Systems Design and Engineering Applications / by: (書目-電子資源)

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

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

Tools and Algorithms for the Construction and Analysis of Systems = 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (書目-語言資料,印刷品)

Formal Methods for Mobile Computing = 5th 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 Methods = International 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: (書目-語言資料,印刷品)

Information Systems Development = Advances in Theory, Practice, and Education / by: (書目-語言資料,印刷品)

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

Advances in Computer and Information Sciences and Engineering by: (書目-語言資料,印刷品)

High-Level Synthesis = From Algorithm to Digital Circuit / by: (書目-語言資料,印刷品)

Cooperative systems design = seamless integration of artifacts and conversations - enhanced concepts of infrastructure for communication / by: (書目-語言資料,印刷品)

Information systems development = challenges in practice, theory, and education Volume 1 / by: (書目-語言資料,印刷品)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (書目-語言資料,印刷品)

Information systems development = challenges in practice, theory, and education volume 2 / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 9th 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 deployment = second international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : 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: (書目-語言資料,印刷品)

Human benefit through the diffusion of information systems design science research = IFIP 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 systems = Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 4th 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 modeling = current issues and future directions / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 6th 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 systems = 7th 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 deployment = IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 8th 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: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

Information systems design and intelligent applications = proceedings of Fourth International Conference INDIA 2017 / by: (書目-電子資源)

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

Network systems design : = using network processors : Intel IXP version / by: (書目-語言資料,印刷品)

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

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

Information systems = research, development, applications, education : 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017 : proceedings / by: (書目-電子資源)

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

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

Complex systems design & management = proceedings 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: (書目-電子資源)

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

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

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

Services - SERVICES 2021 = 17th World Congress, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings / by: (書目-電子資源)

Recent trends and advances in model based systems engineering 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: (書目-電子資源)

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

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

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

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

Data science and algorithms in systems = proceedings of 6th Computational Methods in Systems and Software 2022.. Vol. 2 / 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: (書目-電子資源)

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

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