Computational Science and Its Applications - ICCSA 2006 (vol. # 3980)
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
Lire la suite
Computational Science and Its Applications - ICCSA 2006 (vol. # 3981)
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
Lire la suite
Computational Science and Its Applications - ICCSA 2006 (vol. # 3982)
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
Lire la suite
Computational Science and Its Applications - ICCSA 2006 (vol. # 3983)
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
Lire la suite
Computational Science and Its Applications - ICCSA 2006 (vol. # 3984)
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...
Lire la suite
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Lire la suite
Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Lire la suite
Computational Science – ICCS 2007
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale ...
Lire la suite
Computational Science – ICCS 2007
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale ...
Lire la suite
Computational Thinking Education
This book is under a CC BY 4.0 license. This book offers a comprehensive guide, covering every important aspect of computational ...
Lire la suite
Computational and Instrumental Methods in EPR
This volume is devoted to both instrumentation and computation aspects of EPR, while addressing applications such as spin ...
Lire la suite
Computer Aided Architectural Design Futures 2005
MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly ...
Lire la suite
Computer Aided Bridge Engineering (Detail Design of Pre-Stressed Concrete I-Girder / Box-Girder Bridges) / Sandipan Goswami
Real project design calculations for a deck-girder superstructure are presented along with the design of an abutment and ...
Lire la suite
Computer Aided Pharmaceutics and Drug Delivery : An Application Guide for Students and Researchers of Pharmaceutical Sciences / Vikas Anand Saharan
Examines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, ...
Lire la suite
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suite
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suite
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lire la suite
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lire la suite
