検索条件
件名：LCSH:Machinetheory -- Congresses.
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | Advances in Petri nets, 1985 U.S. : pbk. ( Lecture notes in computer science ; 222 ) | 中央図書館 | edited by G. Rozenberg. | Springer-Verlag | 1986 | 中央５階洋 007.1||L 49||222 |
| 2 | | Advances in Petri nets, 1987 pbk. ( Lecture notes in computer science ; 266 ) | 中央図書館 | Grzegorz Rozenberg, ed. | Springer-Verlag | 1987 | 中央５階洋 007.1||L 49||266 |
| 3 | | Advances in Petri nets, 1990 ( Lecture notes in computer science ; 483 ) | 中央図書館 | Grzegorz Rozenberg (ed.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||483 |
| 4 | | 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 | 中央５階洋 007.1||L 49||194 |
| 5 | | 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 | 中央５階洋 007.1||L 49||226 |
| 6 | | Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings Springer-Verlag New York Berlin Heidelberg , Springer-Verlag Berlin Heidelberg New York ( Lecture notes in computer science ; 443 ) | 中央図書館 | M.S. Paterson (ed.). | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||443 |
| 7 |  | Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings Berlin , New York ( Lecture notes in computer science ; 510 ) | 中央図書館 | J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.). | Springer-Verlag | 1991 | 中央５階洋 007.1||L 49||510 |
| 8 | | Automata on infinite words U.S. : pbk. ( Lecture notes in computer science ; 192 ) | 中央図書館 | Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984, edited by M. Nivat and D. Perrin. | Springer-Verlag | 1985 | 中央５階洋 007.1||L 49||192 |
| 9 |  | Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings U.S. ( Lecture notes in computer science ; 208 ) | 中央図書館 | edited by Andrzej Skowron. | Springer-Verlag | 1985 | 中央５階洋 007.1||L 49||208 |
| 10 |  | CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science ; 458 ) | 中央図書館 | J.C.M. Baeten, J.W. Klop, eds. | Springer-Verlag | 1990 | 中央５階洋 007.1||L 49||458 |
選択行を：
|