//]]>
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
Information processing in medical imaging /   Publication: Berlin : Springer, 2005 . xxi, 777 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
Generic programming : , advanced lectures /   Publication: Berlin : Springer-Verlag, 2003 . ix, 221 p. : 24 cm. Date:2003 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart