Software engineering - Congresses.

Fundamental Approaches to Software Engineering = 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings/ by: (書目-語言資料,印刷品)

Rapid Integration of Software Engineering Techniques = First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering by: (書目-語言資料,印刷品)

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

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

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

Information systems and e-business technologies : = 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008 : proceedings / by: (書目-語言資料,印刷品)

Data & knowledge engineering. by: (書目-語言資料,印刷品)

IEEE transactions on software engineering. by: (書目-語言資料,印刷品)

Sigsoft Software Engineering Notes : = an informal newsletter of the Special Interest Committee on Software Engineering / by: (書目-語言資料,印刷品)

IEEE concurrency. by: (書目-語言資料,印刷品)

Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures / by: (書目-語言資料,印刷品)

E-commerce and Web technologies = 4th International Conference, EC-Web, Prague, Czech Republic, September 2003 proceedings / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Engineering secure software and systems = second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (書目-語言資料,印刷品)

Algorithm engineering = 4th international workshop, WAE 2000, Saarbrucken, germany, September 5-8 2000 : proceedings / by: (書目-語言資料,印刷品)

Algorithm engineering = 5th international workshop, WAE 2001, Aarhus, Denmark, August 28-31, 2001 : proceedings / by: (書目-語言資料,印刷品)

Product focused software process improvement = third international conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001 : proceedings / by: (書目-語言資料,印刷品)

Generative programming and component engineering = ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2010 = 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings / by: (書目-語言資料,印刷品)

Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-電子資源)

Proceedings of the 2015 International Conference on Software Engineering and Information Technology (SEIT2015) = Guilin, Guangxi, China, 26-28 June 2015 / by: (書目-電子資源)

Information technology - new generations = 14th International Conference on Information Technology / by: (書目-電子資源)

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

Proceedings of 5th International Conference in Software Engineering for Defence Applications = SEDA 2016 / by: (書目-電子資源)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-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: (書目-電子資源)

Learning technology for education challenges = 8th International Workshop, LTEC 2019, Zamora, Spain, July 15-18, 2019 : proceedings / by: (書目-電子資源)

Advances in learning software organizations = 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 7th international conference, FASE 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 engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 2003, selected revised papers / by: (書目-語言資料,印刷品)

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

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

Agent-oriented software engineering IV = 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers / by: (書目-語言資料,印刷品)

Software engineering for multi-agent systems II = research issues and practical applications / by: (書目-語言資料,印刷品)

FST TCS 2003 = foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings / by: (書目-語言資料,印刷品)

Radical Innovations of Software and Systems Engineering in the Future = 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers / by: (書目-語言資料,印刷品)

Scientific engineering of distributed Java applications = third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers/ by: (書目-語言資料,印刷品)

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

Formal Approaches to Agent-Based Systems = Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

COTS-Based Software Systems = 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings / by: (書目-語言資料,印刷品)

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

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

E-Commerce and Web Technologies = 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings / by: (書目-語言資料,印刷品)

Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (書目-語言資料,印刷品)

Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings by: (書目-語言資料,印刷品)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (書目-語言資料,印刷品)

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004/ by: (書目-語言資料,印刷品)

Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 11th international conference, FASE 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: (書目-語言資料,印刷品)

Proceedings of the fifth Workshop on Algorithm Engineering and Experiments by: (書目-語言資料,印刷品)

Proceedings of the eighth Workshop on Algorithm Engineering and Experiments and the third Workshop on Analytic Algorithmics and Combinatorics by: (書目-語言資料,印刷品)

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

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

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / by: (書目-語言資料,印刷品)

Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Agent-technologies, infrastructures, tools, and applications for E-services = NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002 : revised papers / by: (書目-語言資料,印刷品)

Agent-Oriented Software Engineering III = third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions / by: (書目-語言資料,印刷品)

COTS-based software systems = second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (書目-語言資料,印刷品)

Formal methods at the crossroads = from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / by: (書目-電子資源)

Innovative concepts for agent-based systems = first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers / by: (書目-語言資料,印刷品)

FST TCS 2003 = foundations of software technology and theoretical computer science / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 6th International Conference, FASE 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: (書目-語言資料,印刷品)

