1973

1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973

Fachtagung über Automatentheorie und Formale Sprachen (1st : 1973 : Bonn, Germany)



 

2023

200 problems on languages, automata, and computation

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023

 

2005

Abstract computing machines : a lambda calculus perspective

Kluge, Werner (Werner E.)



 

2014

Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

ABZ (Conference) (4th : 2014 : Toulouse, France)

Heidelberg : Springer, 2014

 

2016

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

ABZ (Conference) (5th : 2016 : Linz, Austria)

Switzerland : Springer, 2016

 

2018

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

ABZ (Conference) (6th : 2018 : Southampton, England)

Cham, Switzerland : Springer, 2018

 

2008

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings

ABZ (Conference) (1st : 2008 : London, England)



 

2014

ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

ABZ (Conference) (4th : 2014 : Toulouse, France)

Cham : Springer, 2014

 

1985

Advances in Petri nets, 1984

 

1986

Advances in Petri nets, 1985

 

1988

Advances in Petri Nets 1988

 

1990

Advances in Petri nets, 1989

 

1991

Advances in Petri nets 1990

 

1991

Advances in Petri Nets, 1991

 

1992

Advances in Petri Nets, 1992

 

1993

Advances in Petri Nets, 1993

 

2004

Algebraic theory of automata and languages

Itō, Masami, 1941-



 

2011

Algorithmic foundations of robotics. selected contributions of the ninth International Workshop on the Algorithmic Foundations of Robotics

International Workshop on the Algorithmic Foundations of Robotics (9th : 2010 : National University of Singapore)



 

1976

Applied algebra for the computer sciences

Gill, Arthur, 1930-

Englewood Cliffs, N.J. : Prentice-Hall, [1976]

Request It 

2016

Archaeology of algorithmic artefacts

Link, David, author.
First edition
Minneapolis : Univocal Publishing, [2016]

 

1983

Are computers alive? : evolution and new life forms

Simons, G. L. (Geoffrey Leslie), 1939-

Brighton, Sussex : Harvester Press, 1983

Request It 

2001

Aspects of complexity : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000

 

1997

Automata and Computability

Kozen, Dexter C
N


 

2010

Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes

Puppis, Gabriele



 

1974

Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974.

Colloquium on Automata, Languages, and Programming (2nd : 1974 : University of Saarbrücken)



 

1983

Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983

International Colloquium on Automata, Languages, and Programming (10th : 1983 : Barcelona, Spain)



 

1984

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

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



 

1985

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

International Colloquium on Automata, Languages, and Programming (1985 : Nauplion, Greece)



 

1986

Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings

 

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)



 

1991

Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

International Colloquium on Automata, Languages, and Programming (18th : 1991 : Madrid, Spain)



 

1992

Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings

 

1993

Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings

International Colloquium on Automata, Languages, and Programming.



 

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)



 

1995

Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings

International Colloquium on Automata, Languages, and Programming (1995 : Szeged, Hungary)



 

1996

Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings

International Colloquium on Automata, Languages, and Programming (23rd : 1996 : Szeged, Hungary)



 

2005

Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings

International Colloquium on Automata, Languages, and Programming (32nd : 2005 : Lisbon, Portugal)



 

2006

Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings

International Colloquium on Automata, Languages, and Programming (33rd : 2006 : Venice, Italy)



 

2007

Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings

International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wrocław, Poland)



 

2009

Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings.

International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece)



 

2009

Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings.

International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece)



 

2010

Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 ; proceedings.

International Colloquium on Automata, Languages, and Programming (37th : 2010 : Bordeaux, France)



 

2010

Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings.

International Colloquium on Automata, Languages, and Programming (37th : 2010 : Bordeaux, France)



 

2010

Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings

International Colloquium on Automata, Languages, and Programming (37th : 2010 : Bordeaux, Aquitaine, France)



 

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)



 

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