|
|
| |
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),
|
|
| |
Investigations of field dynamics in laser plasmas with proton imaging /
by Sokollik, Thomas
Publication:
London : Springer, 2011
. xiii, 123 p. :
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
| |
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),
|
|
