Deals with the power of intelligent technologies individually and in combination. This book includes examples of the particular ...
Continue reading
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
Continue reading
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ...
Continue reading
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ...
Continue reading
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ...
Continue reading
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ...
Continue reading
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale ...
Continue reading
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Continue reading
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Continue reading
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Continue reading
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale ...
Continue reading
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Continue reading
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Continue reading
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...
Continue reading
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue reading
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue reading
This volume presents the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns (CAIP ...
Continue reading
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
Continue reading
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
Continue reading
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...
Continue reading