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