AUTHORS (1-3 of 3)
Schmidt, David
1
book jacket

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
European Symposium on Programming (13th : 2004 : Barcelona, Spain)
Berlin : Springer, 2004
2004
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.0 P9645 2004  LNCS 2986    LIB USE ONLY    30330000166657
2
book jacket

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings
International Static Analysis Symposium (19th : 2012 : Deauville, France)
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
2012
電子書

Location: 中央研究院
3
book jacket

Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
VMCAI 2011 (2011 : Austin, Texas)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
2011
電子書

Location: 中央研究院