國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

精確檢索

關連的主題

查詢結果 [ subject:"Automata"]

4 筆 (0.019s)· 頁 1 of 1 • 1

1.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systemsfirst international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
- by: (1998 :); Larsen, K. G. (1957-); Niebert, Peter.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: Berlin :
- 出版年: 2004
- ISBN: 9783540216711
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Formal Modeling and Analysis of Time...

~
(1998 :)
- Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
- by: (1998 :); Pettersson, Paul.; SpringerLink (Online service); Yi, Wang
- 書目-電子資源 : Monograph/item
- 出版者: Springer-Verlag GmbH.,
- 出版地: Berlin Heidelberg :
- 出版年: 2005
- ISBN: 9783540309468; 9783540316169
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Formal modeling and analysis of time...

~
(1998 :)
- Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
- by: (1998 :); Cassez, Franck, (1967-); Jard, Claude.; SpringerLink (Online service)
- 書目-語言資料,印刷品 : Monograph/item
- 出版者: Springer-Verlag Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2008
- ISBN: 9783540857778; 9783540857785
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Implementation and application of au...

~
(1998 :)
- Implementation and application of automata15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
- by: (1998 :); Domaratzki, Michael.; Salomaa, Kai.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2011
- ISBN: 9783642180972; 9783642180989
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

儲存至管理 > OPAC > SDI維護

Export

取書館別

書目性質:
資料類型:
查找有館藏的資料