Software engineering - Congresses.
Overview
| Works: | 622 works in 469 publications in 469 languages | |
|---|---|---|
Titles
15th International Conference on Software Engineering : = May 17-21, 1993, Baltimore, Maryland /
by:
(Language materials, printed)
16th International Conference on Software Engineering : = May 16-21, 1994, Sorrento, Italy /
by:
(Language materials, printed)
1998 IEEE Workshop on Application-Specific Software Engineering and Technology : = ASSET-98 : proceedings : March 26-28, 1998, Clarion Hotel and University of Texas at Dallas, Richardson, Texas/
by:
(Language materials, printed)
COTS-based software systems = Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings /
by:
(Electronic resources)
Advances in learning software organizations = 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Software engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 2003, selected revised papers /
by:
(Electronic resources)
Agent-oriented software engineering IV = 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers /
by:
(Electronic resources)
Software engineering for multi-agent systems II = research issues and practical applications /
by:
(Electronic resources)
Radical Innovations of Software and Systems Engineering in the Future = 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers /
by:
(Electronic resources)
Scientific engineering of distributed Java applications = third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers/
by:
(Electronic resources)
Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /
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)
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)
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)
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)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
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)
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
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)
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)
Sigsoft Software Engineering Notes : = an informal newsletter of the Special Interest Committee on Software Engineering /
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)
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)
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)
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)
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)
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)
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)
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)
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)
E-commerce and Web technologies = third international conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002 : 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)
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)
Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 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)
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)
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)
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)
Software engineering and methodology for emerging domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings /
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)
Proceedings of the 2015 International Conference on Software Engineering and Information Technology (SEIT2015) = Guilin, Guangxi, China, 26-28 June 2015 /
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)
Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : 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)
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)
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)
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)
Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings /
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)
Knowledge-based software engineering: 2018 = proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece /
by:
(Electronic resources)
Trends and applications in software engineering = proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018) /
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)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Electronic resources)
Computer and communication engineering = first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018 : proceedings /
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)
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)
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)
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)
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 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 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)
ICICCT 2019 = system reliability, quality control, safety, maintenance and management : applications to electrical, electronics and computer science and 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)
Model-driven engineering and software development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 /
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)
Software technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers /
by:
(Electronic resources)
New perspectives in software engineering = proceedings of the 9th International Conference on Software Process Improvement (CIMPS 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)
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)
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)
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)
Systems, software and services process improvement = 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 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)
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)
Computer algebra in scientific computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 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)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Electronic resources)
Frontiers in software engineering = first international conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021 : revised selected papers /
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)
Requirements engineering = foundation for software quality : 28th International Working Conference, REFSQ 2022, Birmingham, UL, March 21-24, 2022 : proceedings /
by:
(Electronic resources)
Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings /
by:
(Electronic resources)
Software product-family engineering = 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /
by:
(Electronic resources)
Product focused software process improvement = 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 ; proceedings /
by:
(Electronic resources)
FST TCS 2003 = foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings /
by:
(Electronic resources)
New trends in software methodologies, tools and techniques = proceedings of Lyee-W02 /
by:
(Electronic resources)
Formal Approaches to Agent-Based Systems = Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 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)
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)
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)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
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)
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 fifth Workshop on Algorithm Engineering and Experiments
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)
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)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
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)
Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 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)
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)
Algebraic methodology and software technology = 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings /
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)
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)
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)
Electronic commerce and web technologies = first international conference, EC-Web 2000, London, UK, September 4-6, 2000 : proceedings /
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)
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)
Agent-oriented software engineering = first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers /
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)
COTS-based software systems = first international conference, ICCBSS 2002, Orlando, FL, USA, February 4-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)
Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 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)
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)
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)
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)
Software engineering, artificial intelligence, networking and parallel/distributed computing 2010
by:
(Language materials, printed)
Proceedings of the 2nd international conference on intelligent technologies and engineering systems (ICITES2013)
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 systems: development, research, applications, education = 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 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 = 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)
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)
Agile processes in software engineering and extreme programming = 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017 : proceedings /
by:
(Electronic resources)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
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)
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)
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)
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)
Software engineering, artificial intelligence, networking and parallel/distributed computing
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)
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)
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)
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)
Artificial intelligence and algorithms in intelligent systems = proceedings of 7th Computer Science On-line Conference 2018.. Volume 2 /
by:
(Electronic resources)
Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : 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)
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)
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)
Learning technology for education challenges = 8th International Workshop, LTEC 2019, Zamora, Spain, July 15-18, 2019 : proceedings /
by:
(Electronic resources)
Artificial intelligence methods in intelligent algorithms = proceedings of 8th Computer Science On-line Conference 2019.. Vol. 2 /
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)
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)
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)
Proceedings of 6th International Conference in Software Engineering for Defence Applications = SEDA 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)
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)
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)
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)
Lean and agile software development = 5th International Conference, LASD 2021, Virtual Event, January 23, 2021 : proceedings /
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)
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 architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020 : proceedings /
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)
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)
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)
Search-based software engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021 : proceedings /
by:
(Electronic resources)
Information and software technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14-16, 2021 : 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)
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)
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)
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)
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)
ICWE 2021 workshops = ICWE 2021 International Workshops, BECS and invited papers, Biarritz. France, May 18-21, 2021 : revised selected papers /
by:
(Electronic resources)
Lean and agile software development = 6th International Conference, LASD 2022, virtual event, January 22, 2022 : proceedings /
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)
Evaluation of novel approaches to software engineering = 16th International Conference, ENASE 2021, virtual event, April 26-27, 2021 : revised selected papers /
by:
(Electronic resources)
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)
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)
Agent-Oriented Software Engineering III = third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions /
by:
(Language materials, printed)
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)
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)
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)
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)
Software quality = future perspectives on software engineering quality : 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021 : 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)
Computer safety, reliability, and security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings /
by:
(Electronic resources)
Formal aspects of component software = 18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings /
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)
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)
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)
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)
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
(Electronic resources)
Software engineering, artificial intelligence, networking and parallel/distributed computing 2022-Winter
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)
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)
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)
Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 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)
Information and software technologies = 28th International Conference, ICIST 2022, Kaunas, Lithuania, October 13-15, 2022 : 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)
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)
Search-based software engineering = 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024 : 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)
Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2023.. Volume 1 /
by:
(Electronic resources)
Cybernetics and control theory in systems = proceedings of 13th Computer Science On-line Conference 2024.. Volume 2 /
by:
(Electronic resources)
Software engineering methods design and application = proceedings of 13th Computer Science Online Conference 2024.. Volume 1 /
by:
(Electronic resources)
Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2023.. Volume 2 /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part VII /
by:
(Electronic resources)
Software and data engineering = 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024 : proceedings /
by:
(Electronic resources)
Current trends in web engineering = ICWE 2024 international workshops, BECS and WALS, Tampere, Finland, June 17, 2024 : revised selected papers /
by:
(Electronic resources)
Advanced research in technologies, information, innovation and sustainability = ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024 : revised selected papers.. Part II /
by:
(Electronic resources)
Advanced research in technologies, information, innovation and sustainability = ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024 : revised selected papers.. Part I /
by:
(Electronic resources)
Information and software technologies = 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024 : proceedings /
by:
(Electronic resources)
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024).. Volume 1
by:
(Electronic resources)
Advanced research in technologies, information, innovation and sustainability = 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024 : revised selected papers.. Part I /
by:
(Electronic resources)
Advanced research in technologies, information, innovation and sustainability = 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024 : revised selected papers.. Part II /
by:
(Electronic resources)
Advanced research in technologies, information, innovation and sustainability = 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024 : revised selected papers.. Part III /
by:
(Electronic resources)
Computing education research = 17th Annual ACM India Compute Conference, COMPUTE 2024, Gandhinagar, India, December 5-7, 2024 : proceedings /
by:
(Electronic resources)
Software, system, and service engineering = S3E 2024 Topical Area, held as part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, held as part of SEAA 2024, Paris, France, August 28-30, 2024 : revised selected papers /
by:
(Electronic resources)
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024).. Volume 2
by:
(Electronic resources)
Engineering trustworthy software systems = 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, tutorial lectures /
by:
(Electronic resources)
Model and data engineering = 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024 : proceedings /
by:
(Electronic resources)
Fundamental approaches to software engineering = 28th International Conference, FASE 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings /
by:
(Electronic resources)
Complex, intelligent and software intensive systems = proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025).. Volume 2 /
by:
(Electronic resources)
Complex, intelligent and software intensive systems = proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025).. Volume 1 /
by:
(Electronic resources)
Artificial intelligence and system engineering = proceedings of 8th Computational Methods in Systems and Software 2024.. Volume 2 /
by:
(Electronic resources)
Artificial intelligence for system oriented design = proceedings of 8th Computational Methods in Systems and Software 2024.. Volume 1 /
by:
(Electronic resources)
Research perspectives on software engineering and systems design = proceedings of 8th Computational Methods in Systems and Software 2024.. Volume 3 /
by:
(Electronic resources)
Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2024.. Volume 3 /
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)
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)
Tests and proofs = 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : 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)
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 = SAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : 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 = 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 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 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)
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)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Electronic resources)
Software engineering application in systems design = proceedings of 6th Computational Methods in Systems and Software 2022.. Volume 1 /
by:
(Electronic resources)
Data science and algorithms in systems = proceedings of 6th Computational Methods in Systems and Software 2022.. Vol. 2 /
by:
(Electronic resources)
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)
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)
Proceedings of International Conference on Recent Innovations in Computing. = ICRIC 2022 /. Volume 1
by:
(Electronic resources)
Sustainability in software engineering and business information management = proceedings of the conference SSEBIM 2022 /
by:
(Electronic resources)
Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2022.. Volume 2 /
by:
(Electronic resources)
End-user development = 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023 : proceedings /
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)
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)
Tests and proofs = 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings /
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)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
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)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 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)
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)
Dependable software engineering = theories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 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)
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)
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)
Web engineering = 24th International Conference, ICWE 2024, Tampere, Finland, June 17-20, 2024 : proceedings /
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)
Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
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)
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)
Machine learning methods in systems = proceedings of 13th Computer Science On-line Conference 2024.. Vol. 4 /
by:
(Electronic resources)
Formal methods and software engineering = 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024 : proceedings /
by:
(Electronic resources)
Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2023.. Volume 3 /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part IV /
by:
(Electronic resources)
Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings /
by:
(Electronic resources)
Tests and proofs = 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Model checking software = 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings /
by:
(Electronic resources)
Analytical and stochastic modelling techniques and applications = 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = software engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part IV /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = rigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = application areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part V /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = specification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.. Part III /
by:
(Electronic resources)
Dependable software engineering = theories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement. industry-, workshop-, and doctoral symposium papers = 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement = 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024 : proceedings /
by:
(Electronic resources)
Proceedings of International Conference on Computing and Communication Systems for Industrial Applications = ComSIA 2024 /
by:
(Electronic resources)
Testing software and systems = 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024 : proceedings /
by:
(Electronic resources)
Computer performance engineering = 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024 : revised selected papers /
by:
(Electronic resources)
Fundamentals of software engineering = 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings /
by:
(Electronic resources)
Human centred intelligent systems = proceedings of KES-HCIS 2024 conference /
by:
(Electronic resources)
End-user development = 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025 : proceedings /
by:
(Electronic resources)
Advanced information systems engineering = 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.. Part I /
by:
(Electronic resources)
Advanced information systems engineering = 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.. Part II /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2025 = 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025 : proceedings.. Part III /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2025 = 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025 : proceedings.. Part II /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2025 = 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025 : proceedings.. Part I /
by:
(Electronic resources)
Software engineering = emerging trends and practices in system development : proceedings of 14th Computer Science Online Conference 2025.. Volume 2 /
by:
(Electronic resources)
Show more
Fewer
Subjects