Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
اقرأ المزيد
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The ...
اقرأ المزيد
Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
اقرأ المزيدConcrete Segmental Bridges : Theory, Design, and Construction to AASHTO LRFD Specifications / Dongzhou Huang, Bo Hu
Presents comprehensive theory, design and key construction methods, with a simple design example based on the AASHTO LRFD ...
اقرأ المزيد
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
اقرأ المزيد
Congruency, Expectations and Consumer Behavior in Digital Environments / Frederic Nimmermann
A progress in technologies, the increasing expansion and use of digital environments lead to remarkable shifts of business ...
اقرأ المزيد
Conservation Biology
Fred Van Dyke’s new textbook, Conservation Biology: Foundations, Concepts, Applications, 2nd Edition represents a major ...
اقرأ المزيد
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
اقرأ المزيد
Constraint-Based Mining and Inductive Databases
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically ...
اقرأ المزيد
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
اقرأ المزيد
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
اقرأ المزيد
Consumers, Policy and the Environment
The role of the consumer has changed from seeking the most satisfaction from goods and services to reconciling consumption ...
اقرأ المزيد
Contaminated Rivers
The geomorphological, surficial and geochemical processes and conditions of rivers require a tailored set of strategies and ...
اقرأ المزيدContemporary Accounts in Drug Discovery and Development / Xianhai Huang
Drug discovery is a lengthy and complex process that typically involves identifying an unmet medical need, determining a ...
اقرأ المزيد
