|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|