Computer software - Congresses. - Development

Formal methods for the quantitative evaluation of collective adaptive systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / by: (書目-電子資源)

Executable UML : = 模型驅動架構入門 / by: (書目-語言資料,印刷品)

極致軟體製程 : = 專案應用 / by: (書目-語言資料,印刷品)

UML軟體發展實務 / by: (書目-語言資料,印刷品)

從Java到C# : = 一本協助Java開發人員快速學習C#的書籍 / by: (書目-語言資料,印刷品)

規劃極致軟體製程 / by: (書目-語言資料,印刷品)

Microsoft .NET徹底研究 / by: (書目-語言資料,印刷品)

深入淺出軟體開發 / by: (書目-語言資料,印刷品)

Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part II / by: (書目-語言資料,印刷品)

Foundational and practical aspects of resource analysis = First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers / by: (書目-語言資料,印刷品)

Software product lines = going beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010, proceedings / by: (書目-語言資料,印刷品)

Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part I / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings / by: (書目-語言資料,印刷品)

Middleware 2010 = ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings / by: (書目-語言資料,印刷品)

Engineering methods in the service-oriented context = 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011 : proceedings / by: (書目-電子資源)

Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-電子資源)

Guide to software development = designing and managing the life cycle / by: (書目-電子資源)

Software quality = process automation in software development : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Fundamental approaches to software engineering = 15th International Conference, FASE 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: (書目-電子資源)

Advances in software engineering techniques = 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-電子資源)

Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / by: (書目-電子資源)

Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (書目-電子資源)

Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the eleventh SoMeT_12 / by: (書目-電子資源)

Software engineering research, management and applications by: (書目-電子資源)

Theory and practice of model transformations = 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 2014 = 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Software technologies = 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : revised selected papers / by: (書目-電子資源)

Model-driven engineering languages and systems = 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014 : proceedings / by: (書目-電子資源)

Software engineering research, management and applications by: (書目-電子資源)

Solving software challenges for exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers / by: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 / by: (書目-電子資源)

Intelligent software methodologies, tools and techniques = 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers / by: (書目-電子資源)

Formal methods for multicore programming = 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures / by: (書目-電子資源)

Theory and practice of model transformations = 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015 : proceedings / by: (書目-電子資源)

Software measurement = 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krakow, Poland, October 5-7, 2015 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development = second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development = third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers / by: (書目-電子資源)

Theory and practice of model transformations = 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings / by: (書目-電子資源)

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

New trends in software methodologies, tools and techniques = proceedings of the 9th SoMeT_10 / by: (書目-語言資料,印刷品)

Foundational and practical aspects of resource analysis = third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers / by: (書目-電子資源)

Intelligent software methodologies, tools and techniques = 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings / by: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the tenth SoMeT_11 / by: (書目-語言資料,印刷品)