Software engineering - Congresses.

Formal Approaches to Agent-Based Systems = Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / by: (Language materials, printed)

Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers / by: (Language materials, printed)

COTS-Based Software Systems = 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings / by: (Language materials, printed)

Software Engineering for Multi-Agent Systems III = Research Issues and Practical Applications / by: (Electronic resources)

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (Electronic resources)

Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / by: (Language materials, printed)

Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by: (Language materials, printed)

Software Product Lines : = 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings by: (Language materials, printed)

Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings by: (Language materials, printed)

Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (Language materials, printed)

Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings by: (Language materials, printed)

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: (Language materials, printed)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (Language materials, printed)

Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Proceedings of the eighth Workshop on Algorithm Engineering and Experiments and the third Workshop on Analytic Algorithmics and Combinatorics by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / by: (Language materials, printed)

Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / by: (Language materials, printed)

Product-Focused Software Process Improvement = 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / by: (Language materials, printed)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

E-Commerce and Web Technologies = 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings / by: (Language materials, printed)

Trust, Privacy and Security in Digital Business = 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings / by: (Language materials, printed)

Advances in Computer and Information Sciences and Engineering by: (Language materials, printed)

New trends in software methodologies, tools and techniques by: (Language materials, printed)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / by: (Language materials, printed)

IEEE concurrency. by: (Language materials, printed)

Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures / by: (Language materials, printed)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers / by: (Language materials, printed)

Agent-technologies, infrastructures, tools, and applications for E-services = NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002 : revised papers / by: (Language materials, printed)

COTS-based software systems = second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 proceedings / by: (Language materials, printed)

E-commerce and Web technologies = 4th International Conference, EC-Web, Prague, Czech Republic, September 2003 proceedings / by: (Language materials, printed)

Formal methods and software engineering = 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (Language materials, printed)

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: (Electronic resources)

FST TCS 2003 = foundations of software technology and theoretical computer science / by: (Language materials, printed)

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: (Language materials, printed)

Generative programming and component engineering = second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Advances in learning software organizations = 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers / by: (Language materials, printed)

Scientific engineering for distributed Java applications = International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers / by: (Language materials, printed)

Software engineering and middleware = third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers / by: (Language materials, printed)

Advances in learning software organizations = 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings / by: (Electronic resources)

Algebraic methodology and software technology = 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings / by: (Language materials, printed)

Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / by: (Language materials, printed)

COTS-based software systems = third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / by: (Language materials, printed)

E-commerce and web technologies = 5th international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, proceedings / by: (Language materials, printed)

Formal methods and software engineering = 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Generative programming and component engineering = Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings / by: (Language materials, printed)

Product focused software process improvement = 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings / by: (Language materials, printed)

Radical Innovations of Software and Systems Engineering in the Future = 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers / by: (Language materials, printed)

Scientific engineering of distributed Java applications = third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers/ by: (Language materials, printed)

Software engineering for multi-agent systems II = research issues and practical applications / by: (Language materials, printed)

Software engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers / by: (Language materials, printed)

Software product-family engineering = 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers / by: (Language materials, printed)

Software engineering approaches for offshore and outsourced development = Second international conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised papers / by: (Language materials, printed)

Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (Language materials, printed)

Engineering secure software and systems = second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Requirements targeting software and systems engineering = International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / by: (Language materials, printed)

Algorithm engineering = 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings / by: (Language materials, printed)

Foundations of software technology and theoretical computer science by: (Language materials, printed)

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: (Language materials, printed)

Electronic commerce and web technologies = first international conference, EC-Web 2000, London, UK, September 4-6, 2000 : proceedings / by: (Language materials, printed)

FST TCS 2000 = foundations of software technology and theoretical computer science : 20th conference, New Delhi,India, December 13-15, 2000 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Generative and component-based software engineering = first international symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers / by: (Language materials, printed)

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: (Language materials, printed)

Agent-oriented software engineering = first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers / by: (Language materials, printed)

Formal approaches to agent-based systems = First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers / by: (Language materials, printed)

FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science = 21st conference, Bangalore,India, December 13-15, 2001 : proceedings / by: (Language materials, printed)

Generative and component-based software engineering = second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers / by: (Language materials, printed)

Generative and component-based software engineering = third international conference, GCSE 2001, Erfurt, Germany, September 2001 : proceedings / by: (Language materials, printed)

Agent-oriented software engineering II = second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions / by: (Language materials, printed)

Algebraic methodology and software technology = 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings / by: (Language materials, printed)

COTS-based software systems = first international conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings / by: (Language materials, printed)

E-commerce and Web technologies = third international conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Generative programming and component engineering = ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings / by: (Language materials, printed)

Product focused software process improvement = 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 2002 : proceedings / by: (Language materials, printed)

Software product-family engineering = 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2010 = 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings / by: (Language materials, printed)

Product-focused software process improvement = 11th international conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010 : proceedings / by: (Language materials, printed)

Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (Language materials, printed)

New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings / by: (Language materials, printed)

Innovations in Computing Sciences and Software Engineering by: (Language materials, printed)

Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / by: (Language materials, printed)

Web engineering = 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010 : proceedings / by: (Language materials, printed)

Advanced lectures on software engineering = LASER summer school 2007/2008 / by: (Language materials, printed)

Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers / by: (Language materials, printed)

Proceedings of the 2nd international conference on intelligent technologies and engineering systems (ICITES2013) by: (Language materials, printed)

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: (Electronic resources)

Information systems: development, research, applications, education = 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings / by: (Electronic resources)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part I / by: (Electronic resources)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part II / by: (Electronic resources)

Evaluation of novel approaches to software engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Trends and applications in software engineering = proceedings of CIMPS 2016 / by: (Electronic resources)

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: (Electronic resources)

Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Information science and applications 2017 = ICISA 2017 / by: (Electronic resources)

Proceedings of the 2015 International Conference on Software Engineering and Information Technology (SEIT2015) = Guilin, Guangxi, China, 26-28 June 2015 / by: (Electronic resources)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (Electronic resources)

Software engineering trends and techniques in intelligent systems = proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017).. Vol 3 / by: (Electronic resources)

End-user development = 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017 : proceedings / by: (Electronic resources)

Web engineering = 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017 : proceedings / by: (Electronic resources)

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (Electronic resources)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part VI / by: (Electronic resources)

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: (Electronic resources)

Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (Electronic resources)

Software architecture = 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings / by: (Electronic resources)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (Electronic resources)

Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (Electronic resources)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (Electronic resources)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (Electronic resources)

Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings / by: (Electronic resources)

Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers / by: (Electronic resources)

Software process improvement and capability determination = 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / by: (Electronic resources)

Information and software technologies = 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017 : proceedings / by: (Electronic resources)

Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (Electronic resources)

Web information systems engineering - WISE 2017 = 18th International Conference, Puschino, Russia, October 7-11, 2017 : proceedings.. Part I / by: (Electronic resources)

Web information systems engineering - WISE 2017 = 18th International Conference, Puschino, Russia, October 7-11, 2017 : proceedings.. Part II / by: (Electronic resources)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (Electronic resources)

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / by: (Electronic resources)

Software engineering for self-adaptive systems. = International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 : revised selected and invited papers /. III,. Assurances by: (Electronic resources)

Software engineering research, management and applications by: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2016 / by: (Electronic resources)

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: (Electronic resources)

Dynamic logic = new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings / by: (Electronic resources)

Software technologies = applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers / by: (Electronic resources)

Proceedings of 5th International Conference in Software Engineering for Defence Applications = SEDA 2016 / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV / by: (Electronic resources)

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: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V / by: (Electronic resources)

Software engineering and algorithms in intelligent systems = proceedings of 7th Computer Science On-line Conference 2018.. Volume 1 / by: (Electronic resources)

Cybernetics and algorithms in intelligent systems = proceedings of 7th Computer Science On-line Conference 2018.. Volume 3 / by: (Electronic resources)

Software engineering = proceedings of CSI 2015 / by: (Electronic resources)

Trends and applications in software engineering = proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018) / by: (Electronic resources)

Information and communication technologies of Ecuador (TIC.EC) by: (Electronic resources)

Modelling and implementation of complex systems = proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria / by: (Electronic resources)

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: (Electronic resources)

Verification, model checking, and abstract interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Model-driven engineering and software development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers / by: (Electronic resources)

