検索条件
件名:LCSH:Formallanguages -- 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 : sixth colloquium, Graz, Austria, July 16-20, 1979 ( Lecture notes in computer science ; 71 ) | 中央図書館 | edited by Hermann A. Maurer. | Springer-Verlag | 1979 | 中央5階洋 007.1||L 49||71 |
4 | | Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 ( Lecture notes in computer science ; 73. ) | 中央図書館 | edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg. | Springer-Verlag | 1979 | 中央5階洋 007.1||L 49||73 |
5 | | 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 |
6 | | 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 |
7 | | Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981 New York ( Lecture notes in computer science ; 118. ) | 中央図書館 | edited by J. Gruska and M. Chytil. | Springer-Verlag | 1981 | 中央5階洋 007.1||L 49||118 |
8 | | Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 U.S. : pbk. , U.S. ( Lecture notes in computer science ; 233 ) | 中央図書館 | edited by J. Gruska, B. Rovan, and J. Wiedermann. | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||233 |
9 | | Methods of algorithmic language implementation ( Lecture notes in computer science ; 47 ) | 中央図書館 | edited by A. Ershov and C. H. A. Koster. | Springer-Verlag | 1977 | 中央5階洋 007.1||L 49||47 |
10 | | Theoretical computer science ( Lecture notes in computer science ; 48 ) | 中央図書館 | 3rd GI conference, Darmstadt, March 28-30, 1977, edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI. | Springer-Verlag | 1977 | 中央5階洋 007.1||L 49||48 |
選択行を:
|