検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Machinetheory -- Congresses
選択行を：
資料名所在
1Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 266).理数学 007.6:A
2Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 267).理数学 007.6:I
3Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / Timo Lepistö, Arto Salomaa (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 317).理数学 007.6:A
4Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 255 . Advances in Petri Nets 1986 ; pt. 2).理数学 007.6:P:2
5Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 / edited by W. Brauer, W. Reisig, and G. Rozenberg ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 254 . Advances in Petri Nets 1986 ; pt. 1).理数学 007.6:P:1
6Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning: Prediction and Discovery, June 25-29, 2006, Snowbird, Utah / Joseph Stephen Verducci, Xiaotong Shen, John Lafferty, editors. -- American Mathematical Society, c2007. -- (Contemporary mathematics ; v. 443).理数学 007.1:V
選択行を：
▲ページトップへ