|
|
| |
Algorithms - ESA 2010 : , 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings, Part I /
Publication:
Berlin : Springer, 2010
. xviii, 587 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Mathematics of program construction : , 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008, proceedings /
Publication:
Berlin : Springer, 2010
. x, 421 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Theoretical aspects of computing-- ICTAC 2010 : , 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings /
Publication:
New York : Springer, 2010
. xiii, 396 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
