//]]>
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
Algorithms for memory hierarchies : , advanced lectures /   Publication: Berlin : Springer, 2003 . xvii, 428 p. : 24 cm. Date:2003 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Intelligent search on XML data : , applications, languages, models, implementations, and benchmarks /   Publication: Berlin ; | New York : Springer, 2003 . xvii, 319 p. : 24 cm. Date:2003 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Quality of future Internet services : , COST Action 263 final report /   Publication: Berlin ; | New York : Springer, 2003 . viii, 291 p. ; 24 cm. Date:2003 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart