This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
اقرأ المزيد
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
اقرأ المزيد
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
اقرأ المزيد
The theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...
اقرأ المزيد
This book provides an authoritative resource on the art of CT in the diagnosis and monitoring of pulmonary disease. Exploiting ...
اقرأ المزيد
This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...
اقرأ المزيدThis is an effort to represents the design and implementation of a mobile application that serves as a marketplace for buying ...
اقرأ المزيد
This book collates all relevant imaging findings of the use of cardiac CT and presents them in a clinically relevant and ...
اقرأ المزيد
Cardiac PET and hybrid PET/CT have revolutionized the field of cardiovascular imaging and offer new options for diagnosis ...
اقرأ المزيد
Cardiovascular Medicine, 3rd edition" offers the most up-to-date, user-friendly guidance on the evaluation, diagnosis and ...
اقرأ المزيدThe aim of this project is to collect and use the GPS data from mobile devices to get geolocations and translate this data ...
اقرأ المزيد
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology ...
اقرأ المزيد
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 6th International Conference on Case-Based Reasoning, ICCBR 2005, held ...
اقرأ المزيد
It presented along with three invited talks. The sections address all aspects of case-based reasoning, featuring original ...
اقرأ المزيد
It presented along with three invited talks. The sections address all aspects of case-based reasoning, featuring original ...
اقرأ المزيد
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and ...
اقرأ المزيد