Electronic Books

Total Books: 1 - 20 /70

Adapting Proofs-as-Programs

This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...

Adaptive Information Systems and Modelling in Economics and Management Science

Learning and adaption are key features of "real economies". Studying interesting real phenomena like innovation, industry ...

Advanced Robust and Nonparametric Methods in Efficiency Analysis

This readable book makes available an intuitive yet rigorous presentation of advanced nonparametric and robust methods. This ...

Advances in Artificial Economics

Perceiving the economy as a complex dynamic system, generates a need for new tools for its study. As a constructive simulation ...

Advances in Cryptology - ASIACRYPT 2008 : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology ...

Agents and Peer-to-Peer Computing

This book brings together an introduction, three invited articles, and revised versions of the papers presented at the Second ...

Algorithms and Data Structures : The Basic Toolbox

This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...

Algorithms and Data Structures for Massive Datasets / Dzejla Medjedovic, Emin Tahirovic

Learn: Probabilistic sketching data structures for practical problems Choosing the right database engine for your application ...

Android smart health monitoring system / Jalal Sneter ; Mohammad Albourum ; Mohammad Jokhadar ; Micheal Awad

Recent years have witnessed an increasing interest in the application of machine learning to clinical informatics and healthcare ...

Angiotensin converting enzyme inhibitors and application / Marwa Hindiyh ; Boushra Al Halbouni ; Hanan Alshawa ; Mohammed Yazan Dalati

It is now a little over 10 years since the introduction of drugs that inhibit the angiotensin converting enzyme (ACE). Angiotensin ...

Computer Supported Cooperative Work in Design IV : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...

Conceptual Structures: Inspiration and Application

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...

Conflict Prevention in Project Management : trategies, Methods, Checklists, and Case Studies

This handbook is about the handling of external conflicts in international technical projects written for Project Managers ...

Countering Counterfeit Trade : Illicit Market Insights, Best-Practice Strategies, and Management Toolbox

The book constitutes a unique combination of in-depth insights into the counterfeit market, best-practice strategies, novel ...

Declarative Agent Languages and Technologies II

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...

Design of Adaptive Finite Element Software

During the last years, scientific computing has become an important research branch located between applied mathematics and ...

Dissemination of Information in Communication Networks

Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest in parallel and distributive ...

Engineering Geology for Underground Rocks

This book clearly and systematically explains underground engineering geology principles, methods, theories and case studies, ...

Evolving Toolbox for Complex Project Management / Alex Gorod, Leonie Hallo, Vernon Ireland, Indra Gunawan

Enhances learning about complex project management principles and practices through the introduction and discussion of a ...

Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Total Books: 1 - 20 /70