//]]>
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
Fundamentals of software engineering : , Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, revised selected papers /   Publication: New York : Springer, 2010 . xii, 470 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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
Parallel processing and applied mathematics : , 8th International Conference, PPAM 2009 Wroclaw, Poland, September 13-16, 2009 Revised, Selected Papers /   Publication: Berlin : Springer, 2010 . 2 v. Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Algorithmic aspects in information and management : , 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xi, 336 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>