Generative programming and component engineering = second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings / by: (書目-語言資料,印刷品)

Advances in learning software organizations = 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers / by: (書目-語言資料,印刷品)

Scientific engineering for distributed Java applications = International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers / by: (書目-語言資料,印刷品)

Software engineering and middleware = third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers / by: (書目-語言資料,印刷品)

Advances in learning software organizations = 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings / by: (書目-電子資源)

Algebraic methodology and software technology = 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings / by: (書目-語言資料,印刷品)

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

COTS-based software systems = third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / by: (書目-語言資料,印刷品)

E-commerce and web technologies = 5th international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 7th international conference, FASE 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: (書目-語言資料,印刷品)

Generative programming and component engineering = Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / by: (書目-語言資料,印刷品)

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

Radical Innovations of Software and Systems Engineering in the Future = 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers / by: (書目-語言資料,印刷品)

Scientific engineering of distributed Java applications = third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers/ by: (書目-語言資料,印刷品)

Software engineering for multi-agent systems II = research issues and practical applications / by: (書目-語言資料,印刷品)

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

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

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

Fundamental approaches to software engineering = 13th international conference, FASE 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: (書目-語言資料,印刷品)

Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Algebraic methodology and software technology = 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings / by: (書目-語言資料,印刷品)

Software engineering = ESEC/FSE'97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = First International Conference, FASE'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: (書目-語言資料,印刷品)

Languages, compilers, and run-time systems for scalable computers = 4th international workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers / by: (書目-語言資料,印刷品)

Requirements targeting software and systems engineering = International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / by: (書目-語言資料,印刷品)

Algorithm engineering = 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings / by: (書目-語言資料,印刷品)

Foundations of software technology and theoretical computer science by: (書目-語言資料,印刷品)

Software engineering - ESEC/FSE '99 = 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 : proceedings/ by: (書目-語言資料,印刷品)

Electronic commerce and web technologies = first international conference, EC-Web 2000, London, UK, September 4-6, 2000 : proceedings / by: (書目-語言資料,印刷品)

Learning software organizations = methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings/ by: (書目-語言資料,印刷品)

FST TCS 2000 = foundations of software technology and theoretical computer science : 20th conference, New Delhi,India, December 13-15, 2000 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = third international conference, FASE 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: (書目-語言資料,印刷品)

Generative and component-based software engineering = first international symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers / by: (書目-語言資料,印刷品)

Generative and component-based software engineering = second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers / by: (書目-語言資料,印刷品)

Generative and component-based software engineering = third international conference, GCSE 2001, Erfurt, Germany, September 2001 : proceedings / by: (書目-語言資料,印刷品)

Product focused software process improvement = Second International Conference PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings / by: (書目-語言資料,印刷品)

Advances in learning software organizations = third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings / by: (書目-語言資料,印刷品)

Agent-oriented software engineering = first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers / by: (書目-語言資料,印刷品)

Electronic commerce and Web technologies = second international conference, EC-WEB 2001, Munich, Germany, September 4-6, 2001 : proceedings / by: (書目-語言資料,印刷品)

Formal approaches to agent-based systems = First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers / by: (書目-語言資料,印刷品)

FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science = 21st conference, Bangalore,India, December 13-15, 2001 : proceedings / by: (書目-語言資料,印刷品)

Agent-oriented software engineering II = second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions / by: (書目-語言資料,印刷品)

Algebraic methodology and software technology = 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 4th international conference, FASE 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: (書目-語言資料,印刷品)

COTS-based software systems = first international conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings / by: (書目-語言資料,印刷品)

E-commerce and Web technologies = third international conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / by: (書目-語言資料,印刷品)

FST TCS 2002 = foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 5th international conference, FASE 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: (書目-語言資料,印刷品)

Product focused software process improvement = 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 2002 : proceedings / by: (書目-語言資料,印刷品)

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

Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 11th international conference, PROFES 2010, Limerick, Ireland, June 21-23, 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: (書目-語言資料,印刷品)

Agile processes in software engineering and extreme programming = 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 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: (書目-語言資料,印刷品)

