選択資料から書架並びで前後20冊ずつを表示します。
Application and theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings / Mogens Nielsen, Dan Simpson (eds.)
書庫2階
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings / José-Manuel Colom, Maciej Koutny (eds.)
書庫2階
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階