語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
連至 進階查詢
限制條件
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
一般圖書
碩博士論文
期刊合訂本
磁片
錄音帶
館際借書證
電子書閱讀器
參考書
錄影帶
光碟
期刊單行本
書籍附件光碟
影音碟
影音光碟
一般教科書
參考教科書
學報
多媒體閱覽室視聽小間
查找有館藏的資料
10
20
50
關連性 (由小到大)
關連性 (由大到小)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
主題 (由小到大)
主題 (由大到小)
書名 (由小到大)
書名 (由大到小)
分類號(書目) (由小到大)
分類號(書目) (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
語言 (由小到大)
語言 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
集叢 (由小到大)
集叢 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
作者 (由小到大)
作者 (由大到小)
評價 (由小到大)
評價 (由大到小)
查詢結果
[ subject:"Automata"]
3 筆 (0.033s)
·
跳頁 1 of 1
•
1
1
.
Formal modeling and analysis of time...
~
Congress on Progress and Controversies in Oncological Urology (2000:)
Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Jard, Claude.; SpringerLink (Online service); Cassez, Franck, (1967-)
書目-電子資源
: 單行本
語文別:
英文
出版者:
Springer-Verlag Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2008.
ISBN:
9783540857778; 9783540857785
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
2
.
Formal Modeling and Analysis of Time...
~
SpringerLink (Online service)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Yi, Wang; Pettersson, Paul.
書目-電子資源
: 分析款目
語文別:
英文
出版者:
Springer-Verlag GmbH.,
出版地:
Berlin Heidelberg :
出版年:
2005.
ISBN:
9783540316169; 9783540309468
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
3
.
Implementation and application of au...
~
Salomaa, Kai.
Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
by:
Salomaa, Kai.; Domaratzki, Michael.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
書目-電子資源
: 單行本
語文別:
英文
出版者:
Springer Berlin Heidelberg,
出版地:
Berlin, Heidelberg :
出版年:
2011.
ISBN:
9783642180972; 9783642180989
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
筆 0 讀者評論
小鍵盤
Close
符號表
Close
貨幣
:
¥
£
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
:
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
:
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
:
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
儲存檢索策略
Export
取書館別
處理中
...
變更密碼
登入