|
|
Specification and Verification of Multi-agent Systems
by Dastani, Mehdi.
Publication:
. XVII, 405p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Genetic Programming Theory and Practice VII
by Riolo, Rick.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Introduction to Programming with Fortran
by Chivers, Ian.
Publication:
. XXII, 621 p. 5 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Encyclopedia of Machine Learning
by Sammut, Claude.
Publication:
. XXVI, 1031p. 95 illus. in color. eReference.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Methods for Optimization
by Hooker, John N.
Publication:
. XVIII, 642 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
GPU Solutions to Multi-scale Problems in Science and Engineering
by Yuen, David A.
Publication:
. XIII, 689 p. 344 illus., 263 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Simulating Social Complexity
by Edmonds, Bruce.
Publication:
. VII, 754 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal methods for open object-based distributed systems : , 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
Publication:
Berlin ; Springer, 2005
. x, 321 p. :
24 cm.
Date:2005
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),
|
|
|
Journal of computer science and technology
Publication:
[Beijing, China : Science Press]
Availability:
Copies available:
AUM Main Library
(23),
|
No cover image available
|
|
Disaster recovery testing : , exercising your contingency plan /
Publication:
Brookfield, CT : Rothstein Associates, 2007
. x, 308 p. :
23 cm.
Date:2007
Availability:
Copies available:
AUM Main Library
(1),
|
|