Machine theory - Congresses.
概要
| 作品: | 64 作品在 20 項出版品 20 種語言 | |
|---|---|---|
書目資訊
Implementation and application of automata : = 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings /
by:
(書目-語言資料,印刷品)
33rd Annual Symposium on Foundations of Computer Science : = October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers] /
by:
(書目-語言資料,印刷品)
34th Annual Symposium on Foundations of Computer Science : = November 3-5, 1993, Palo Alto, California : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Automata implementation = First International Workshop on Implementing Automata, WIA'96, London, Ontario, Canada, August 29-31, 1996 : revised papers /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines = theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 19-24, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
by:
(書目-語言資料,印刷品)
Rigorous state-based methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
by:
(書目-電子資源)
Rigorous state-based methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings /
by:
(書目-電子資源)
Rigorous state-based methods = 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024 : proceedings /
by:
(書目-電子資源)
Automata, languages and programming = 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines 2003 = advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Automata implementation = Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Automata implementation = third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(書目-語言資料,印刷品)
Automata implementation = 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Machines, computations, and universality = third international conference, MCU 2001 : Chisinau, Moldova, May 23-27 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題