|
|
| |
Consuming audiences? : , production and reception in media research /
Publication:
Cresskill, N.J. : Hampton Press, 2000
. vi, 330 p. :
23 cm.
Date:2000
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Agents and artificial intelligence : , international conference, ICAART 2009, Porto, Portugal, January 19-21, 2009 : revised selected papers /
Publication:
Berlin : Springer, 2010
. xii, 296 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
CONCUR 2010 - Concurrency Theory : , 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 600 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Numerical analysis of partial differential equations : , lectures given at the Centro Internazionale Matematico Estivo (C. I. M. E. ) held in Ispra (Varese), Italy, July 3-11 1967 /
Publication:
Berlin : Springer, 2010
. 468 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in conceptual modeling, applications and challenges : , Er 2010 Workshops Acm-l, Cmlsa, Cms, De@er, Fp-uml, Secogis, Wism, Vancouver, Bc, Canada, November 1-4, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. xvi, 296 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
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),
|
|
