//]]>
Reconfigurable computing : , Architectures, Tools, and Applications, 5th International Workshop, Arc 2009, Karlsruhe, Germany, March 16-18, 2009, proceedings /   Publication: Berlin : Springer, 2009 . xv, 388 p. : Date:2009 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart
Architecting critical systems : , First International Symposium, Isarcs 2010, Prague, Czech Republic, June 23-25, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 192 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Incentives, overlays, and economic traffic control : , third international workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010 : proceedings /   Publication: Berlin ; | New York : Springer, 2010 . x, 108 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data management in grid and peer-to-peer systems : , Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 159 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web services and formal methods : , 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers /   Publication: Berlin : Springer, 2010 . 195 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and practice of model transformations : , Third International Conference, Icmt 2010, Malaga, Spain, June 28-July 2, 2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 275 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects and databases : , Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xiv, 158 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /   Publication: Berlin : Springer, 2010 . xii, 230 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Research into practice - reality and gaps : , 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . x, 182 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Database and XML Technologies : , 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . x, 153 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and proofs : , 4th International Conference, Tap 2010, Malaga Spin, July, 1-2,2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 182 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xiii, 492 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2010 : , Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Å Pindleruv Mlýn, Czech Republic, January 23-29, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xv, 780 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental approaches to software engineering : , 10th International Conference, FASE 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, proceedings /   Publication: Berlin : Springer, 2007 . xv, 440 p. : Date:2007 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computing and combinatorics : , 16th annual international conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /   Publication: Berlin ; | New York : Springer, 2010 . xiii, 542 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical software - ICMS 2010 : , Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xvi, 368 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model checking software : , 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . x, 261 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Self-organizing architectures : , First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers /   Publication: Berlin : Springer, 2010 . x, 300 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pervasive computing : , 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . xv, 446 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart