Blank Cover Image
所蔵情報QRコード

Automata theoretical studies of ω-languages and Petri nets / Hideki Yamasaki

資料種別:
学位論文
出版情報:
東京工業大学, 1988
著者名:
山崎, 秀記  
書誌ID:
1000271289
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 図書 情報科学の基礎 : 記法・概念・計算とアルゴリズム

山崎, 秀記(1949-)

サイエンス社
7 図書 Finite representations of CCS and TCSP programs by automata and Petri nets (: gw ; : us)

Taubner, Dirk, 1959-

Springer-Verlag
2 図書 Delphiによるプログラミング入門

山崎, 秀記(1949-)

培風館
8 電子ブック Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

Taubner, Dirk A., SpringerLink (Online service)
3 図書 計算理論と論理プログラミング

Fitting, Melvin Chris, 山崎, 秀記(1949-)

丸善
9 電子ブック Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Taubner

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 遊びの発見

Dewdney, Alexander Keewatin, 山崎, 秀記(1949-)

日経サイエンス
10 学位論文 Studies on structure and function of pyrimidine/purine-Based sequences originated from the 5'- and 3'-regulatory regions of basidiomycete lentinus edodes genes

山崎, 丘

東京工業大学, 2001
5 図書 直流機

山崎, 秀夫

コロナ社
11 電子ブック Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems

Liu, Guanjun.

SpringerLink Books - AutoHoldings, Springer
6 学位論文 シクロオクタテトラエンの水銀光増感反応と直接光化学反応

山崎, 秀郎

東京工業大学
12 図書 海軍設営戦記

山崎, 三朗

図書出版社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12