Machine theory - Congresses.
Overview
| Works: | 92 works in 45 publications in 45 languages | |
|---|---|---|
Titles
Implementation and Application of Automata (vol. # 3845)10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /
by:
(Electronic resources)
Automata, Languages and Programming (vol. # 4051)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part I /
by:
(Electronic resources)
Implementation and Application of Automata (vol. # 4094)11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings /
by:
(Electronic resources)
Implementation and Application of Automata9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
by:
(Electronic resources)
Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(Electronic resources)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(Electronic resources)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Electronic resources)
Implementation and Applications of Automata13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by:
(Electronic resources)
Mathematical Foundations of Computer Science 200833rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Electronic resources)
Abstract State Machines, B and ZFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(Language materials, printed)
Language and automata theory and applicationssecond international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(Language materials, printed)
Abstract state machines 2003advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings /
by:
(Electronic resources)
Automata, languages and programming30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings /
by:
(Electronic resources)
Implementation and application of automata7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers /
by:
(Electronic resources)
Implementation and application of automata8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
by:
(Electronic resources)
Abstract state machines 2004advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
by:
(Electronic resources)
Automata, languages and programming31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
by:
(Electronic resources)
Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part I /
by:
(Electronic resources)
Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part II /
by:
(Electronic resources)
Implementation and application of automata14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings /
by:
(Electronic resources)
Mathematical foundations of computer science 200934th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /
by:
(Electronic resources)
Research and Education in Robotics - EUROBOT 2008International Conference, Heidelberg, Germany, May 22-24, 2008 : revised selected papers /
by:
(Electronic resources)
Infinity in Logic and ComputationInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
by:
(Electronic resources)
Automata implementationFirst International Workshop on Implementing Automata, WIA'96, London, Ontario, Canada, August 29-31, 1996 : revised papers /
by:
(Electronic resources)
Automata, languages, and programming24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
by:
(Electronic resources)
Automata implementationSecond International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers /
by:
(Electronic resources)
Automata, languages, and programming25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
by:
(Electronic resources)
Automata implementationthird International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers /
by:
(Electronic resources)
Automata, languages and programming26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
by:
(Electronic resources)
Abstract state machinestheory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 19-24, 2000 : proceedings /
by:
(Electronic resources)
Automata, languages and programming27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(Electronic resources)
Automata implementation4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers /
by:
(Electronic resources)
Automata, languages and programming28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
by:
(Electronic resources)
Implementation and application of automata5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
by:
(Electronic resources)
Machines, computations, and universalitythird international conference, MCU 2001 : Chisinau, Moldova, May 23-27 2001 : proceedings /
by:
(Electronic resources)
Process algebra and probabilistic methodsperformance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
by:
(Electronic resources)
Implementation and application of automata6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers /
by:
(Electronic resources)
Process algebra and probabilistic methodsperformance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /
by:
(Electronic resources)
Automata, languages and programming37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.part I /
by:
(Electronic resources)
Language and automata theory and applications4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
by:
(Electronic resources)
Implementation and application of automata15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
by:
(Electronic resources)
Language and automata theory and applications5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 : proceedings /
by:
(Electronic resources)
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part II /
by:
(Electronic resources)
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part I /
by:
(Electronic resources)
Descriptional complexity of formal systems13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(Electronic resources)
Implementation and application of automata16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(Electronic resources)
Implementation and application of automata17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
(Electronic resources)
Artificial general intelligence, 2008proceedings of the First AGI Conference /
by:
(Electronic resources)
Language and automata theory and applications8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(Electronic resources)
ABZ 2014the 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 /
by:
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(Electronic resources)
Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
by:
(Electronic resources)
Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
by:
(Electronic resources)
Implementation and application of automata19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(Electronic resources)
Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
by:
(Electronic resources)
Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
by:
(Electronic resources)
Implementation and application of automata20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
by:
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(Electronic resources)
Implementation and application of automata21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018 : proceedings /
by:
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings /
by:
(Electronic resources)
Implementation and Application of Automata22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings /
by:
(Electronic resources)
Implementation and application of automata23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020 : proceedings /
by:
(Electronic resources)
Rigorous state-based methods7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
by:
(Electronic resources)
Implementation and application of automata24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings /
by:
(Electronic resources)
Rigorous state-based methods8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021 : proceedings /
by:
(Electronic resources)
Implementation and application of automata25th International Conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings /
by:
(Electronic resources)
Implementation and application of automata26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022 : proceedings /
by:
(Electronic resources)
Rigorous state-based methods9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
(Electronic resources)
Implementation and application of automata27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects