選択資料から書架並びで前後20冊ずつを表示します。
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne
書庫2階
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5 1989 : proceedings / N. Dershowitz, ed
書庫2階
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings / Ronald V. Book, (ed.)
書庫2階
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings / Claude Kirchner (ed.)
書庫2階
Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)
書庫2階
Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
書庫2階
Rewriting techniques and applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / Hubert Comon (ed.)
書庫2階
Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)
書庫2階
Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.)
書庫2階
Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.)
書庫2階
Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
書庫2階
Elements of Automata Theory / Jacques Sakarovitch ; Translated by Reuben Thomas
書庫2階
Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan
書庫2階
Proceedings / Structure in Complexity Theory ... Annual Conference
1986
書庫2階
Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
書庫2階
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel
書庫2階