國立高雄大學圖資館 |

Search result for [ subject:"System design"]

178 records (0.028s)· 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)

Bibliographic level:
Material type:
Only with items