Machine theory - Congresses.
Overview
| Works: | 63 works in 19 publications in 19 languages | |
|---|---|---|
Titles
Implementation and application of automata : = 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
by:
(Language materials, printed)
Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(Language materials, printed)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(Language materials, printed)
Abstract state machines 2003 = advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings /
by:
(Language materials, printed)
Automata implementation = First International Workshop on Implementing Automata, WIA'96, London, Ontario, Canada, August 29-31, 1996 : revised papers /
by:
(Language materials, printed)
Automata, languages, and programming = 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
by:
(Language materials, printed)
Automata implementation = Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers /
by:
(Language materials, printed)
Automata, languages, and programming = 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
by:
(Language materials, printed)
Process algebra and probabilistic methods = performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings/
by:
(Language materials, printed)
Language and automata theory and applications = 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020 : proceedings /
by:
(Electronic resources)
Implementation and application of automata = 24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019 : proceedings /
by:
(Electronic resources)
Implementation and application of automata = 25th International Conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
(Electronic resources)
33rd Annual Symposium on Foundations of Computer Science : = October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers] /
by:
(Language materials, printed)
34th Annual Symposium on Foundations of Computer Science : = November 3-5, 1993, Palo Alto, California : proceedings /
by:
(Language materials, printed)
Groups, languages and geometry : = 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College /
by:
(Language materials, printed)
Abstract state machines 2004 = advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
by:
(Language materials, printed)
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(Language materials, printed)
Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
by:
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers /
by:
(Language materials, printed)
Implementation and application of automata = 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
by:
(Language materials, printed)
Abstract state machines 2004 = advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
by:
(Language materials, printed)
Artificial general intelligence, 2008 : = proceedings of the First AGI Conference /
by:
(Language materials, printed)
Automata implementation = third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers /
by:
(Language materials, printed)
Implementation and application of automata = 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers /
by:
(Language materials, printed)
Automata, languages and programming = 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
by:
(Language materials, printed)
Abstract state machines = theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 19-24, 2000 : proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(Language materials, printed)
Automata implementation = 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers /
by:
(Language materials, printed)
Automata, languages and programming = 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
by:
(Language materials, printed)
Machines, computations, and universality = third international conference, MCU 2001 : Chisinau, Moldova, May 23-27 2001 : proceedings /
by:
(Language materials, printed)
Process algebra and probabilistic methods = performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings/
by:
(Language materials, printed)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I /
by:
(Language materials, printed)
Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
by:
(Language materials, printed)
Language and automata theory and applications = 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018 : proceedings /
by:
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings /
by:
(Electronic resources)
Implementation and Application of Automata = 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications = 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021 : proceedings /
by:
(Electronic resources)
Rigorous state-based methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
by:
(Electronic resources)
Rigorous state-based methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems = 23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings /
by:
(Electronic resources)
Implementation and application of automata = 26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022 : proceedings /
by:
(Electronic resources)
Rigorous state-based methods = 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects