選択資料から書架並びで前後20冊ずつを表示します。
Graph-theoretic concepts in computer science : 27th International Workshop, WG 2001, Boltenhagen, Germany, June 14-16, 2001 : proceedings / Andreas Brandstädt, Van Bang Le (eds.)
書庫2階
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
書庫2階
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
書庫2階
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
書庫2階
Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.] (eds.)
書庫2階
Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 ; proceedings / Sergei Adian, Anil Nerode (eds.)
書庫2階
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
書庫2階
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994, proceeding / A. Nerode, Yu. V. Matiyasevich (eds.)
書庫2階
LATIN '92 : 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992 : proceedings / I. Simon (ed.)
: Berlin
書庫2階
LATIN '95 : theoretical informatics : second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings / Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete, (eds.)
書庫2階
Latin'98, theoretical informatics : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 : proceedings / Cláudio L. Lucchesi, Arnaldo V. Moura (eds.)
書庫2階
LATIN 2000 : theoretical informatics : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 : proceedings / Gastón H. Gonnet, Daniel Panario, Alfredo Viola (eds.)
書庫2階
LATIN 2002 : theoretical informatics : 5th Latin American Symposium, Cancun, Mexico, April 3-6 2002 : proceedings / Sergio Rajsbaum (ed.)
書庫2階
Next generation information technologies and systems : 4th International Workshop, NGITS'99, Zikhron-Yaakov, Israel, July 5-7, 1999 : proceedings / Ron Y. Pinter, Shalom Tsur (eds.)
書庫2階
New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings / H. Maurer (ed.)
書庫2階
Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg (eds.)
書庫2階
Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / Lech Polkowski, Andrzej Skowron, eds
書庫2階
Rough sets and current trends in computing : second International Conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers / Wojciech Ziarko, Yiyu Yao (eds.)
書庫2階
Randomization and approximation techniques in computer science : International Workshop RANDOM '97, Bologna, Italy, July 11-12, 1997 : proceedings / José Rolim (ed.)
書庫2階