関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Formallanguages
選択行を：
| 資料名 | 所在 |
| 1 | Algorithmic logic / G. Mirkowska and A. Salwicki. -- D. Reidel, . | 教養共５Ｆ英語 410.9:M |
| 2 | Automata, languages, and machines / Samuel Eilenberg ; v. A, v. B. -- Academic Press, 1974-1976. -- (Pure and applied mathematics ; 59). | 図書館(書庫) 535.5:E |
| 3 | 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 |
| 4 | 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 |
| 5 | Beyond words / G. Rozenberg, A. Salomaa, (eds.). -- Springer, c1997. -- (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3). | 理数学 007.1:H:3
教養共５Ｆ英語 007.1:H:3 |
| 6 | Computing meaning / edited by Harry Bunt, Reinhard Muskens and Elias Thijsse ; v. 1, v. 2 : pb, v. 2 : HB. -- Kluwer Academic, c1999-2001. -- (Studies in linguistics and philosophy ; v. 73, 77). | 教養共５Ｆ英語 801:B:1 |
| 7 | Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 / edited by R. Aguilar. -- North-Holland, 1976. | 図書館(書庫) 535.5:S |
| 8 | An introduction to formal languages and automata / Peter Linz. -- 3rd ed. -- Jones and Bartlett Publishers, c2001. | 図書館(書庫) 007.1:L |
| 9 | An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury, with contributions by James Pustejovsky ; : us, : gw. -- Springer-Verlag, c1988. -- (Texts and monographs in computer science ; . The AKM series in theoretical computer science). | 図書館(書庫) 007.6:M |
| 10 | Introduction to formal grammars / M. Gross, A. Lentin ; with a preface by Noam Chomsky ; translated by M. Salkoff. -- Springer-Verlag, 1970. | 図書館(書庫) 801.5:G |
選択行を：
|