選択資料から書架並びで前後20冊ずつを表示します。
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds
書庫2階
Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.)
書庫2階
Algorithm theory-SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 3-5, 1996 : proceedings / Rolf Karlsson, Andrzej Lingas (eds.)
書庫2階
Algorithm theory-SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings / Stefan Arnborg, Lars Ivansson (eds.)
書庫2階
Algorithm theory - SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings / Magnús M. Halldórsson (ed.)
書庫2階
The theory of computability : programs, machines, effectiveness and feasibility / R. Sommerhalder, S.C. van Westrhenen
書庫2階
Computability theory, semantics, and logic programming / Melvin Fitting
書庫2階
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor
書庫2階
Algorithmics : theory and practice / Gilles Brassard and Paul Bratley
書庫2階
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
書庫2階
Algorithm design : a recursion transformation framework / Marvin C. Paull
書庫2階
Goguen categories : a categorical approach to L-fuzzy relations / by Michael Winter
書庫2階
Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen
書庫2階