検索条件
件名:LCSH:Programming(Electroniccomputers) -- Congresses
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 U.S. : pbk. ( Lecture notes in computer science ; 194 ) | 中央図書館 | edited by Wilfried Brauer. | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||194 |
2 | | Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings U.S. : pbk. ( Lecture notes in computer science ; 226 ) | 中央図書館 | edited by Laurent Kott. | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||226 |
3 | | Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings : gw , : us ( Lecture notes in computer science ; 267 ) | 中央図書館 | Thomas Ottmann, (ed.) | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||267 |
4 | | Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings : gw , : us ( Lecture notes in computer science ; 372 ) | 中央図書館 | G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.) | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||372 |
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 | 中央5階洋 007.1||L 49||181 |
6 | | Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 ( Lecture notes in computer science ; 45 ) | 中央図書館 | edited by A. Mazurkiewicz. | Springer-Verlag | 1976 | 中央5階洋 007.1||L 49||45 |
7 | | Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 ( Lecture notes in computer science ; 53 ) | 中央図書館 | edited by J. Gruska. | Springer-Verlag | 1977 | 中央5階洋 007.1||L 49||53 |
8 | | Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) : gw , : us ( Lecture notes in computer science ; 185[ Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1] ) | 中央図書館 | edited by Hartmut Ehrig ... [et al.] | Springer-Verlag | 1985 | 中央5階洋 007.1||L 49||185 |
選択行を:
|