Advanced intelligent systems for sustainable development (AI2SD'2018).. Vol 4,. Advanced intelligent systems applied to health by: (Electronic resources)

Advanced intelligent systems for sustainable development (AI2SD'2018).. Vol 1,. Advanced intelligent systems applied to agriculture by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Dependable software systems engineering by: (Electronic resources)

New trends in intelligent software methodologies, tools and techniques = proceedings of the 16th International Conference SoMeT_17 / by: (Electronic resources)

New trends in intelligent software methodologies, tools and techniques = proceedings of the 17th International Conference SoMeT_18 / by: (Electronic resources)

Applied computer sciences in engineering = 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Software quality = complexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings / by: (Electronic resources)

Learning technology for education challenges = 8th International Workshop, LTEC 2019, Zamora, Spain, July 15-18, 2019 : proceedings / by: (Electronic resources)

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (Electronic resources)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II / by: (Electronic resources)

Software technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (Electronic resources)

Rules and reasoning = third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings / by: (Electronic resources)

Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Fundamentals of software engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

ICICCT 2019 = system reliability, quality control, safety, maintenance and management : applications to electrical, electronics and computer science and engineering / by: (Electronic resources)

Proceedings of 6th International Conference in Software Engineering for Defence Applications = SEDA 2018 / by: (Electronic resources)

Software engineering research, management and applications by: (Electronic resources)

Big data, cloud computing, and data science engineering by: (Electronic resources)

Trends and applications in software engineering = proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) / by: (Electronic resources)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 / by: (Electronic resources)

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: (Electronic resources)

Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Evaluation of novel approaches to software engineering = 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 : revised selected papers / by: (Electronic resources)

Enterprise information systems = 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019 : revised selected papers / by: (Electronic resources)

Formal aspects of component software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / by: (Electronic resources)

Computer performance engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Telematics and computing = 8th International Congress, WITCOM 2019, Merida, Mexico, November 4-8, 2019 : proceedings / by: (Electronic resources)

Formal methods and software engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: (Electronic resources)

Static analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (Electronic resources)

Model-based safety and assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (Electronic resources)

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / by: (Electronic resources)

Web engineering = 20th International Conference, ICWE 2020, Helsinki, Finland, June 9-12, 2020 : proceedings / by: (Electronic resources)

Software technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers / by: (Electronic resources)

Engineering trustworthy software systems = 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: (Electronic resources)

Modelling and implementation of complex systems = proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24-26, 2020 / by: (Electronic resources)

Intelligent computing and applications = proceedings of ICICA 2019 / by: (Electronic resources)

New perspectives in software engineering = proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) / by: (Electronic resources)

Lean and agile software development = 5th International Conference, LASD 2021, Virtual Event, January 23, 2021 : proceedings / by: (Electronic resources)

Recent innovations in computing = proceedings of ICRIC 2020 / by: (Electronic resources)

Model-driven engineering and software development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020 : revised selected papers / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Enterprise information systems = 22nd International Conference, ICEIS 2020, virtual event, May 5-7, 2020 : revised selected papers / by: (Electronic resources)

Human centred intelligent systems = proceedings of KES-HCIS 2021 Conference / by: (Electronic resources)

Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (Electronic resources)

Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Software engineering and algorithms = proceedings of 10th Computer Science On-line Conference 2021.. Vol. 1 / by: (Electronic resources)

Information and software technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10-12, 2019 : proceedings / by: (Electronic resources)

Information systems: research, development, applications, education = 12th SIGSAND/PLAIS EuroSymposium 2019, Gdansk, Poland, September 19, 2019 : proceedings / by: (Electronic resources)

Systems, software and services process improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: (Electronic resources)

End-user development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (Electronic resources)

Search-based software engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019 : proceedings / by: (Electronic resources)

Software architecture = 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / by: (Electronic resources)

Software engineering and formal methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (Electronic resources)

Software engineering for resilient systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019 : proceedings / by: (Electronic resources)

Testing software and systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings / by: (Electronic resources)

Software architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020 : proceedings / by: (Electronic resources)

Information and software technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15-17, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Software architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020 : proceedings / by: (Electronic resources)

Software engineering and formal methods = 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part VII / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part V / by: (Electronic resources)

Computer algebra in scientific computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (Electronic resources)

Software architecture = 15th European Conference, ECSA 2021, virtual event, Sweden, September 13-17, 2021 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VII / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VI / by: (Electronic resources)

Telematics and computing = 10th International Congress, WITCOM 2021, virtual event, November 8-12, 2021 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings / by: (Electronic resources)

Fundamentals of software engineering = 9th International Conference, FSEN 2021, virtual event, May 19-21, 2021 : revised selected papers / by: (Electronic resources)

Systems, software and services process improvement = 27th European Conference, EuroSPI 2020, Dusseldorf, Germany, September 9-11, 2020 : proceedings / by: (Electronic resources)

Model-based safety and assessment = 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings / by: (Electronic resources)

Rules and reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (Electronic resources)

Telematics and computing = 9th International Congress, WITCOM 2020, Puerto Vallarta, Mexico, November 2-6, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Dependable software engineering = theories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / by: (Electronic resources)

Product-focused software process improvement = 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020 : proceedings / by: (Electronic resources)

Human-centered software engineering = 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, the Netherlands, November 30 - December 2, 2020 : proceedings / by: (Electronic resources)

Testing software and systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings / by: (Electronic resources)

Current trends in web engineering = ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9-12, 2020 : revised selected papers / by: (Electronic resources)

Dynamic logic = new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers / by: (Electronic resources)

Software engineering perspectives in intelligent systems = proceedings of 4th Computational Methods in Systems and Software 2020.. Vol.2 / by: (Electronic resources)

Software engineering perspectives in intelligent systems = proceedings of 4th Computational Methods in Systems and Software 2020.. Vol.1 / by: (Electronic resources)

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: (Electronic resources)

Static analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings / by: (Electronic resources)

Current trends in web engineering = ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019 : proceedings / by: (Electronic resources)

Advanced computing and systems for security.. Volume Ten by: (Electronic resources)

Formal aspects of component software = 17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (Electronic resources)

Product-focused software process improvement = 22nd international conference, PROFES 2021, Turin, Italy, November 26, 2021 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Rules and reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (Electronic resources)

Software engineering and formal methods = 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: (Electronic resources)

Frontiers in software engineering = first international conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021 : revised selected papers / by: (Electronic resources)

ICWE 2021 workshops = ICWE 2021 International Workshops, BECS and invited papers, Biarritz. France, May 18-21, 2021 : revised selected papers / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings / by: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)

Requirements engineering = foundation for software quality : 28th International Working Conference, REFSQ 2022, Birmingham, UL, March 21-24, 2022 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Testing software and systems = 33rd IFIP WG 6. 1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021 : proceedings / by: (Electronic resources)

Software quality = future perspectives on software engineering quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021 : proceedings / by: (Electronic resources)

Tests and proofs = 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings / by: (Electronic resources)

Web engineering = 22nd International Conference, ICWE 2022, Bari, Italy July 5-8, 2022 : proceedings / by: (Electronic resources)

Theoretical aspects of software engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 = 22nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 = 22nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part V / by: (Electronic resources)

Systems, software and services process improvement = 29th European Conference, EuroSPI 2022, European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022 : proceedings / by: (Electronic resources)

Human-centered software engineering = 9th IFIP WG 13. 2 International Working Conference, HCSE 2022, Eindhoven, the Netherlands, August 24-26, 2022 : proceedings / by: (Electronic resources)

Model checking software = 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (Electronic resources)

Model-based safety and assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings / by: (Electronic resources)

Software architecture = 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022 : proceedings / by: (Electronic resources)

Software engineering and formal methods = SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / by: (Electronic resources)

Formal aspects of component software = 18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings / by: (Electronic resources)

Meta heuristic techniques in software engineering and its applications = METASOFT 2022 / by: (Electronic resources)

Engineering software for modern challenges = first International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Dependable software engineering = theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings / by: (Electronic resources)

Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Patterns for time-triggered embedded systems : = building reliable applications with the 8051 family of microcontrollers / by: (Language materials, printed)

Software engineering application in systems design = proceedings of 6th Computational Methods in Systems and Software 2022.. Volume 1 / by: (Electronic resources)

Data science and algorithms in systems = proceedings of 6th Computational Methods in Systems and Software 2022.. Vol. 2 / by: (Electronic resources)

Computer performance engineering = 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022 : proceedings / by: (Electronic resources)

Software engineering and formal methods -- SEFM 2022 collocated workshops = AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022 / by: (Electronic resources)

Dynamic logic : new trends and applications = 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / by: (Electronic resources)

Big data, cloud computing, and data science engineering by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing 2022-Winter by: (Electronic resources)

Sustainability in software engineering and business information management = proceedings of the conference SSEBIM 2022 / by: (Electronic resources)

End-user development = 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023 : proceedings / by: (Electronic resources)

Web engineering = 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023 : proceedings / by: (Electronic resources)

