Lecture Notes in Computer Science 4596 Automata
Languages and Programming 34th International Colloquium2007 年出版953 页ISBN：
Lecture Notes in Computer Science 4051 Automata
Languages and Programming 33rd International Colloquium2006 年出版729 页ISBN：
Lecture Notes in Computer Science 2380 Automata
Languages and Programming 29th International Colloquium2002 年出版1069 页ISBN：
Lecture Notes in Computer Science 3580 Automata
Languages and Programming 32nd International Colloquium2005 年出版1477 页ISBN：
Lecture Notes in Computer Science 4052 Automata
Languages and Programming 33rd International Colloquium2006 年出版603 页ISBN：
Lecture Notes in Computer Science 226 Automata
Languages and Programming 13th International Colloquium1986 年出版473 页ISBN：3540167617
Lecture Notes in Computer Science 623 Automata
Languages and Programming 19th International Colloquium1992 年出版719 页ISBN：3540557199
Lecture Notes in Computer Science 317 Automata
Languages and Programming 15th International Colloquium1988 年出版741 页ISBN：3540194886
Research Methods in Human-Computer Interaction
Jonathan Lazar2017 年出版534 页ISBN：
formal Methods in human-Computer Interaction
Michael Harrison1990 年出版323 页ISBN：
