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, ...
اقرأ المزيد
