関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Machinetheory
選択行を：
| 資料名 | 所在 |
| 1 | Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 266). | 理数学 007.6:A |
| 2 | Advances in the theory of computation and computational mathematics / edited by Lee L. Keener ; 1. -- Ablex Pub., c1996. | 理数学 007.1:K:1 |
| 3 | Algebraic automata theory / W.M.L. Holcombe. -- Cambridge University Press, 1982. -- (Cambridge studies in advanced mathematics ; 1). | 理数学 411.6:H |
| 4 | Automata, 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 |
| 5 | Automata, 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 |
| 6 | Automata theory / Matthew Simon. -- World Scientific, c1999. | 理数学 410.9:S |
| 7 | Automata theory : an engineering approach / Igor Aleksander, F. Keith Hanna. -- Crane Russak, c1975. -- (Computer systems engineering series). | 図書館(書庫) 548.3:A |
| 8 | Computation : finite and infinite machines / Marvin L. Minsky. -- Prentice-Hall, c1967. -- (Prentice-Hall series in automatic computation). | 図書館(書庫) 418.6:M666c |
| 9 | Computation theory and logic / Egon Börger (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 270). | 理数学 007.1:C |
| 10 | Computer algebra : symbolic and algebraic computation / edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. Albrecht ; : us, : au. -- 2nd ed. -- Springer-Verlag, c1983. | 理数学 412:C |
選択行を：
|