検索条件
件名:LCSH:Formallanguages
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | | Algebraic semantics U.S. ( Lecture notes in computer science ; 99 ) | 中央図書館 | Irène Guessarian. | Springer-Verlag | 1981 | 中央5階洋 007.1||L 49||99 |
2 | | Array grammars, patterns and recognizers ( Series in computer science ; v. 18 ) | 中央図書館 | editor, P.S.P. Wang. | World Scientific | 1989 | 中央5階洋 548.16||A 79 |
3 | | 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 |
4 | | 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 |
5 | | 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 |
6 | | Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 317 ) | 中央図書館 | Timo Lepistö, Arto Salomaa (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||317 |
7 | | 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 |
8 | | Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 : gw , : us ( Lecture notes in computer science ; 62 ) | 中央図書館 | edited by G. Ausiello and C. Böhm | Springer-Verlag | 1978 | 中央5階洋 007.1||L 49||62 |
9 | | 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 |
10 | | A basis for theoretical computer science ( Texts and monographs in computer science[ The AKM series in theoretical computer science] ) | 中央図書館 | Michael A. Arbib, A.J. Kfoury, Robert N. Moll | Springer-Verlag | 1981 | 中央5階洋 548||A 67 |
選択行を:
|