AUTHORS (1-5 of 5)
de Alfaro, Luca
1
book jacket

CONCUR 2005-concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings
International Conference on Concurrency Theory (16th : 2005 : San Francisco, Calif.)
Berlin ; New York : Springer, 2005
2005
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro C1.2 C744 2005  LNCS 3653    LIB USE ONLY    30330000176730
2
book jacket

CONCUR 2005 - Concurrency Theory 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings
International Conference on Concurrency Theory (16th : 2005 : San Francisco, Calif.)
Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

Location: 中央研究院
3
book jacket

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
FOSSACS 2009 (2009 : York, UK)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

Location: 中央研究院
4
book jacket

Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
PAPM-PROBMIV 2001 (2001 : Aachen, Germany)
Berlin : Springer, c2001
c2001
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro F3.1 P963 2001  LNCS 2165    LIB USE ONLY    30330000058854
5
book jacket

Process algebra and probabilistic methods performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
PAPM-PROBMIV 2001 (2001 : Aachen, Germany)
Berlin ; New York : Springer-Verlag, c2001
c2001
電子書

Location: 中央研究院