Computational Life Sciences (vol. # 4216)
This book constitutes the refereed proceedings of the Second International Symposium on Computational Life Sciences, CompLife ...
Lee mas
Computational Methods in Systems Biology (vol. # 3082)
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Lee mas
Computational Science -- ICCS 2005 (vol. # 3514)
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
Lee mas
Computational Science and Its Applications - ICCSA 2005 Part II
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ...
Lee mas
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, ...
Lee mas
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, ...
Lee mas
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, ...
Lee mas
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, ...
Lee mas
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, ...
Lee mas
Computational Structural Concrete: Theory and Applications / Ulrich Häussler-Combe
Concrete is by far the most used building material due to its advantages: it is shapeable, cost-effective and available everywhere. ...
Lee masComputational Textile
This edited book collects a number of representative applications of computational techniques in textile and garment industry. ...
Lee mas
Computational and Statistical Approaches to Genomics
Computational and Statistical Approaches to Genomics, 2nd Edition, aims to help researchers deal with current genomic challenges. ...
Lee mas
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 ...
Lee mas
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lee mas
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lee mas
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 ...
Lee mas
Computer Music Modeling and Retrieval. Sense of Sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...
Lee mas
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Lee mas
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Lee mas
Computer Network Security (vol. # 3685)
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...
Lee mas
