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