|
|
Artificial intelligence in medicine : , 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005 ; proceedings /
Publication:
Berlin : Springer, 2005
. xvii, 547 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Advances in spatial and temporal databases : , 9th international symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. xiii, 432 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Multilingual information access for text, speech and images : , 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004 : revised selected papers /
Publication:
New York : Springer, 2005
. xvi, 845 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Information processing in medical imaging /
Publication:
Berlin : Springer, 2005
. xxi, 777 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Model-based testing of reactive systems : , advanced lectures /
Publication:
Berlin : Springer, 2005
. viii, 659 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Knowledge-based intelligent information and engineering systems : , 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. lxxx, 1319 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Knowledge-based intelligent information and engineering systems : , 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005 : proceedings /
Publication:
Berlin : Springer, 2005
. lxxix, 933 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
FST TCS 2003 : , foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xiii, 446 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Empirical methods and studies in software engineering : , experiences from ESERNET /
Publication:
Berlin : Springer, 2003
. viii, 278 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Communication in multiagent systems : , agent communication languages and conversation policies /
Publication:
Berlin : Springer, 2003
. viii, 322 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Digital rights management : , technological, economic, legal and political aspects /
Publication:
Berlin : Springer, 2003
. xi, 805 p. ;
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Formal aspects of security : , first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
Publication:
New York : Springer, 2003
. x, 238 p. :
25 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Artificial neural networks : , an introduction to ANN theory and practice /
Publication:
Berlin : Springer, 1995
. vii, 293 p. :
24 cm.
Date:1995
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Formal techniques for networked and distributed systems, FORTE 2003 : , 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xii, 429 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Petri net technology for communication-based systems : , advances in Petri nets /
Publication:
Berlin : Springer, 2003
. viii, 454 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Advanced symbolic analysis for compilers : , new techniques and algorithms for symbolic program analysis and optimization /
by Fahringer, Thomas,
Publication:
Berlin : Springer, 2003
. xii, 129 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Future directions in distributed computing : , research and position papers /
Publication:
Berlin : Springer, 2003
. x, 217 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Generic programming : , advanced lectures /
Publication:
Berlin : Springer-Verlag, 2003
. ix, 221 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Information extraction in the Web era : , natural language communication for knowledge acquisition and intelligent information agents /
Publication:
Berlin ; | New York : Springer-Verlag, 2003
. ix, 162 p. :
23 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Composition of secure multi-party protocols : , a comprehensive study /
by Lindell, Yehuda.
Publication:
Berlin ; | New York : Springer, 2003
. xvi, 192 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|