語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
連至 進階查詢
**縮小範圍
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
查找有館藏的資料
精確檢索
關連的主題
10
20
50
關連性 (由小到大)
主題 (由小到大)
主題 (由大到小)
書刊名 (由小到大)
書刊名 (由大到小)
作者 (由小到大)
作者 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
語言 (由小到大)
語言 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢 (由小到大)
集叢 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
評價 (由小到大)
評價 (由大到小)
查詢結果
[ subject:"Temporal automata"]
19 筆 (0.035s)
·
頁 1 of 2
•
1
2
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 techniques, modelling and ana...
~
(1998 :)
Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
by:
(1998 :); Lakhnech, Y.; SpringerLink (Online service); Yovine, Sergio.
書目-電子資源
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2004
ISBN:
9783540231677
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
3
.
Formal modeling and analysis of time...
~
(1998 :)
Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(1998 :); Bozga, Marius.; Legay, Axel.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2014
ISBN:
9783319105116; 9783319105123
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
4
.
Formal Modeling and Analysis of Time...
~
(1998 :)
Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
by:
(1998 :); Asarin, Eugene.; Bouyer, Patricia; SpringerLink (Online service)
書目-電子資源
: Monograph/item
出版者:
Springer-Verlag GmbH.,
出版地:
Berlin Heidelberg :
出版年:
2006
ISBN:
9783540450269; 9783540450313
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
5
.
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 讀者評論
6
.
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 讀者評論
7
.
Formal modeling and analysis of time...
~
(1998 :)
Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(1998 :); Jansen, David N.; Prabhakar, Pavithra.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2018
ISBN:
9783030001506; 9783030001513
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
8
.
Formal modeling and analysis of time...
~
(1998 :)
Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
(1998 :); Bertrand, Nathalie.; Jansen, Nils.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2020
ISBN:
9783030576271; 9783030576288
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
9
.
Formal modeling and analysis of time...
~
(1998 :)
Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
(1998 :); Andre, Etienne.; SpringerLink (Online service); Stoelinga, Marielle.
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2019
ISBN:
9783030296612; 9783030296629
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
10
.
Formal modeling and analysis of time...
~
(1998 :)
Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(1998 :); Dima, Catalin.; Shirmohammadi, Mahsa.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2021
ISBN:
9783030850364; 9783030850371
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
小鍵盤
Close
符號表
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
儲存至 管理 > OPAC > SDI維護
Export
取書館別
處理中
...
變更密碼
登入