close
1.

図書
図書
1. Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Košice, Slovakia, August 22-26, 1994 : proceedings (: gw ; : us)
Igor Prívara, Branislav Rovan, Peter Ružička, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 841
所蔵情報: loading…
2.

図書
図書
2. Selected topics in discrete mathematics : proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990
A.K. Kelmans, editor
出版情報: Providence, R.I. : American Mathematical Society, c1994
シリーズ名: American Mathematical Society translations ; Ser. 2 ; v. 158
所蔵情報: loading…
3.

図書
図書
3. Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings (: gw ; : us)
Andrzej M. Borzyszkowski, Stefan Sokołowski, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 711
所蔵情報: loading…
4.

図書
図書
4. Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings (: gw)
Jiří Wiedermann, Petr Hájek (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 969
所蔵情報: loading…
5.

図書
図書
5. Topology and computer science : proceedings of the symposium held in honour of Shin'ichi Kinoshita, Hiroshi Noguchi and Tatsuo Homma on the occasion of their sixtieth birthday
edited by Shin'ichi Suzuki
出版情報: Tokyo : Kinokuniya, c1987
所蔵情報: loading…
6.

図書
図書
6. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings (: gw ; : us)
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: loading…
7.

図書
図書
7. COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings (: gw ; : us)
P. Martin-Löf, G. Mints (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 417
所蔵情報: loading…