検索条件
件名：LCSH:Computerscience -- Mathematics -- Congresses.
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings Berlin , New York ( Lecture notes in computer science ; 417 ) | 中央図書館 | P. Martin-Löf, G. Mints, eds. | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||417 |
| 2 | | Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 U.S. : pbk. ( Lecture notes in computer science ; 176 ) | 中央図書館 | edited by M.P. Chytil and V. Koubek. | Springer-Verlag | 1984 | 中央５階洋 007.1||L 49||176 |
| 3 | | Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 U.S. ( Lecture notes in computer science ; 324 ) | 中央図書館 | M.P. Chytil, L. Janiga, V. Koubek, eds. | Springer-Verlag | 1988 | 中央５階洋 007.1||L 49||324 |
| 4 | | Mathematical foundations of computer science 1989 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings U.S. ( Lecture notes in computer science ; 379 ) | 中央図書館 | MFCS '89, A. Kreczmar, G. Mirkowska (eds.). | Springer-Verlag | 1989 | 中央５階洋 007.1||L 49||379 |
| 5 | | Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science ; 452 ) | 中央図書館 | B. Rovan, ed. | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||452 |
| 6 | | Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings Berlin , New York ( Lecture notes in computer science ; 520 ) | 中央図書館 | A. Tarlecki (ed.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||520 |
| 7 |  | MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings U.S. : alk. paper ( Lecture notes in computer science ; 364 ) | 中央図書館 | J. Demetrovics, B. Thalheim, eds. | Springer-Verlag | 1989 | 中央５階洋 007.1||L 49||364 |
| 8 | | MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings U.S. ( Lecture notes in computer science ; 495 ) | 中央図書館 | B. Thalheim, J. Demetrovics, H.-D. Gerhardt (eds.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||495 |
選択行を：
|