//]]>
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart