yr 〜
yr

Search results 14

DNAコンピューティング : 新しい計算パラダイム

DNAコンピューティング : 新しい計算パラダイム
Paper図書
G.パウン, G.ローゼンバーグ, A.サローマ 著, 横森貴, 榊原康文, 小林聡 訳シュプリンガー・フェアラーク東京1999.12<M121-G203>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00794319 00794320 00455202 00200023 00794321 00794322

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds. (Lecture notes in computer science ; 1261)

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds. (Lecture notes in computer science ; 1261)
Paper図書
Springerc1997.<M154-A302>
National Diet Library
  • Author Heading (ID)00794320 00455202

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg, (eds.). (Lecture notes in computer science)

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg, (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9221>
National Diet Library
  • Author Heading (ID)00455202 00794320

New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa, eds. (Lecture notes in computer science ; 1218)

New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa, eds. (Lecture notes in computer science ; 1218)
Paper図書
Springerc1997.<M159-A193>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00794319 00455202

公開鍵暗号系 (情報科学セミナー)

公開鍵暗号系 (情報科学セミナー)
PaperDigital図書
アルト・サロマー 著, 足立暁生 訳東京電機大学出版局1992.7<M151-E140>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00455202 00000400

Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings / Timo Lepistö, Arto Salomaa (eds.). (Lecture notes in computer science)

Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings / Timo Lepistö, Arto Salomaa (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4121>
National Diet Library
  • Author Heading (ID)00455202

計算論とオートマトン理論 (Information & computing ; 28)

計算論とオートマトン理論 (Information & computing ; 28)
PaperDigital図書
A.サローマ 著, 野崎昭弘 [ほか]共訳サイエンス社1988.10<MA41-E13>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00455202 00056794

Computation and automata / Arto Salomaa. (Encyclopedia of mathematics and its applications ; v. 25)

Computation and automata / Arto Salomaa. (Encyclopedia of mathematics and its applications ; v. 25)
Paper図書
Cambridge University Press1985.<MA41-A48>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00455202

Jewels of formal language theory / Arto Salomaa.

Jewels of formal language theory / Arto Salomaa.
Paper図書
Pitman1981.<MA41-170>
National Diet Library
  • Author Heading (ID)00455202

The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa. (Pure and applied mathematics, a series of monographs and textbooks ; 90)

The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa. (Pure and applied mathematics, a series of monographs and textbooks ; 90)
Paper図書
Academic Press1980.<MA41-159>
National Diet Library
  • Author Heading (ID)00794320 00455202

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby. (Lecture notes in computer science ; 52)

Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby. (Lecture notes in computer science ; 52)
Paper図書
Springer-Verlag1977.<M159-62>
National Diet Library
  • Author Heading (ID)00455202

オートマトン論

オートマトン論
PaperDigital図書
Arto Salomaa 著, 北川敏男, 佐藤優子 共訳共立出版1974<MA41-52>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00455202 00032111 00068248

Formal languages. (ACM monograph series)

Formal languages. (ACM monograph series)
Paper図書
Academic Press1973.<MA41-75>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00455202

L systems. Edited by Grzegorz Rozenberg and Arto Salomaa. (Lecture notes in computer science, 15)

L systems. Edited by Grzegorz Rozenberg and Arto Salomaa. (Lecture notes in computer science, 15)
Paper図書
Springer-Verlag1974.<RA111-201>
National Diet Library
  • Author Heading (ID)00794320 00455202

Reached to the end of result.