System design - Congresses.
Overview
| Works: | 108 works in 70 publications in 70 languages | |
|---|---|---|
Titles
IEEE Computer Society Workshop on VLSI '98 : = system level design : proceedings, April 16-17, 1998, Orlando, Florida /
by:
(Language materials, printed)
Ninth International Workshop on Rapid System Prototyping : = Jnue 3-5, 1998, Leuven, Belgium/
by:
(Language materials, printed)
Cooperative systems design = scenario-based design of collaborative systems /
by:
(Electronic resources)
Component deployment = Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings /
by:
(Electronic resources)
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:
(Language materials, printed)
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:
(Language materials, printed)
Computer Supported Cooperative Work in Design I : = 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
by:
(Language materials, printed)
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
(Language materials, printed)
Information Systems Development = Advances in Theory, Practice, and Education /
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)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(Language materials, printed)
Component deployment = second international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Complexity in information systems development = proceedings of the 25th International Conference on Information Systems Development /
by:
(Electronic resources)
Modeling, design and simulation of systems = 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.. Part I /
by:
(Electronic resources)
Modeling, design and simulation of systems = 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017 : proceedings.. Part II /
by:
(Electronic resources)
Advances in information systems development = methods, tools and management /
by:
(Electronic resources)
Information systems design and intelligent applications = proceedings of Fourth International Conference INDIA 2017 /
by:
(Electronic resources)
Complex systems design & management = proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M Paris 2019 /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Advances in information systems development = information systems beyond 2020 /
by:
(Electronic resources)
Services - SERVICES 2021 = 17th World Congress, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings /
by:
(Electronic resources)
Software engineering application in systems design = proceedings of 6th Computational Methods in Systems and Software 2022.. Volume 1 /
by:
(Electronic resources)
Data science and algorithms in systems = proceedings of 6th Computational Methods in Systems and Software 2022.. Vol. 2 /
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)
Complex systems design & management = proceedings of the 14th International Conference on Complex Systems Design and Management CSD&M 2023 /
by:
(Electronic resources)
Software engineering methods in systems and network systems = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 1 /
by:
(Electronic resources)
Software engineering methods in systems and network systems = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 2 /
by:
(Electronic resources)
The proceedings of the 2023 Conference on Systems Engineering Research = systems engineering towards a smart and sustainable world /
by:
(Electronic resources)
Applied computing for software and smart systems = proceedings of ACSS 2024 /
by:
(Electronic resources)
Local solutions for global challenges = 20th 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 challenges = 20th 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)
Research perspectives on software engineering and systems design = proceedings of 8th Computational Methods in Systems and Software 2024.. Volume 5 /
by:
(Electronic resources)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(Language materials, printed)
Cooperative systems design = seamless integration of artifacts and conversations - enhanced concepts of infrastructure for communication /
by:
(Language materials, printed)
Information systems development = challenges in practice, theory, and education Volume 1 /
by:
(Language materials, printed)
Information systems development = challenges in practice, theory, and education volume 2 /
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)
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)
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:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Component deployment = IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings /
by:
(Language materials, printed)
COOP 2016 = proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy /
by:
(Electronic resources)
Complex systems design & management = proceedings of the seventh International Conference on Complex Systems Design & Management, CSD&M Paris 2016 /
by:
(Electronic resources)
Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(Electronic resources)
SDL 2017 = model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings /
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)
Network systems design : = using network processors : Intel IXP version /
by:
(Language materials, printed)
Complex systems design & management Asia = smart transportation : proceedings of the Third Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2018 /
by:
(Electronic resources)
Complex systems design & management = proceedings 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 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)
Information systems = research, 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 systems = 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 - November 1, 2019 : proceedings /
by:
(Electronic resources)
Advances in smart system technologies = select proceedings of ICFSST 2019 /
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)
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)
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)
Methods and applications for modeling and simulation of complex systems = 20th Asian Simulation Conference, AsiaSim 2021, virtual event, November 17-20, 2021 : proceedings /
by:
(Electronic resources)
Wireless algorithms, systems, and applications = 17th International Conference, WASA 2022, Dalian, China, October 28-30 2022 : proceedings.. Part III /
by:
(Electronic resources)
Wireless algorithms, systems, and applications = 17th International Conference, WASA 2022, Dalian, China, October 28-30 2022 : proceedings.. Part II /
by:
(Electronic resources)
Applied computing for software and smart systems = proceedings of ACSS 2022 /
by:
(Electronic resources)
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:
(Electronic resources)
Advances in information systems development = AI for IS development and operations /
by:
(Electronic resources)
Progressive and integrative ideas and applications of engineering systems under the framework of IOT and AI = proceedings of 2nd International Conference on Intelligent Systems Design and Engineering Applications /
by:
(Electronic resources)
Data analytics in system engineering = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 3 /
by:
(Electronic resources)
Data analytics in system engineering = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 4 /
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)
Advances in information systems development = information systems development, organizational aspects, and societal trends /
by:
(Electronic resources)
Applied computing for software and smart systems = proceedings of ACSS 2023 /
by:
(Electronic resources)
Proceedings of the IUTAM Symposium on Nonlinear Dynamics for Design of Mechanical Systems Across Different Length/Time Scales
by:
(Electronic resources)
Advances in information systems development = exploring new horizons and opportunities /
by:
(Electronic resources)
Show more
Fewer
Subjects