2017

Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

ESSoS (Symposium) (9th : 2017 : Bonn, Germany)

Cham : Springer, 2017

 

2018

Engineering secure software and systems : 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

ESSoS (Symposium) (10th : 2018 : Paris, France)

Cham, Switzerland : Springer, 2018

 

2010

Engineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings

ESSoS (Symposium) (2nd : 2010 : Pisa, Italy)



 

2011

Engineering secure software and systems : third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings

ESSoS (Symposium) (3rd : 2011 : Madrid, Spain)



 

2006

Engineering societies in the agents world VI : 6th international workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005 : revised selected and invited papers

ESAW 2005 (2005 : Kuşadası, Turkey)



 

2008

Engineering societies in the agents world VIII : 8th international workshop, ESAW 2007, Athens, Greece, October 22-24, 2007 : revised selected papers

ESAW 2007 (2007 : Athens, Greece)



 

2022

Engineering software for modern challenges : first International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers

ESMoC (Conference) (1st : 2021 : Johor, Malaysia)



 

2005

Engineering theories of software intensive systems

NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems (2004 : Marktoberdorf, Germany)



 

2019

Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

SETSS (International school) (4th : 2018 : Chongqing, China)

Cham, Switzerland : Springer, 2019

 

2020

Engineering trustworthy software systems : 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures

SETSS (International school) (5th : 2019 : Chongqing, China)

Cham, Switzerland : Springer, [2020]

 

2016

Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

International School on Engineering Trustworthy Software Systems (1st : 2014 : Chongqing, China)

Cham : Springer, 2016

 

2017

Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures

SETSS (International school) (2nd : 2016 : Chongqing, China)

Cham, Switzerland : Springer, 2017

 

2018

Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures

SETSS (International school) (3rd : 2017 : Chongqing, China)

Cham, Switzerland : Springer, 2018

 

2019

Enterprise information systems : 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, revised selected papers

International Conference on Enterprise Information Systems (20th : 2018 : Funchal, Portugal)

Cham, Switzerland : Springer, [2019]

 

2020

Enterprise information systems 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers

International Conference on Enterprise Information Systems (21st : 2019 : Ērakleion, Greece)

Cham : Springer, 2020

 

2021

Enterprise information systems : 22nd International Conference, ICEIS 2020, Virtual Event, May 5-7, 2020, revised selected papers

International Conference on Enterprise Information Systems (22nd : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

1987

ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987 : proceedings

European Software Engineering Conference (1st : 1987 : Strasbourg, France)



 

1989

ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings

European Software Engineering Conference (2nd : 1989 : University of Warwick)



 

1991

ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings

European Software Engineering Conference (3rd : 1991 : Milan, Italy)



 

2010

Evaluation of novel approaches to software engineering : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 ; Milan, Italy, May 9-10, 2009, Revised Selec

ENASE 2008 (2008 : Funchal, Madeira Islands)



 

2011

Evaluation of novel approaches to software engineering : 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010 : revised selected papers

ENASE (Conference) (5th : 2010 : Athens, Greece)



 

2013

Evaluation of novel approaches to software engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised selected papers

ENASE (Conference) (6th : 2011 : Beijing, China)



 

2013

Evaluation of novel approaches to software engineering : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised selected papers

ENASE (Conference) (7th : 2012 : Warsaw, Poland)



 

2013

Evaluation of novel approaches to software engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised selected papers

ENASE (Conference) (8th : 2013 : Angers, France)



 

2015

Evaluation of novel approaches to software engineering : 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014, Revised selected papers

ENASE (Conference) (9th : 2014 : Lisbon, Portugal)

Cham : Springer, 2015

 

2016

Evaluation of novel approaches to software engineering : 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised selected papers

ENASE (Conference) (10th : 2015 : Barcelona, Spain)

Switzerland : Springer, 2016

 

2016

Evaluation of novel approaches to software engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers

ENASE (Conference) (11th : 2016 : Rome, Italy)

Cham, Switzerland : Springer, 2016

 

2018

Evaluation of novel approaches to software engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers

ENASE (Conference) (12th : 2017 : Porto, Portugal)

Cham, Switzerland : Springer, 2018

 

2019

Evaluation of novel approaches to software engineering : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers

ENASE (Conference) (13th : 2018 : Funchal, Madeira Islands)

Cham, Switzerland : Springer, [2019]

 

2020

Evaluation of novel approaches to software engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

ENASE (Conference) (14th : 2019 : Ērakleion, Greece)

Cham : Springer, 2020

 

2021

Evaluation of novel approaches to software engineering : 15th international conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers

ENASE (Conference) (15th : 2020 : Online)

Cham : Springer, [2021]

 

2022

Evaluation of novel approaches to software engineering : 16th International Conference, ENASE 2021, Virtual event, April 26-27, 2021, Revised selected papers

ENASE (Conference) (16th : 2021 : Online)

Cham, Switzerland : Springer, 2022

 

2023

Evaluation of novel approaches to software engineering : 17th International Conference, ENASE 2022, virtual event, April 25-26, 2022, revised selected papers

ENASE (Conference) (17th : 2022 : Online)

Cham : Springer, [2023]

 

2013

Experimental algorithms : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, proceedings

SEA (Symposium) (12th : 2013 : Rome, Italy)



 

2014

Experimental algorithms : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29-July 1, 2014. Proceedings

SEA (Symposium) (13th : 2014 : Copenhagen, Denmark)

Cham : Springer, 2014

 

2015

Experimental algorithms : 14th International Symposium, SEA 2015, Paris, France, June 29-July 1, 2015, Proceedings

SEA (Symposium) (14th : 2015 : Paris, France)

Cham : Springer, 2015

 

2016

Experimental algorithms : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, proceedings

SEA (Symposium) (15th : 2016 : Saint Petersburg, Russia)

Switzerland : Springer, 2016

 

1993

Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings

 

2015

Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday

Cham : Springer, 2015

 

1998

The fifth IDEA International Workshop, Esplanade Hotel, Fremantle Western Australia ... 7-10 February, 1998

IDEA Workshop (5th : 1998 : Fremantle, Western Australia)

Adelaide, South Australia : The University of Adelaide, 1998

Request It 

1994

First International Workshop on Requirements Engineering : Foundations of Software Quality : REFSQ 94, Utrecht, Netherland, 6 - 7 June, 1994

International Workshop on Requirements Engineering: Foundations of Software Quality (1st : 1994 : Utrecht, Netherland)

Aachen, Netherlands : Verlag der Augustinus Buchhandlung, 1994

Request It 

2018

Fluent Conference, San Jose, CA 2018

Fluent (2018 : San Jose, Calif.) issuing body

[Place of publication not identified] : O'Reilly Media, 2018

 

2012

FM 2012 : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings

International Symposium of Formal Methods Europe (18th : 2012 : Paris, France)



 

2005

Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers

FAABS 2004 (2004 : Greenbelt, Md.)



 

2012

Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers

FACS (Symposium) (8th : 2011 : Oslo, Norway)



 

2020

Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings

FACS (Symposium) (16th : 2019 : Amsterdam, The Netherlands)

Cham, Switzerland : Springer, 2020

 

2021

Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings

FACS (Symposium) (17th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2022

Formal aspects of component software : 18th international conference, FACS 2022, virtual event, November 10-11, 2022, proceedings

FACS (Symposium) (18th : 2022 : Online)



 

2024

Formal aspects of component software : 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers

FACS (Symposium) (19th : 2023 : Online)

Cham : Springer, [2024]

 

2005

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)