//]]>
Model checking software : , 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . x, 261 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in databases and information systems : , associated workshops and doctoral consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009 : revised selected papers /   Publication: New York : Springer, 2010 . xv, 256 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Arfiticial intelligence and knowledge engineering applications : , a bioinspired approach : First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings /   Publication: Berlin : Springer-Verlag, 2005 . 2 v. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Intelligent virtual agents : , 5th international working conference, IVA 2005, Kos, Greece, September 12-14, 2005 : proceedings /   Publication: Berlin : Springer, 2005 . xiii, 506 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Advances in artificial life : , 7th European Conference, ECAL 2003 Dortmund, Germany, September 14-17, 2003 Proceedings /   Publication: Berlin : Springer-Verlag, 2003 . xvi, 905 p. : 23 cm. Date:2003 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transport simulation : , beyond traditional approaches /   Publication: Lausanne, Switzerland : EPFL Press ; 2009 . xxiii, 213 p. : 25 cm. Date:2009 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart