2005

Advances in computer science--ASIAN 2004 : higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai,

Asian Computing Science Conference (9th : 2004 : Chiang Mai, Thailand)



 

1984

Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984

International Colloquium on Automata, Languages, and Programming (11th : 1984 : Antwerp, Belgium)



 

1987

Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

International Colloquium on Automata, Languages, and Programming (14th : 1987 : Karlsruhe, Germany)



 

1994

Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings

International Colloquium on Automata, Languages, and Programming (21st : 1994 : Jerusalem)



 

2011

Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings.

International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)



 

2011

Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings.

International Colloquium on Automata, Languages, and Programming (38th : 2011 : Zurich, Switzerland)



 

2012

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings.

International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)



 

2012

Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings.

International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)



 

2013

Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings.

International Colloquium on Automata, Languages, and Programming (40th : 2013 : Rīga, Latvia)



 

2013

Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings.

International Colloquium on Automata, Languages, and Programming (40th : 2013 : Rīga, Latvia)

Heidelberg : Springer, [2013]

 

2014

Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings.

International Colloquium on Automata, Languages, and Programming (41st : 2014 : Copenhagen, Denmark)

Heidelberg : Springer, 2014

 

2014

Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings.

International Colloquium on Automata, Languages, and Programming (41st : 2014 : Copenhagen, Denmark)

Heidelberg : Springer, 2014

 

2015

Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings.

International Colloquium on Automata, Languages and Programming (42nd : 2015 : Kyoto, Japan)

Heidelberg : Springer, 2015

 

2015

Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings.

International Colloquium on Automata, Languages and Programming (42nd : 2015 : Kyoto, Japan)

Heidelberg : Springer, 2015

 

1981

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981

International Colloquium on Automata, Languages, and Programming (8th : 1981 : Acre, Israel)

Berlin ; New York : Springer-Verlag, 1981

 

1978

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978

Colloquium on Automata, Languages, and Programming (5th : 1978 : Udine, Italy)



 

1977

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977

Colloquium on Automata, Languages, and Programming (4th : 1977 : Turun yliopisto)



 

1982

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982

International Colloquium on Automata, Languages, and Programming (9th : 1982 : Århus, Denmark)



 

1980

Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980

International Colloquium on Automata, Languages, and Programming (7th : 1980 : Noordwijkerhout, Netherlands)



 

2017

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

SAFECOMP (Conference) (36th : 2017 : Trento, Italy)

Cham : Springer International Publishing, 2017

 

2018

Computer safety, reliability, and security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

SAFECOMP (Conference) (37th : 2018 : Västerås, Sweden)

Cham, Switzerland : Springer, 2018

 

2019

Computer safety, reliability, and security : 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings

International Conference on Computer Safety, Reliability, and Security (38th : 2019 : Turku, Finland)

Cham : Springer, [2019]

 

2020

Computer safety, reliability, and security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings

SAFECOMP (Conference) (39th : 2020 : Online)



 

2021

Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)



 

2022

Computer safety, reliability, and security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2002, proceedings

SAFECOMP (Conference) (41st : 2022 : Munich, Germany)



 

2023

Computer safety, reliability, and security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

SAFECOMP (Conference) (42nd : 2023 : Toulouse, France)

Cham : Springer, 2023

 

2019

Computer safety, reliability, and security : SAFECOMP 2019 workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, proceedings

International Conference on Computer Safety, Reliability, and Security (38th : 2019 : Turku, Finland)

Cham : Springer, [2019]

 

2020

Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

SAFECOMP (Conference) (39th : 2020 : Lisbon, Portugal)



 

2021

Computer safety, reliability, and security : SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)

Cham : Springer, 2021

 

2022

Computer safety, reliability, and security : SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings

SAFECOMP (Conference) (41st : 2022 : Munich, Germany)



 

2023

Computer safety, reliability, and security : SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

SAFECOMP (Conference) (42nd : 2023 : Toulouse, France)

Cham : Springer, 2023

 

1998

Conference record of POPL '98 : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, San Diego, California, 19-21 January 1998

ACM Symposium on Principles of Programming Languages (25th : 1998 : San Diego, Calif.)

New York : ACM Press, [1998]

Request It 

2005

Database programming languages : 10th international symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers

International Workshop on Database Programming Languages (10th : Trondheim, Norway)

Berlin ; [Great Britain] : Springer, [2005]

Request It 

2005

Database programming languages : 10th International Sympsosium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers

International Symposium on Database Programming Languages (10th : 2005 : Trondheim, Norway)



 

2007

Database programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers

International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria)



 

2009

Database programming languages : 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009 : proceedings

International Symposium on Database Programming Languages (12th : 2007 : Lyon, France)



 

2004

Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers

International Workshop on Declarative Agent Languages and Technologies (1st : 2003 : Melbourne, Vic.)

Berlin ; New York : Springer, [2004]

Request It 

2005

Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

International Workshop on Declarative Agent Languages and Technologies (2nd : 2004 : New York, N.Y.)



 

2006

Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers

International Workshop on Declarative Agent Languages and Technologies (3rd : 2005 : Utrecht, Netherlands)



 

2006

Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers

International Workshop on Declarative Agent Languages and Technologies (4th : 2006 : Hakodate-shi, Japan)



 

2008

Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers

International Workshop on Declarative Agent Languages and Technologies (5th : 2007 : Honolulu, Hawaii)



 

1977

Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca

Berlin ; New York : Springer-Verlag, 1977

 

2007

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures

International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China)



 

1986

Esop 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 Proceedings

 

1988

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings

European Symposium on Programming (2nd : 1988 : Nancy, France)



 

1990

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings

European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark)



 

2018

Evolving OpenMP for evolving architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

IWOMP (Conference) (14th : 2018 : Barcelona, Spain)

Cham : Springer, 2018

 

2010

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Ital

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy)



 

2017

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

FORMATS (Conference) (15th : 2017 : Berlin, Germany)

Cham : Springer International Publishing, 2017

 

1991

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

REX School/Workshop (1990 : Noordwijkerhout, Netherlands)