選択資料から書架並びで前後20冊ずつを表示します。
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
書庫2階
Computational complexity and natural language / G. Edward Barton, Jr., Robert C. Berwick, Eric Sven Ristad
書庫2階
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
書庫2階
CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop (eds.)
書庫2階
Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds
書庫2階
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
書庫2階
Formal models of computation : the ultimate limits of computing / Arthur Fleck
書庫2階
Theoretical computer science / 3rd GI conference, Darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI. --
書庫2階
Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
書庫2階
Introduction to automata theory, languages, and computation / by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
書庫2階
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / edited by Jacques Loeckx
書庫2階
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby
書庫2階