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),
Actions: Add to Cart
Networking 2010 : , 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010 ; proceedings /   Publication: Berlin : Springer, 2010 . xvi, 410 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-centered software engineering : , Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010 : proceedings /   Publication: Berlin : Springer, 2010 . x, 221 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational and practical aspects of resource analysis : , First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, revised selected papers /   Publication: Berlin : Springer, 2010 . viii, 162 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business process management : , 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xiii, 358 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Passive and active measurement : , 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 231 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
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
Smart spaces and next generation wired/wireless networking : , third Conference on Smart Spaces, ruSMART 2010 and 10th international conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010 : proceedings /   Publication: Berlin ; | New York : Springer, 2010 . xv, 486 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Global perspectives on design science research 5th international Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xv, 564 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Autonomic and Trusted Computing : , 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xv, 328 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction : , 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. proceedings /   Publication: Berlin : Springer, 2010 . xii, 323 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Semantic web rules : , International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xiiii, 304 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
Models in software engineering : , Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. reports and revised, selected papers /   Publication: Berlin : Springer, 2009 . xi, 404 p. : Date:2009 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Collaboration and technology : , 16th International Conference, CRIWG 2010, Mastricht, the Netherlands, September 20-23, 2010, proceedings /   Publication: Berlin : Springer, 2010 . iii, 364 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ad-Hoc, mobile and wireless networks : , 9th International Conference, Adhoc-Now 2010, Edmonton, AB, Canada, August 20-22, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 219 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Measurement, modelling, and evaluation of computing systems and dependability in fault Tolerance: , 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, proceedings /   Publication: Berline : Springer, 2010 . xi, 322 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Component-based software engineering : , 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings /   Publication: Berlin : Springer, 2008 . xi, 350 p. : Date:2008 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and algorithms for the construction and analysis of systems : , 16th International Conference, Tacas 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus, March 20, 2010 /   Publication: Berlin : Springer, 2010 . xvi, 465 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart