Electronic Books

Total Books: 121 - 140 /701

Computational Science -- ICCS 2005 (vol. # 3514)

This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...

Computational Science -- ICCS 2005 (vol. # 3515)

This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...

Computational Science -- ICCS 2005 (vol. # 3516)

This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...

Computational Science and High Performance Computing II

This volume contains 27 contributions to the Second Russian-German Advanced Research Workshop on Computational Science and ...

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 ...

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 ...

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

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 ...

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; ...

Computer and Information Science

The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...

Computer-Aided Design of User Interfaces IV

Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations ...

Computer-Human Interaction : 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings

This book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, ...

Computer-aided Systems in Public Transport

This proceedings volume consists of selected papers presented at the Ninth Int- national Conference on Computer-Aided Scheduling ...

Computers Helping People with Special Needs : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Computers Helping People with Special ...

Congenital Diseases and the Environment

"In recent years, increasing attention and resources have been brought to bear on the relationship between the environment ...

Congenital torch infections : torch panel / Waed Alhraki ; Dania Almohdi ; Marwa Alkwadre

TORCH is a group of infections that can be passed from the pregnant mother to her fetus through the placenta. TORCH, includes ...

Consequences of Unawareness in Usage of Some Medicines and Diet Routine لونا كسكين ؛ ابراهيم الصلاحي ؛ ليلاس ضاهر ؛ تسنيم رابعة ؛ إشراف د. بيسان أحمد

In the short term, imbalanced nutrition can contribute to stress, tiredness and our capacity to work, and over time, it can ...

Constraint Theory

The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. ...

Converged Communications: Evolution from Telephony to 5G Mobile Internet / Erkki Koivusalo

The central theme of the book is to build deeper understanding about incremental technological progress by introducing both ...

Cooperative Design, Visualization, and Engineering (vol. # 4101)

This book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, ...

Total Books: 121 - 140 /701