Language:
English
繁體中文
Help
圖資館首頁
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (A-Z)
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)
Language (A-Z)
Language (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)
ISBN (A-Z)
ISBN (Z-A)
ISSN (A-Z)
ISSN (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:"System design"]
178 records (0.029s)
·
Page 1 of 18
•
1
2
3
4
5
...
18
1
.
FME '97, industrial applications and...
~
(1998 :)
FME '97, industrial applications and strengthened foundations of formal methods4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings /
by:
(1998 :); Fitzgerald, John.; Jones, Cliff B.; Lucas, Peter.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
1997
ISBN:
9783540635338
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
2
.
Cases for modern systems analysis an...
~
Easton, Annette.
Cases for modern systems analysis and design /
by:
Easton, Annette.; Easton, George.
Language materials, printed
: Monograph/item
Language:
英文
Publisher:
Benjamin/Cummings Pub. Co.,
Place of Publication:
Meno Park, Calif. :
Year of Publication:
1996
ISBN:
0805325166
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
3
.
Test bank to accompany Alan L. Elias...
~
Eliason, Alan L.
Test bank to accompany Alan L. Eliason's Systems development, analysis, design, and implementation /
by:
Eliason, Alan L.; Eliason, Edward.; Rappleyea, Annette.
Language materials, printed
: Monograph/item
Publisher:
Little, Brown,
Place of Publication:
Boston :
Year of Publication:
1987
ISBN:
0316232610
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
4
.
Tools and algorithms for the constru...
~
(1998 :)
Tools and algorithms for the construction and analysis of systems7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Yi, Wang.
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
2001
ISBN:
9783540418658
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
5
.
Tools and algorithms for the constru...
~
(1998 :)
Tools and algorithms for the construction and analysis of systems8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
by:
(1998 :); Katoen, Joost-Pieter.; SpringerLink (Online service); Stevens, Perdita.
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
2002
ISBN:
9783540434191
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
6
.
Tools and algorithms for the constru...
~
(1998 :)
Tools and algorithms for the construction and analysis of systemsThird International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
by:
(1998 :); Brinksma, Ed.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
1997
ISBN:
9783540627906
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
7
.
Tools and algorithms for the constru...
~
(1998 :)
Tools and algorithms for the construction and analysis of systems4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings /
by:
(1998 :); SpringerLink (Online service); Steffen, Bernhard.
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
1998
ISBN:
9783540643562
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
8
.
Conceptual modelingcurrent issues an...
~
(1998 :)
Conceptual modelingcurrent issues and future directions /
by:
(1998 :); Chen, Peter P.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
1999
ISBN:
9783540659266
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
9
.
Tools and algorithms for the constru...
~
(1998 :)
Tools and algorithms for the construction and analysis of systems5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
by:
(1998 :); Cleaveland, W. Rance.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
1999
ISBN:
9783540657033
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
10
.
Tools and algorithms for the constru...
~
(1998 :)
Tools and algorithms for the construction and analysis of systems6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
by:
(1998 :); Graf, Susanne.; Schwartzbach, Michael.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
2000
ISBN:
9783540672821
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
Diacritics
Close
Diacritics
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
Save to Personal SDI
Export
pickup library
Processing
...
Change password
Login