検索条件
件名：LCSH:Computers -- Congresses
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | 4th Refinement Workshop : proceedings of the 4th Refinement Workshop ( Workshops in computing ) | 中央図書館 | organised by BCS-FACS, 9-11 January 1991, Cambridge, Joseph M. Morris and Roger C. Shaw, eds | Springer-Verlag | 1991 | 中央５階洋 548.16||R 23||4 |
| 2 |  | Advances in computing and control : us ( Lecture notes in control and information sciences ; 130 ) | 中央図書館 | W.A. Porter, S.C. Kak, J.L. Aravena (editors). | Springer-Verlag | 1989 | 中央５階洋 501.9||L 49||130 |
| 3 |  | Complex systems, operational approaches in neurobiology, physics, and computers : proceedings of the International Symposium on Synergetics at Schloss Elmau, Bavaria, May 6-11, 1985 U.S. ( Springer series in synergetics ; v. 31 ) | 中央図書館 | editor, H. Haken. | Springer-Verlag | 1985 | 中央５階洋 007.1||C 85 |
| 4 |  | CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings : gw , : us ( Lecture notes in computer science ; 329 ) | 中央図書館 | E. Börger, H. Kleine Büning, M.M. Richter (eds.) | Springer-Verlag | 1988 | 中央５階洋 007.1||L 49||329 |
| 5 |  | Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings U.S. : pbk. ( Lecture notes in computer science ; 181 ) | 中央図書館 | edited by Mathai Joseph and Rudrapatna Shyamasundar. | Springer-Verlag | 1984 | 中央５階洋 007.1||L 49||181 |
| 6 | | Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings : gw , : us ( Lecture notes in computer science ; 363 ) | 中央図書館 | A.R. Meyer, M.A. Taitslin (eds.) | Springer-Verlag | 1989 | 中央５階洋 007.1||L 49||363 |
| 7 | | Machines, languages, and complexity U.S. : alk. paper ( Lecture notes in computer science ; 381 ) | 中央図書館 | 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 | Springer-Verlag | 1989 | 中央５階洋 007.1||L 49||381 |
| 8 | | STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 : gw , : us ( Lecture notes in computer science ; 182 ) | 中央図書館 | edited by K. Mehlhorn | Springer-Verlag | 1985 | 中央５階洋 007.1||L 49||182 |
| 9 | | STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 U.S. : pbk. ( Lecture notes in computer science ; 210 ) | 中央図書館 | edited by B. Monien and G. Vidal-Naquet. | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||210 |
| 10 | | Trends, techniques, and problems in theoretical computer science : selected contributions U.S. : pbk. ( Lecture notes in computer science ; 281 ) | 中央図書館 | 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Alica Kelemenová, Jozef Kelemen, eds. | Springer-Verlag | 1987 | 中央５階洋 007.1||L 49||281 |
選択行を：
|