|
|
Distributed, parallel and biologically inspired systems , 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 316 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Understanding formal methods /
by Monin, Jean Francois,
Publication:
London : Springer, 2003
. xv, 275 p. ;
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(1),
|
|