|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|