選択資料から書架並びで前後20冊ずつを表示します。
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階
Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm
書庫2階
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer
書庫2階
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen
書庫2階
Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv
書庫2階
Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
書庫2階
Automata, languages and programming : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings / edited by Laurent Kott
書庫2階
Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, ed
書庫2階
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / Timo Lepistö, Arto Salomaa (eds.)
書庫2階