Theoretical aspects of software engineering = 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VII / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VIII / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 = 23rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 = 23rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IX / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part II / by: (Electronic resources)

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: (Electronic resources)

Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part I / by: (Electronic resources)

Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part II / by: (Electronic resources)

Information, communication and computing technology = 8th International Conference, ICICCT 2023, New Delhi, India, May 27, 2023 : revised selected papers / by: (Electronic resources)

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Electronic resources)

Testing software and systems = 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings / by: (Electronic resources)

Applied computer sciences in engineering = 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023 : proceedings / by: (Electronic resources)

Telematics and computing = 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (Electronic resources)

Security protocols XXVIII = 28th International Workshop, Cambridge, UK, March 27-28, 2023 : revised selected papers / by: (Electronic resources)

Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (Electronic resources)

Product-focused software process improvement = 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.. Part I / by: (Electronic resources)

Product-focused software process improvement = 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.. Part II / by: (Electronic resources)

Search-based software engineering = 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023 : proceedings / by: (Electronic resources)

Information and software technologies = 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023 : proceedings / by: (Electronic resources)

Software engineering methods in systems and network systems = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 1 / by: (Electronic resources)

Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Software engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 2003, selected revised papers / by: (Language materials, printed)

Software product-family engineering = 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers / by: (Language materials, printed)

Product focused software process improvement = 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 ; proceedings / by: (Language materials, printed)

Radical Innovations of Software and Systems Engineering in the Future = 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers / by: (Language materials, printed)

Scientific engineering of distributed Java applications = third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers/ by: (Language materials, printed)

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: (Language materials, printed)

Rapid Integration of Software Engineering Techniques = First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by: (Language materials, printed)

Product Focused Software Process Improvement = 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings / by: (Language materials, printed)

E-Commerce and Web Technologies = 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings / by: (Language materials, printed)

Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers by: (Language materials, printed)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (Language materials, printed)

Proceedings of the fifth Workshop on Algorithm Engineering and Experiments by: (Language materials, printed)

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering by: (Language materials, printed)

Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (Language materials, printed)

Software engineering research, management and application by: (Language materials, printed)

Information systems and e-business technologies : = 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008 : proceedings / by: (Language materials, printed)

Data & knowledge engineering. by: (Language materials, printed)

IEEE transactions on software engineering. by: (Language materials, printed)

Sigsoft Software Engineering Notes : = an informal newsletter of the Special Interest Committee on Software Engineering / by: (Language materials, printed)

Agent-Oriented Software Engineering III = third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions / by: (Language materials, printed)

Algebraic methodology and software technology = 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings / by: (Language materials, printed)

Languages, compilers, and run-time systems for scalable computers = 4th international workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers / by: (Language materials, printed)

Product focused software process improvement = Second International Conference PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings / by: (Language materials, printed)

Advances in learning software organizations = third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings / by: (Language materials, printed)

Algorithm engineering = 4th international workshop, WAE 2000, Saarbrucken, germany, September 5-8 2000 : proceedings / by: (Language materials, printed)

Algorithm engineering = 5th international workshop, WAE 2001, Aarhus, Denmark, August 28-31, 2001 : proceedings / by: (Language materials, printed)

Electronic commerce and Web technologies = second international conference, EC-WEB 2001, Munich, Germany, September 4-6, 2001 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Product focused software process improvement = third international conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / by: (Language materials, printed)

FST TCS 2002 = foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings / by: (Language materials, printed)

Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings / by: (Language materials, printed)

Agile processes in software engineering and extreme programming = 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010 : proceedings / by: (Language materials, printed)

Software engineering approaches for offshore and outsourced development = 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010 : proceedings / by: (Language materials, printed)

Foundations of computer software = future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / by: (Language materials, printed)

Software engineering research, management and applications 2010 by: (Language materials, printed)

Software engineering, artificial intelligence, networking and parallel/distributed computing 2010 by: (Language materials, printed)

Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (Electronic resources)

Knowledge engineering and semantic web = 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016 : proceedings / by: (Electronic resources)

Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (Electronic resources)

Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (Electronic resources)

Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: (Electronic resources)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Electronic resources)

Software architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings / by: (Electronic resources)

Product-focused software process improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (Electronic resources)

Software engineering and methodology for emerging domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / by: (Electronic resources)

Agile processes in software engineering and extreme programming = 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Knowledge engineering and semantic web = 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017 : proceedings / by: (Electronic resources)

