This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
Continue readingThis book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
Continue readingThis book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
Continue readingThis volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Continue readingThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue readingThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue readingThe purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...
Continue readingComputer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations ...
Continue readingThis book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, ...
Continue readingThis proceedings volume consists of selected papers presented at the Ninth Int- national Conference on Computer-Aided Scheduling ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on Computers Helping People with Special ...
Continue reading"In recent years, increasing attention and resources have been brought to bear on the relationship between the environment ...
Continue readingTORCH is a group of infections that can be passed from the pregnant mother to her fetus through the placenta. TORCH, includes ...
Continue readingIn the short term, imbalanced nutrition can contribute to stress, tiredness and our capacity to work, and over time, it can ...
Continue readingThe enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. ...
Continue readingThe central theme of the book is to build deeper understanding about incremental technological progress by introducing both ...
Continue readingThis book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, ...
Continue reading