|
|
Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /
Publication:
New York, NY : Springer, 2005
. xiii, 348 p.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Model driven architecture - foundations and applications : , first European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. ix, 348 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
FST TCS 2003 : , foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xiii, 446 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Empirical methods and studies in software engineering : , experiences from ESERNET /
Publication:
Berlin : Springer, 2003
. viii, 278 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Generative programming and component engineering : , second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. ix, 396 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|