|
|
Software language engineering : , second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /
Publication:
Berlin : Springer, 2010
. xiii, 383 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. xi, 471 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming languages and systems : , 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28 2010 proceeding /
Publication:
Berlin : Springer, 2010
. xv, 632 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web reasoning and rule systems : , fourth international conference, RR 2010, bressanone/brixen, Italy, September 22-24, 2010. proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 257 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming languages and systems : , third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings /
Publication:
New York : Springer, 2005
. xiii, 433 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|