Machine theory
概観
| 著作: | 26 作品に 25 出版物中に 25 言語 | |
|---|---|---|
タイトル
Theory is forever; essays dedicated to Arto Salomaa on the Occasion of his 70th birthday
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Artificial general intelligence, 2008[electronic resource] :proceedings of the First AGI Conference /
…で:
(言語・文字資料 (印刷物))
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Quantitative evaluation of systems[electronic resource] :11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Implementation and application of automata[electronic resource] :19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Implementation and application of automata[electronic resource] :20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Quantitative evaluation of systems[electronic resource] :12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
主題