Information, communication and computing technology = Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017 : revised selected papers / by: (Electronic resources)

Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (Electronic resources)

Information technology - new generations = 14th International Conference on Information Technology / by: (Electronic resources)

Trends and applications in software engineering = proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017) / by: (Electronic resources)

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: (Electronic resources)

Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings / by: (Electronic resources)

Nordic contributions in IS research = 9th Scandinavian Conference on Information Systems, SCIS 2018, Odder, Denmark, August 5-8, 2018 : proceedings / by: (Electronic resources)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (Electronic resources)

Artificial intelligence and algorithms in intelligent systems = proceedings of 7th Computer Science On-line Conference 2018.. Volume 2 / by: (Electronic resources)

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: (Electronic resources)

Information science and applications 2018 = ICISA 2018 / by: (Electronic resources)

Knowledge-based software engineering: 2018 = proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece / by: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)

Software engineering research, management and applications by: (Electronic resources)

Computer and communication engineering = first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018 : proceedings / by: (Electronic resources)

Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (Electronic resources)

Web engineering = 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (Electronic resources)

Artificial intelligence methods in intelligent algorithms = proceedings of 8th Computer Science On-line Conference 2019.. Vol. 2 / by: (Electronic resources)

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: (Electronic resources)

Big data, cloud computing, data science & engineering by: (Electronic resources)

Computational statistics and mathematical modeling methods in intelligent systems = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 2 / by: (Electronic resources)

Intelligent systems applications in software engineering = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 1 / by: (Electronic resources)

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: (Electronic resources)

CMM implementation guide : = choreographing software process improvement / by: (Language materials, printed)

Model-driven engineering and software development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Systems and information sciences = proceedings of ICCIS 2020 / by: (Electronic resources)

Software engineering in IoT, big data, cloud and mobile computing by: (Electronic resources)

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: (Electronic resources)

Evaluation of novel approaches to software engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers / by: (Electronic resources)

From data to models and back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers / by: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)

Tests and proofs = 15th International Conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / by: (Electronic resources)

End-user development = 8th International Symposium, IS-EUD 2021, virtual event, July 6-8, 2021 : proceedings / by: (Electronic resources)

Proceedings of the First International Workshop on Intelligent Software Automation = ISEA 2020 / by: (Electronic resources)

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: (Electronic resources)

Systems, software and services process improvement = 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021 : proceedings / by: (Electronic resources)

Advancing technology industrialization through intelligent software methodologies, tools and techniques by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part VIII / by: (Electronic resources)

Computational science and its applications - ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.. Part IX / by: (Electronic resources)

Search-based software engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021 : proceedings / by: (Electronic resources)

Advances in software engineering, education, and e-Learning = proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 / by: (Electronic resources)

Information and software technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14-16, 2021 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)

Software engineering application in informatics = proceedings of 5th Computational Methods in Systems and Software 2021.. Vol. 1 / by: (Electronic resources)

Data science and intelligent systems = proceedings of 5th Computational Methods in Systems and Software 2021.. Vol. 2 / by: (Electronic resources)

Communication, smart technologies and innovation for society = proceedings of CITIS 2021 / by: (Electronic resources)

New perspectives in software engineering = proceedings of the 10th International Conference on Software Process Improvement (CIMPS 2021) / by: (Electronic resources)

Lean and agile software development = 6th International Conference, LASD 2022, virtual event, January 22, 2022 : proceedings / by: (Electronic resources)

Evaluation of novel approaches to software engineering = 16th International Conference, ENASE 2021, virtual event, April 26-27, 2021 : revised selected papers / by: (Electronic resources)

Recent innovations in computing = proceedings of ICRIC 2021.. Volume 1 / by: (Electronic resources)

Recent innovations in computing = proceedings of ICRIC 2021.. Volume 2 / by: (Electronic resources)

Advanced research in technologies, information, innovation and sustainability = first International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25-27, 2021 : proceedings / by: (Electronic resources)

Web engineering = 21st International Conference, ICWE 2021, Biarritz, France, May 18-21, 2021 : proceedings / by: (Electronic resources)

Human centred intelligent systems = proceedings of KES-HCI 2022 Conference / by: (Electronic resources)

Software technologies = 16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 Workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part VI / by: (Electronic resources)

Software engineering perspectives in systems = proceedings of 11th Computer Science On-line Conference 2022.. Volume 1 / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part II / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings / by: (Electronic resources)

Software engineering and formal methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings / by: (Electronic resources)

Software engineering research, management and applications by: (Electronic resources)

Formal methods and software engineering = 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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

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: (Electronic resources)

Product-focused software process improvement = 23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022 : proceedings / by: (Electronic resources)

Search-based software engineering = 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022 : proceedings / by: (Electronic resources)

Modelling and implementation of complex systems = proceedings of the 7th International Symposium, MISC 2022, Mostaganem, Algeria, October 30-31, 2022 / by: (Electronic resources)

New perspectives in software engineering = proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022) / by: (Electronic resources)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Electronic resources)

Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings / by: (Electronic resources)

Proceedings of International Conference on Recent Innovations in Computing. = ICRIC 2022 /. Volume 1 by: (Electronic resources)

Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2022.. Volume 2 / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part V / by: (Electronic resources)

Evaluation of novel approaches to software engineering = 17th International Conference, ENASE 2022, virtual event, April 25-26, 2022 : revised selected papers / by: (Electronic resources)

Software technologies = 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (Electronic resources)

Enterprise information systems = 24th International Conference, ICEIS 2022, virtual event, April 25-27, 2022 : revised selected papers / by: (Electronic resources)

Tests and proofs = 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings / by: (Electronic resources)

Software engineering research in system science = proceedings of 12th Computer Science On-line Conference 2023.. Volume 1 / by: (Electronic resources)

Artificial intelligence application in networks and systems = proceedings of 12th Computer Science On-line Conference 2023.. Volume 3 / by: (Electronic resources)

Networks and systems in cybernetics = proceedings of 12th Computer Science On-line Conference 2023.. Volume 2 / by: (Electronic resources)

Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (Electronic resources)

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (Electronic resources)

Information and software technologies = 28th International Conference, ICIST 2022, Kaunas, Lithuania, October 13-15, 2022 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (Electronic resources)

Advanced research in technologies, information, innovation and sustainability = third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023 : proceedings.. Part I / by: (Electronic resources)

Advanced research in technologies, information, innovation and sustainability = third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023 : proceedings.. Part III / by: (Electronic resources)

Advanced research in technologies, information, innovation and sustainability = third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023 : proceedings.. Part II / by: (Electronic resources)

Software, system, and service engineering = S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023 and 8th Workshop on Advances in Programming Languages, WAPL 2023, held as part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023 : revised selected papers / by: (Electronic resources)

Dependable software engineering = theories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings / by: (Electronic resources)

Formal aspects of component software = 19th International Conference, FACS 2023, virtual event, October 19-20, 2023 : revised selected papers / by: (Electronic resources)

Data analytics in system engineering = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 3 / by: (Electronic resources)

Data analytics in system engineering = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 4 / by: (Electronic resources)

Advances in intelligent system and smart technologies = proceedings of I2ST'23 / by: (Electronic resources)

Foundations of software science and computation structures = 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part I / by: (Electronic resources)

Fundamental approaches to software engineering = 27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings / by: (Electronic resources)

Foundations of software science and computation structures = 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 = 24th International Conference, Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part II / by: (Electronic resources)

Search-based software engineering = 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (Electronic resources)

Theoretical aspects of software engineering = 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part XI / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part IX / by: (Electronic resources)

Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers / by: (Electronic resources)

Model-driven engineering and software development = 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023 : revised selected papers / by: (Electronic resources)

Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part I / by: (Electronic resources)

Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part II / by: (Electronic resources)

Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2024 Workshops, DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024 : proceedings / by: (Electronic resources)

Rules and reasoning = 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings / by: (Electronic resources)

Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2023.. Volume 1 / by: (Electronic resources)

Software engineering methods in systems and network systems = proceedings of 7th Computational Methods in Systems and Software 2023.. Vol. 2 / by: (Electronic resources)

Advances in model and data engineering in the digitalization era = MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023 : proceedings / by: (Electronic resources)

Software technologies = 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023 : revised selected papers / by: (Electronic resources)

Information technology for management = solving social and business problems through IT : ITBS 2023 Main Track and ISM 2023 Thematic Track, held as part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023 : extended and revised selected papers / by: (Electronic resources)

Web engineering = 24th International Conference, ICWE 2024, Tampere, Finland, June 17-20, 2024 : proceedings / by: (Electronic resources)

Human-centered software engineering = 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 = 24th International Conference, Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part I / by: (Electronic resources)

Evaluation of novel approaches to software engineering = 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023 : revised selected papers / by: (Electronic resources)