Language:
English
日文
簡体中文
繁體中文
Help
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
圖書
期刊
DVD光碟
VCD光碟
碩士學位論文(校內)
學生專題報告
磁帶
磁碟(磁片)
錄音帶
錄影帶
幻燈片
唱片
CD唱片
影碟
參考書
投影片
輿圖
剪輯資料
學位論文(校外)
期刊參考書
特藏
工程圖
教學圖表(色卡, 字卡..)
原件. 複製照片(明信片)
原件. 複製平面藝術品
海報
教師著作
本校各單位出版品
電子參考書_光碟
電子圖書_光碟
電子期刊_光碟
繪本讀物
英基文庫
多媒體光碟
期刊附件光碟
微縮資料
博士學位論文(校內)
藝術作品
漫畫
榮葉合作借書證
日文書
彰雲嘉大專校院聯盟借書證
圖書互借借書證
電子書閱讀器
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (A-Z)
ISBN (A-Z)
ISBN (Z-A)
ISSN (A-Z)
ISSN (Z-A)
Subjects (A-Z)
Subjects (Z-A)
All Titles (A-Z)
All Titles (Z-A)
All Authors (A-Z)
All Authors (Z-A)
Place of publication (A-Z)
Place of publication (Z-A)
Year of publication (A-Z)
Year of publication (Z-A)
ISBN/ISSN (A-Z)
ISBN/ISSN (Z-A)
Person name (A-Z)
Person name (Z-A)
RID (A-Z)
RID (Z-A)
Series (A-Z)
Series (Z-A)
Proper title (A-Z)
Proper title (Z-A)
Edition Statement (A-Z)
Edition Statement (Z-A)
Content Notes (A-Z)
Content Notes (Z-A)
Publisher (A-Z)
Publisher (Z-A)
Rating (A-Z)
Rating (Z-A)
Search result for
[ subject:"Formal methods(Computer scienc"]
7 records (0.015s)
·
Page 1 of 1
•
1
1
.
Applying formal methods: testing, pe...
~
Maamar, Zakaria
Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,...
by:
Maamar, Zakaria; Nunez, Manuel; Pelayo, Fernando L. [et al]
Language materials, printed
: Monograph/item
Language:
eng
Publisher:
Springer-Verlag
Place of Publication:
Berlin
Year of Publication:
2004
ISBN:
3540231692
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
|
0 Copie(s) available for reservation
based on 0 review(s)
2
.
Formal techniques for networked and ...
~
NunezManuel
Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid..
by:
NunezManuel; de Frutos-EscrigDavid
Language materials, printed
: Monograph/item
Language:
eng
Publisher:
Springer-Verlag
Place of Publication:
Berlin
Year of Publication:
2004
ISBN:
3540232524
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
|
0 Copie(s) available for reservation
based on 0 review(s)
3
.
Formal techniques for networked and ...
~
HeinerMonika
Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,..
by:
HeinerMonika; Konig Hartmut; WoliszAdam
Language materials, printed
: Monograph/item
Language:
eng
Publisher:
Springer-Verlag
Place of Publication:
Berlin
Year of Publication:
2003
ISBN:
3540201750
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
|
0 Copie(s) available for reservation
based on 0 review(s)
4
.
Formal methods and software engineer...
~
Dong Jin Song
Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003
by:
Dong Jin Song; WoodcockJim
Language materials, printed
: Monograph/item
Language:
eng
Publisher:
Springer-Verlag
Place of Publication:
Berlin
Year of Publication:
2003
ISBN:
354020461X
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
|
0 Copie(s) available for reservation
based on 0 review(s)
5
.
Formal methods and software engineer...
~
BarnettMike
Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004...
by:
BarnettMike; DaviesJim; SchulteWolfram
Language materials, printed
: Monograph/item
Language:
eng
Publisher:
Springer-Verlag
Place of Publication:
Berlin
Year of Publication:
2004
ISBN:
3540238417
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
|
0 Copie(s) available for reservation
based on 0 review(s)
6
.
Formal methods for components and ob...
~
BonsangueMarcelloM.
Formal methods for components and objects:second international symposium,FMCO 2003
by:
BonsangueMarcelloM.; GrafSusanne [et al]; de BoerFrank S.
Language materials, printed
: Monograph/item
Language:
eng
Publisher:
Springer-Verlag
Place of Publication:
Berlin
Year of Publication:
2004
ISBN:
3540229426
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
|
0 Copie(s) available for reservation
based on 0 review(s)
7
.
From object-orientation to formal me...
~
KrogdahlStein
From object-orientation to formal methods: essays in memory of Ole-Johan Dahl
by:
KrogdahlStein; LycheTom; OweOlaf
Language materials, printed
: Monograph/item
Language:
eng
Publisher:
Springer
Place of Publication:
Berlin
Year of Publication:
2004
ISBN:
354021366X
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
|
0 Copie(s) available for reservation
based on 0 review(s)
Diacritics
Close
Diacritics
Close
貨幣
:
¥
£
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
:
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
:
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
:
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
Save to Personal SDI
Export
pickup library
Processing
...
Change password
Login