検索条件入力書誌詳細 > 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
著者名典拠情報
NCIDDA00014570
名称(HDNG)Salomaa, Arto, 1934-
生没年(DATE)1934-
から見よ(SF)Salomaa, A.
サローマ, A.
注記(NOTE)Author's Theory of automata, 1969
b. 1934; professor of mathematics, University of Turku, Finland
His EACTS monographs on theoretical computer science (W. Brauer, G. Rozenberg)
LCAID50016575
選択行を:
11 件中の 1-1012
資料名所在
1Automata, 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
2Public-key cryptography / Arto Salomaa ; : gw, : us. -- Springer-Verlag, c1990. -- (EATCS monographs on theoretical computer science ; v. 23).理数学 007.6:S
3Chinese remainder theorem : applications in computing, coding, cryptography / C. Ding, D. Pei, A. Salomaa. -- World Scientific, c1996.理数学 007.2:D
4Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.). -- Springer, c1997. -- (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2).理数学 007.1:H:2
教養共5F英語 007.1:H:2
5DNA computing : new computing paradigms / G. Păun, G. Rozenberg, A. Salomaa. -- Springer, c1998. -- (Texts in theoretical computer science ; An EATCS series).理数学 549.9:P
6Computation and automata / Arto Salomaa. -- Cambridge University Press, 1985. -- (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 25).図書館(書庫) 007.1:S
7Semirings, automata, languages / Werner Kuich, Arto Salomaa ; : us, : gw. -- Springer-Verlag, c1986. -- (EATCS monographs on theoretical computer science ; v. 5).図書館(書庫) 410.9:K
8DNAコンピューティング : 新しい計算パラダイム / G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳. -- シュプリンガー・フェアラーク東京, 1999.12.図書館(閲覧室) 007.1:P
9Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.). -- Springer, c1997. -- (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1).理数学 007.1:H:1
教養共5F英語 007.1:H:1
10Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; : set. -- Springer, c1997. 
11 件中の 1-1012
選択行を