Computer software - Development - Congresses.

Tools and algorithms for the construction and analysis of systems = 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Software product lines = Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Product Focused Software Process Improvement = 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings / by: (書目-語言資料,印刷品)

FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / by: (書目-語言資料,印刷品)

Requirements Engineering: Foundation for Software Quality = 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / by: (書目-語言資料,印刷品)

Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / by: (書目-語言資料,印刷品)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / by: (書目-語言資料,印刷品)

Proof technology and computation by: (書目-語言資料,印刷品)

TAPSOFT '97 = theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / by: (書目-語言資料,印刷品)

Software process technology = 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / by: (書目-語言資料,印刷品)

UML 2002--the Unified Modeling Language = model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings/ by: (書目-語言資料,印刷品)

Trends and applications in software engineering = proceedings of CIMPS 2016 / by: (書目-電子資源)

Software technologies = applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers / by: (書目-電子資源)

Information science and applications = ICISA 2019 / by: (書目-電子資源)

Logic-based program synthesis and transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: (書目-電子資源)

Information science and applications = proceedings of ICISA 2020 / by: (書目-電子資源)

Systems, software and services process improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 22nd international conference, PROFES 2021, Turin, Italy, November 26, 2021 : proceedings / by: (書目-電子資源)

Theoretical aspects of software engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development = 9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers / by: (書目-電子資源)

Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part I / by: (書目-電子資源)

Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part II / by: (書目-電子資源)

Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers / by: (書目-電子資源)

Software Process Improvement : = 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings by: (書目-語言資料,印刷品)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / 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: (書目-語言資料,印刷品)

Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by: (書目-語言資料,印刷品)

FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (書目-語言資料,印刷品)

Software Product Lines : = 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings by: (書目-語言資料,印刷品)

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

Making globally distributed software development a success story = International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings / 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: (書目-語言資料,印刷品)

Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by: (書目-語言資料,印刷品)

Balancing Agility and Formalism in Software Engineering = Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers/ by: (書目-語言資料,印刷品)

New trends in software methodologies, tools and techniques by: (書目-語言資料,印刷品)

Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (書目-語言資料,印刷品)

Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (書目-語言資料,印刷品)

Software engineering research, management and application by: (書目-語言資料,印刷品)

Embedded software = third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings / by: (書目-語言資料,印刷品)

FME 2003 = formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / by: (書目-語言資料,印刷品)

Software process technology = 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings / by: (書目-語言資料,印刷品)

UML 2003-the unified modeling language = modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings / 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: (書目-電子資源)

UML 2004 = the unified modeling language : modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings / by: (書目-語言資料,印刷品)

Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / by: (書目-語言資料,印刷品)

Product focused software process improvement = 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings / by: (書目-語言資料,印刷品)

Software engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers / by: (書目-語言資料,印刷品)

Software process improvement = 11th European conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004 : proceedings / by: (書目-語言資料,印刷品)

Software product-family engineering = 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers / by: (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers / by: (書目-語言資料,印刷品)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-語言資料,印刷品)

Software engineering approaches for offshore and outsourced development = Second international conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised papers / by: (書目-語言資料,印刷品)

Knowledge-based software engineering = proceedings of the Seventh Joint Conference on Knowledge-based Software Engineering / by: (書目-語言資料,印刷品)

Knowledge-based software engineering = proceedings of the eighth joint conference on knowledge-based software engineering / 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: (書目-語言資料,印刷品)

Development and evolution of software architectures for product families = second international ESPRIT ARES workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings / by: (書目-語言資料,印刷品)

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

UML '99 = the unified modeling language : beyond the standard : Second International Conference Fort Collins, CO, October 28-30, 1999 : proceedings / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers / by: (書目-語言資料,印刷品)

Software architectures for product families = International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 ; proceedings / 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: (書目-語言資料,印刷品)

UML 2000 - the unified modeling language = advancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings / by: (書目-語言資料,印刷品)

Embedded software = first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / by: (書目-語言資料,印刷品)

FME 2001 = formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / by: (書目-語言資料,印刷品)

Software process technology = 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : 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: (書目-語言資料,印刷品)

UML 2001 = the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings / by: (書目-語言資料,印刷品)

Embedded software = second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / by: (書目-語言資料,印刷品)

FME 2002 = formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (書目-語言資料,印刷品)

Software product lines = second international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 : proceedings / by: (書目-語言資料,印刷品)

Software product-family engineering = 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / 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: (書目-語言資料,印刷品)

Theory and practice of model transformations = third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings / by: (書目-語言資料,印刷品)

Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-語言資料,印刷品)

New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings / by: (書目-語言資料,印刷品)

Software engineering approaches for offshore and outsourced development = 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010 : proceedings / by: (書目-語言資料,印刷品)

Foundations of computer software = future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (書目-電子資源)

Software engineering = challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland / by: (書目-電子資源)

Proceedings of the 2015 Federated Conference on Software Development and Object Technologies by: (書目-電子資源)

Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (書目-電子資源)

Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers / by: (書目-電子資源)

Software engineering aspects of continuous development and new paradigms of software production and deployment = first International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018 : revised selected papers / by: (書目-電子資源)

New trends in intelligent software methodologies, tools and techniques = proceedings of the 16th International Conference SoMeT_17 / by: (書目-電子資源)

New trends in intelligent software methodologies, tools and techniques = proceedings of the 17th International Conference SoMeT_18 / by: (書目-電子資源)

Open source systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings / by: (書目-電子資源)

Software process improvement : = practical guidelines for business success / by: (書目-語言資料,印刷品)

Trends and applications in software engineering = proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) / by: (書目-電子資源)

Software engineering aspects of continuous development and new paradigms of software production and deployment = second International Workshop, DEVOPS 2019, Chateau de Villebrumier, France, May 6-8, 2019 : revised selected papers / by: (書目-電子資源)

New perspectives in software engineering = proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) / by: (書目-電子資源)

Model-driven engineering and software development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques = 25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers / by: (書目-電子資源)

Advancing technology industrialization through intelligent software methodologies, tools and techniques by: (書目-電子資源)

New perspectives in software engineering = proceedings of the 10th International Conference on Software Process Improvement (CIMPS 2021) / by: (書目-電子資源)

Logic-based program synthesis and transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings / by: (書目-電子資源)

Software quality = the next big thing in software engineering and quality : 14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17-19, 2022 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 29th European Conference, EuroSPI 2022, European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings / by: (書目-電子資源)

Theoretical aspects of software engineering = 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: (書目-電子資源)

Software quality = higher software quality through zero waste development : 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.. Part I / by: (書目-電子資源)

Product-focused software process improvement = 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.. Part II / by: (書目-電子資源)

Information and software technology. by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / by: (書目-電子資源)

Foundational and practical aspects of resource analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / by: (書目-電子資源)

Software quality = future perspectives on software engineering quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021 : proceedings / by: (書目-電子資源)

Intraseasonal Variability in the Atmosphere-Ocean Climate System by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers / by: (書目-語言資料,印刷品)

Software process technology = 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : 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: (書目-語言資料,印刷品)