AUTHORS (1-5 of 5)
Jardim Nunes, Nuno
1
book jacket

Interactive systems : design,specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, June 11-13, 2003 : revised papers
DSV-IS 2003 (2003 : Funchal, Madeira Islands)
Berlin ; New York : Springer, 2003
2003
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D4.7 D457 2003  LNCS 2844    LIB USE ONLY    30330000162706
2
book jacket

Interactive systems design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers
DSV-IS 2003 (2003 : Funchal, Madeira Islands)
Berlin ; New York : Springer, c2003
c2003
電子書

Location: 中央研究院
3
book jacket

IUI 04 : 2004 international conference on intelligent user interfaces ,Funchal, Madeira, Portugal, January 13-16, 2004
International Conference on Intelligent User lnterfaces (2004 : Funchal, Madeira, Portugal)
New York : Association for Computing Machinery, c2004
 
c2004
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Proceeding  Proc H5.2 I61:2 2004    LIB USE ONLY    30330000166939
4
book jacket

UML Modeling Languages and Applications : 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers
UML 2004 Satellite Activites (2004 : Lisbon, Portugal)
Berlin : Springer, c2005
c2005
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D3.2.U5 U58 2004-2  LNCS 3297    LIB USE ONLY    30330000173182
5
book jacket

UML Modeling Languages and Applications <> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

Location: 中央研究院