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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Algorithms and Data Structures : The Basic Toolbox
This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical ...
Lee mas
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 ...
Lee masAndroid 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 ...
Lee masAngiotensin 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 ...
Lee mas
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 ...
Lee mas
Conceptual Structures: Inspiration and Application
th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Design of Adaptive Finite Element Software
During the last years, scientific computing has become an important research branch located between applied mathematics and ...
Lee mas
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 ...
Lee mas
Engineering Geology for Underground Rocks
This book clearly and systematically explains underground engineering geology principles, methods, theories and case studies, ...
Lee mas
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 ...
Lee mas
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lee mas