Innovations in Computing Sciences and Software Engineering by: (書目-語言資料,印刷品)

Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / by: (書目-語言資料,印刷品)

Web engineering = 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010 : proceedings / by: (書目-語言資料,印刷品)

Advanced lectures on software engineering = LASER summer school 2007/2008 / 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: (書目-語言資料,印刷品)

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

Software engineering, artificial intelligence, networking and parallel/distributed computing 2010 by: (書目-語言資料,印刷品)

Proceedings of the 2nd international conference on intelligent technologies and engineering systems (ICITES2013) by: (書目-語言資料,印刷品)

Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (書目-電子資源)

Knowledge engineering and semantic web = 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016 : proceedings / by: (書目-電子資源)

Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (書目-電子資源)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part I / by: (書目-電子資源)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part II / by: (書目-電子資源)

Software architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings / by: (書目-電子資源)

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

Software engineering and methodology for emerging domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / 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: (書目-電子資源)

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

Fundamental approaches to software engineering = 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (書目-電子資源)

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

Web information systems engineering - WISE 2017 = 18th International Conference, Puschino, Russia, October 7-11, 2017 : proceedings.. Part I / by: (書目-電子資源)

Web information systems engineering - WISE 2017 = 18th International Conference, Puschino, Russia, October 7-11, 2017 : proceedings.. Part II / by: (書目-電子資源)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / by: (書目-電子資源)

End-user development = 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017 : proceedings / by: (書目-電子資源)

Web engineering = 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017 : proceedings / by: (書目-電子資源)

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part VI / by: (書目-電子資源)

Software engineering in health care = 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014 : revised selected papers / by: (書目-電子資源)

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

Software process improvement and capability determination = 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / by: (書目-電子資源)

Information and software technologies = 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017 : proceedings / by: (書目-電子資源)

Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (書目-電子資源)

Knowledge engineering and semantic web = 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017 : proceedings / by: (書目-電子資源)

Information, communication and computing technology = Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017 : revised selected papers / by: (書目-電子資源)

Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (書目-電子資源)

Software engineering for self-adaptive systems. = International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 : revised selected and invited papers /. III,. Assurances by: (書目-電子資源)

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

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2016 / by: (書目-電子資源)

Advanced information technology, services and systems = proceedings of the International Conference on Advanced Information Technology, Services and Systems (AIT2S-17) Held on April 14/15, 2017 in Tangier / by: (書目-電子資源)

Recent advances and future prospects in knowledge, information and creativity support systems = selected revised papers from the Tenth International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2015), 12-14 November 2015, Phuket, Thailand / by: (書目-電子資源)

Current trends in web engineering = ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017 : revised selected papers / by: (書目-電子資源)

Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers / by: (書目-電子資源)

Fundamental approaches to software engineering = 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (書目-電子資源)

Foundations of software science and computation structures = 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (書目-電子資源)

Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings / by: (書目-電子資源)

Nordic contributions in IS research = 9th Scandinavian Conference on Information Systems, SCIS 2018, Odder, Denmark, August 5-8, 2018 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV / by: (書目-電子資源)

Interactive theorem proving = 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V / by: (書目-電子資源)

Software engineering and algorithms in intelligent systems = proceedings of 7th Computer Science On-line Conference 2018.. Volume 1 / by: (書目-電子資源)

Cybernetics and algorithms in intelligent systems = proceedings of 7th Computer Science On-line Conference 2018.. Volume 3 / by: (書目-電子資源)

Artificial intelligence and algorithms in intelligent systems = proceedings of 7th Computer Science On-line Conference 2018.. Volume 2 / by: (書目-電子資源)

Software engineering = proceedings of CSI 2015 / by: (書目-電子資源)

Advances in artificial intelligence, software and systems engineering = joint proceedings of the AHFE 2018 International Conference on Human Factors in Artificial Intelligence and Social Computing, Software and Systems Engineering, The Human Side of Service Engineering and Human Factors in Energy, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA / by: (書目-電子資源)

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

Knowledge-based software engineering: 2018 = proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece / by: (書目-電子資源)

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

