This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
Lire la suiteLearning and adaption are key features of "real economies". Studying interesting real phenomena like innovation, industry ...
Lire la suiteThis readable book makes available an intuitive yet rigorous presentation of advanced nonparametric and robust methods. This ...
Lire la suitePerceiving the economy as a complex dynamic system, generates a need for new tools for its study. As a constructive simulation ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology ...
Lire la suiteThis book brings together an introduction, three invited articles, and revised versions of the papers presented at the Second ...
Lire la suiteThis book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...
Lire la suiteLearn: Probabilistic sketching data structures for practical problems Choosing the right database engine for your application ...
Lire la suiteRecent years have witnessed an increasing interest in the application of machine learning to clinical informatics and healthcare ...
Lire la suiteIt is now a little over 10 years since the introduction of drugs that inhibit the angiotensin converting enzyme (ACE). Angiotensin ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...
Lire la suiteth The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...
Lire la suiteThis handbook is about the handling of external conflicts in international technical projects written for Project Managers ...
Lire la suiteThe book constitutes a unique combination of in-depth insights into the counterfeit market, best-practice strategies, novel ...
Lire la suiteThe second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
Lire la suiteDuring the last years, scientific computing has become an important research branch located between applied mathematics and ...
Lire la suitePreface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest in parallel and distributive ...
Lire la suiteThis book clearly and systematically explains underground engineering geology principles, methods, theories and case studies, ...
Lire la suiteEnhances learning about complex project management principles and practices through the introduction and discussion of a ...
Lire la suiteTesting often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lire la suite