Machine theory

Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings / by: (書目-電子資源)

Artificial general intelligence, 2008 = proceedings of the First AGI Conference / by: (書目-語言資料,印刷品)

Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: (書目-電子資源)

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 / by: (書目-電子資源)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings / by: (書目-電子資源)

Implementation and application of automata = 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings / by: (書目-電子資源)

Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part I / by: (書目-電子資源)

Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part II / by: (書目-電子資源)

Quantitative evaluation of systems = 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (書目-電子資源)

Language and automata theory and applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings / by: (書目-電子資源)

Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Implementation and application of automata = 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings / by: (書目-電子資源)

Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / by: (書目-電子資源)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / by: (書目-電子資源)