Advanced intelligent systems for sustainable development (AI2SD'2018).. Vol 4,. Advanced intelligent systems applied to health by: (書目-電子資源)

Advanced intelligent systems for sustainable development (AI2SD'2018).. Vol 1,. Advanced intelligent systems applied to agriculture by: (書目-電子資源)

Smart data and computational intelligence = proceedings of the International Conference on Advanced Information Technology, Services and Systems (AIT2S-18) Held on October 17 - 18, 2018 in Mohammedia / by: (書目-電子資源)

Foundations of software science and computation structures = 22nd International Conference, FOSSACS 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 / by: (書目-電子資源)

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

Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (書目-電子資源)

Web engineering = 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019 : proceedings / by: (書目-電子資源)

Applied computer sciences in engineering = 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017 : proceedings / by: (書目-電子資源)

Collaboration in a data-rich world = 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017 : proceedings / by: (書目-電子資源)

Software quality = complexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-電子資源)

Foundations of Software Science and Computation Structures = 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (書目-電子資源)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (書目-電子資源)

E-Commerce and Web Technologies = 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings / by: (書目-語言資料,印刷品)

Trust, Privacy and Security in Digital Business = 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence methods in intelligent algorithms = proceedings of 8th Computer Science On-line Conference 2019.. Vol. 2 / by: (書目-電子資源)

Rules and reasoning = third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings / by: (書目-電子資源)

Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: (書目-電子資源)

Tests and proofs = 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings / by: (書目-電子資源)

Fundamentals of software engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (書目-電子資源)

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

Intelligent computing and applications = proceedings of ICICA 2019 / by: (書目-電子資源)

SOFSEM 2021 = theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings / by: (書目-電子資源)

From data to models and back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers / by: (書目-電子資源)

Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part IV / by: (書目-電子資源)

Software architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VI / 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: (書目-語言資料,印刷品)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / 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: (書目-語言資料,印刷品)

Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (書目-電子資源)

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

SOFSEM 2017 = theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: (書目-電子資源)

Agile processes in software engineering and extreme programming = 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017 : proceedings / by: (書目-電子資源)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (書目-電子資源)

Software engineering trends and techniques in intelligent systems = proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017).. Vol 3 / by: (書目-電子資源)

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

Software architecture = 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (書目-電子資源)

Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (書目-電子資源)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (書目-電子資源)

Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings / by: (書目-電子資源)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (書目-電子資源)

Dynamic logic = new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings / by: (書目-電子資源)

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

Information and communication technologies of Ecuador (TIC.EC) by: (書目-電子資源)

Modelling and implementation of complex systems = proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria / by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

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

Computer and communication engineering = first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018 : proceedings / by: (書目-電子資源)

SOFSEM 2019 = theory and practice of computer science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 27-30, 2019 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings / 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: (書目-電子資源)

Human-centered software engineering = 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018 : revised selected papers / by: (書目-電子資源)

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

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (書目-電子資源)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II / by: (書目-電子資源)

Cloud computing - CLOUD 2019 = 12th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (書目-電子資源)

Big data, cloud computing, data science & engineering by: (書目-電子資源)

Computational statistics and mathematical modeling methods in intelligent systems = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 2 / by: (書目-電子資源)

Intelligent systems applications in software engineering = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 1 / by: (書目-電子資源)

Software technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (書目-電子資源)

Software engineering and methodology for emerging domains = 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018 : revised selected papers / by: (書目-電子資源)

CMM implementation guide : = choreographing software process improvement / by: (書目-語言資料,印刷品)

Advances in artificial intelligence, software and systems engineering = proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Service and Systems Engineering, and the AHFE International Conference of Human Factors in Energy, July 24-28, 2019, Washington D.C., USA / by: (書目-電子資源)

ICICCT 2019 = system reliability, quality control, safety, maintenance and management : applications to electrical, electronics and computer science and engineering / by: (書目-電子資源)

Proceedings of 6th International Conference in Software Engineering for Defence Applications = SEDA 2018 / by: (書目-電子資源)

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

Big data, cloud computing, and data science engineering by: (書目-電子資源)

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

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 / 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: (書目-電子資源)

Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings / by: (書目-電子資源)

SOFSEM 2020 = theory and practice of computer science : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020 : proceedings / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 : revised selected papers / by: (書目-電子資源)

Enterprise information systems = 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / by: (書目-電子資源)

Computer performance engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers / by: (書目-電子資源)

Fundamental approaches to software engineering = 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (書目-電子資源)

Foundations of software science and computation structures = 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings / by: (書目-電子資源)

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / by: (書目-電子資源)

Web engineering = 20th International Conference, ICWE 2020, Helsinki, Finland, June 9-12, 2020 : proceedings / by: (書目-電子資源)

Software technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers / by: (書目-電子資源)

Engineering trustworthy software systems = 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: (書目-電子資源)

Modelling and implementation of complex systems = proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24-26, 2020 / by: (書目-電子資源)

Advances in artificial intelligence, software and systems engineering = proceedings of the AHFE 2020 Virtual Conferences on Software and Systems Engineering, and Artificial Intelligence and Social Computing, July 16-20, 2020, USA / by: (書目-電子資源)

Systems and information sciences = proceedings of ICCIS 2020 / by: (書目-電子資源)

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

Software engineering in IoT, big data, cloud and mobile computing by: (書目-電子資源)

Lean and agile software development = 5th International Conference, LASD 2021, Virtual Event, January 23, 2021 : proceedings / by: (書目-電子資源)

Recent innovations in computing = proceedings of ICRIC 2020 / by: (書目-電子資源)

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

Verification, model checking, and abstract interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020 : revised selected papers / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers / by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

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

Foundations of software science and computation structures = 24th International Conference, FOSSACS 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 / by: (書目-電子資源)

Enterprise information systems = 22nd International Conference, ICEIS 2020, virtual event, May 5-7, 2020 : revised selected papers / by: (書目-電子資源)

Human centred intelligent systems = proceedings of KES-HCIS 2021 Conference / by: (書目-電子資源)

Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Software engineering and algorithms = proceedings of 10th Computer Science On-line Conference 2021.. Vol. 1 / by: (書目-電子資源)

Information and software technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10-12, 2019 : proceedings / by: (書目-電子資源)

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

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

Information and software technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15-17, 2020 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (書目-電子資源)

Software architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part VII / by: (書目-電子資源)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part V / by: (書目-電子資源)

Tests and proofs = 15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / by: (書目-電子資源)

End-user development = 8th International Symposium, IS-EUD 2021, virtual event, July 6-8, 2021 : proceedings / by: (書目-電子資源)

Proceedings of the First International Workshop on Intelligent Software Automation = ISEA 2020 / by: (書目-電子資源)

Advances in artificial intelligence, software and systems engineering = proceedings of the AHFE 2021 Virtual Conferences on Human Factors in Software and Systems Engineering, Artificial Intelligence and Social Computing, and Energy, July 25-29, 2021, USA / by: (書目-電子資源)

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

Computer algebra in scientific computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (書目-電子資源)

Software architecture = 15th European Conference, ECSA 2021, virtual event, Sweden, September 13-17, 2021 : proceedings / by: (書目-電子資源)

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

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VIII / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part IX / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VII / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VI / by: (書目-電子資源)

Model-based safety and assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: (書目-電子資源)

Telematics and computing = 8th International Congress, WITCOM 2019, Merida, Mexico, November 4-8, 2019 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: (書目-電子資源)

Static analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019 : proceedings / by: (書目-電子資源)

End-user development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (書目-電子資源)

Search-based software engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019 : proceedings / by: (書目-電子資源)

Software architecture = 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Testing software and systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings / by: (書目-電子資源)

Search-based software engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021 : proceedings / by: (書目-電子資源)

Advances in software engineering, education, and e-Learning = proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 / by: (書目-電子資源)

Information and software technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14-16, 2021 : proceedings / by: (書目-電子資源)

Telematics and computing = 10th International Congress, WITCOM 2021, virtual event, November 8-12, 2021 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings / by: (書目-電子資源)

Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings / by: (書目-電子資源)

Fundamentals of software engineering = 9th International Conference, FSEN 2021, virtual event, May 19-21, 2021 : revised selected papers / by: (書目-電子資源)

Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings / by: (書目-電子資源)

Rules and reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 27th European Conference, EuroSPI 2020, Dusseldorf, Germany, September 9-11, 2020 : proceedings / by: (書目-電子資源)

Model-based safety and assessment = 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Advances in agile and user-centred software engineering = third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1-4, 2019 : revised selected papers / by: (書目-電子資源)

Software engineering application in informatics = proceedings of 5th Computational Methods in Systems and Software 2021.. Vol. 1 / by: (書目-電子資源)

Data science and intelligent systems = proceedings of 5th Computational Methods in Systems and Software 2021.. Vol. 2 / by: (書目-電子資源)

Lean and agile software development = 6th International Conference, LASD 2022, virtual event, January 22, 2022 : proceedings / by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

Requirements engineering = foundation for software quality : 28th International Working Conference, REFSQ 2022, Birmingham, UL, March 21-24, 2022 : proceedings / by: (書目-電子資源)

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

Web engineering = 21st International Conference, ICWE 2021, Biarritz, France, May 18-21, 2021 : proceedings / by: (書目-電子資源)

Tests and proofs = 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 = 22nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 = 22nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 Workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part VI / by: (書目-電子資源)

Software engineering perspectives in systems = proceedings of 11th Computer Science On-line Conference 2022.. Volume 1 / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part II / by: (書目-電子資源)

Computer safety, reliability, and security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = software engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part II / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part III / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = practice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part IV / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part I / by: (書目-電子資源)

Meta heuristic techniques in software engineering and its applications = METASOFT 2022 / by: (書目-電子資源)

Engineering software for modern challenges = first International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021 : revised selected papers / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings / by: (書目-電子資源)

Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings / by: (書目-電子資源)

Software verification and formal methods for ML-enabled autonomous systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings / by: (書目-電子資源)

Advances in model and data engineering in the digitalization era = MEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022 : proceedings / by: (書目-電子資源)

Patterns for time-triggered embedded systems : = building reliable applications with the 8051 family of microcontrollers / by: (書目-語言資料,印刷品)

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

Knowledge-based software engineering: 2022 = proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022 / by: (書目-電子資源)

Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2022.. Volume 2 / 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: (書目-電子資源)

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Testing software and systems = 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Security protocols XXVIII = 28th International Workshop, Cambridge, UK, March 27-28, 2023 : revised selected papers / by: (書目-電子資源)

Telematics and computing = 9th International Congress, WITCOM 2020, Puerto Vallarta, Mexico, November 2-6, 2020 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part III / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part II / by: (書目-電子資源)

Computer algebra in scientific computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / by: (書目-電子資源)

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

Human-centered software engineering = 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, the Netherlands, November 30 - December 2, 2020 : proceedings / by: (書目-電子資源)

Testing software and systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings / by: (書目-電子資源)

Current trends in web engineering = ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9-12, 2020 : revised selected papers / by: (書目-電子資源)

Dynamic logic = new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers / by: (書目-電子資源)

Software engineering perspectives in intelligent systems = proceedings of 4th Computational Methods in Systems and Software 2020.. Vol.2 / by: (書目-電子資源)

Software engineering perspectives in intelligent systems = proceedings of 4th Computational Methods in Systems and Software 2020.. Vol.1 / by: (書目-電子資源)

Knowledge-based software engineering = proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020 / by: (書目-電子資源)

Static analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings / by: (書目-電子資源)

Current trends in web engineering = ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019 : proceedings / by: (書目-電子資源)

Advanced computing and systems for security.. Volume Ten by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

Formal aspects of component software = 17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (書目-電子資源)

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

Performance engineering and stochastic modeling = 17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings / by: (書目-電子資源)

Rules and reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: (書目-電子資源)

Frontiers in software engineering = first international conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021 : revised selected papers / by: (書目-電子資源)

Communication, smart technologies and innovation for society = proceedings of CITIS 2021 / by: (書目-電子資源)

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

ICWE 2021 workshops = ICWE 2021 International Workshops, BECS and invited papers, Biarritz. France, May 18-21, 2021 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 16th International Conference, ENASE 2021, virtual event, April 26-27, 2021 : revised selected papers / by: (書目-電子資源)

