|
|
| |
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),
|
|
| |
Automate, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /
Publication:
Berlin : Springer, 2010
. xxiii, 754 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),
|
|
| |
Software Composition : , 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 153 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),
|
|
| |
Perspectives of system informatics : , 7th international Andrei Ershov memorial Conference, PSI 2009, Novosibirsk, Russia June 15-19,2009. Revised papers /
Publication:
Berlin : Springer, 2010
. xiii, 426 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
