Home | Help | New Search | 中文模式

AS Library Service 


Start Over Return To Browse Limit/Sort Another Search
   
AUTHORS (1-2 of 2)
Martin, Andrew K
1
 book jacket

Request
 Formal methods in computer-aided design : 5th internaitonal conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
International Conference on Formal Methods in Computer-Aided Design (5th : 2004 : Austin, Texas)
Berlin : Springer, c2004
E - TOC / Resources
 c2004
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro J6 F7235 2004  LNCS 3312    LIB USE ONLY    30330000171830
2
 book jacket

 Formal methods in computer-aided design 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
FMCAD 2004 (2004 : Austin, Texas)
Berlin : Springer, c2004
E - TOC / Resources
 c2004
電子書

Location: 中央研究院
Start Over Return To Browse Limit/Sort Another Search

Home | Help | 中文模式