Foundations of software science and computation structures = 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Recent innovations in computing = proceedings of ICRIC 2021.. Volume 1 / by: (書目-電子資源)

Testing software and systems = 33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021 : proceedings / by: (書目-電子資源)

Recent innovations in computing = proceedings of ICRIC 2021.. Volume 2 / by: (書目-電子資源)

Advanced research in technologies, information, innovation and sustainability = first International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25-27, 2021 : proceedings / by: (書目-電子資源)

Web engineering = 22nd International Conference, ICWE 2022, Bari, Italy July 5-8, 2022 : proceedings / by: (書目-電子資源)

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

Human centred intelligent systems = proceedings of KES-HCI 2022 Conference / by: (書目-電子資源)

Software technologies = 16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / 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: (書目-電子資源)

Human-centered software engineering = 9th IFIP WG 13. 2 International Working Conference, HCSE 2022, Eindhoven, the Netherlands, August 24-26, 2022 : proceedings / by: (書目-電子資源)

Model checking software = 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings / by: (書目-電子資源)

Model-based safety and assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings / by: (書目-電子資源)

Software architecture = 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / by: (書目-電子資源)

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

Formal methods and software engineering = 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings / by: (書目-電子資源)

Formal aspects of component software = 18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings / by: (書目-電子資源)

Advanced research in technologies, information, innovation and sustainability = second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022 : revised selected papers.. Part II / by: (書目-電子資源)

Advanced research in technologies, information, innovation and sustainability = second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022 : revised selected papers.. Part I / by: (書目-電子資源)

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

Search-based software engineering = 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022 : proceedings / by: (書目-電子資源)

Modelling and implementation of complex systems = proceedings of the 7th International Symposium, MISC 2022, Mostaganem, Algeria, October 30-31, 2022 / by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing 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: (書目-電子資源)

Computer performance engineering = 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022 : proceedings / by: (書目-電子資源)

Software engineering and formal methods -- SEFM 2022 collocated workshops = AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022 / by: (書目-電子資源)

Dynamic logic : new trends and applications = 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / by: (書目-電子資源)

Big data, cloud computing, and data science engineering by: (書目-電子資源)

Proceedings of International Conference on Recent Innovations in Computing. = ICRIC 2022 /. Volume 1 by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing 2022-Winter by: (書目-電子資源)

Sustainability in software engineering and business information management = proceedings of the conference SSEBIM 2022 / by: (書目-電子資源)

End-user development = 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023 : proceedings / by: (書目-電子資源)

Web engineering = 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023 : proceedings / by: (書目-電子資源)

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

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VII / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VIII / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 = 23rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 = 23rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IX / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part II / by: (書目-電子資源)

Software engineering research in system science = proceedings of 12th Computer Science On-line Conference 2023.. Volume 1 / by: (書目-電子資源)

Artificial intelligence application in networks and systems = proceedings of 12th Computer Science On-line Conference 2023.. Volume 3 / by: (書目-電子資源)

Networks and systems in cybernetics = proceedings of 12th Computer Science On-line Conference 2023.. Volume 2 / by: (書目-電子資源)

Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (書目-電子資源)

Information, communication and computing technology = 8th International Conference, ICICCT 2023, New Delhi, India, May 27, 2023 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Applied computer sciences in engineering = 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023 : proceedings / by: (書目-電子資源)

Telematics and computing = 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023 : proceedings / by: (書目-電子資源)

Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (書目-電子資源)

Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (書目-電子資源)

Information and software technologies = 28th International Conference, ICIST 2022, Kaunas, Lithuania, October 13-15, 2022 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (書目-電子資源)

Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : 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: (書目-電子資源)

Tests and proofs = 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings / by: (書目-電子資源)

Foundations of software science and computation structures = 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 17th International Conference, ENASE 2022, virtual event, April 25-26, 2022 : revised selected papers / by: (書目-電子資源)

Software technologies = 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (書目-電子資源)

Enterprise information systems = 24th International Conference, ICEIS 2022, virtual event, April 25-27, 2022 : revised selected papers / by: (書目-電子資源)