//]]>
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
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
Service-oriented computing. ICSOC/ServiceWave 2009 Workshops : , International Workshops, ICSOC/Servicewave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers /   Publication: Berlin : Springer, 2010 . xxxiv, 583 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
New modeling concepts for today's software processes : , International Conference on Software Process, Icsp 2010, Paderborn, Germany, July 8-9, 2010, proceeding /   Publication: Berlin : Springer, 2010 . xiv, 382 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, model checking, and abstract interpretation : , 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 395 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Evolvable systems : , from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /   Publication: Heidelberg : Springer, 2010 . xii, 394 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pattern recognition and data mining : , third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005 : proceedings /   Publication: Berlin ; | [London] : Springer, 2005 . 2 v. : 24 cm Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
No cover image available
Principles and practice of constraint programming - CP 2010 : , 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceeded /   Publication: Berlin : Springer, 2010 . xx, 660 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mechanisms for autonomous management of networks and services : , 4th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010 : proceedings /   Publication: Berlin ; | New York : Springer, 2010 . xiii, 178 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model driven engineering languages and systems : , 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, proceedings, part II /   Publication: Berlin : Springer, 2010 . v. 2 (443) p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Product-focused software process improvement : , 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . xiii, 410 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, models, components, patterns : , 48th International Conference, Tools 2010, M Laga, Spain, June 28 - July 2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 309 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated technology for verification and analysis : , 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xix, 404 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cooperative design, visualization, and engineering : 7th international conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xii, 302 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xvi, 676 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2009, parallel processing - workshops : , HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, workshops /   Publication: Berlin : Springer, 2010 . xix, 468 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart