|
|
| |
A 25-Year Perspective on Logic Programming : , achievements of the Italian Association for Logic Programming, Gulp /
Publication:
Boston, MA : McGraw-Hill, 2010
. xiv, 328 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Logics in artificial intelligence : , 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /
Publication:
Berlin : | New York : 2010
. xiii, 372 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Current topics in artificial intelligence : , 13th conference of the Spanish Association for Artificial Intelligence, Caepia 2009, Sevilla, Spain, November 9-13, 2009. selected papers /
Publication:
New York : Springer, 2010
. 302 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Algorithm engineering : , bridging the gap between algorithm theory and practice /
Publication:
New York : Springer, 2010
. 513 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Advances in data mining : , applications and theoretical aspects : 10th industrial conferences, ICDM 2010, Berlin, Germany, July 12-14, 2010 : proceeedings /
Publication:
Berlin : Springer, 2010
. xiii, 654 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /
Publication:
New York : Springer, 2010
. x, 375 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advanced lectures on software engineering : , LASER summer school 2007/2008 /
Publication:
Berlin : Springer, 2010
. 187 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Search computing : , challenges and directions /
Publication:
Berlin : Springer, 2010
. x, 319 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Testing techniques in software engineering : , second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
Publication:
Berlin : Springer, 2010
. viii, 312 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Model-based engineering of embedded real-time systems: , International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers /
Publication:
Berlin : Springer, 2010
. xv, 384 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
A common case study for aspect-oriented modeling /
Publication:
Berlin : Springer, 2010
. xi, 422 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
No cover image available
|
| |
Wireless sensor networks : , 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 340 p.
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Future multimedia networking : , third international workshop, FMN 2010, Krakow, Poland, June 17-18, 2010 : proceedings /
Publication:
Berlin : Springer, 2010
. x, 180 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in multimedia information processing-- PCM 2010 : , 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010 : proceedings /
Publication:
Berlin : Springer, 2010
. part. 2 :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
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),
|
|
| |
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),
|
|
