Electronic Books

Total Books: 41 - 60 /307

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Computer Performance Engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability

This book discusses challenges in school improvement research and different methodological approaches that have the potential ...

Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Confronting Scale in Archaeology

This book discusses the cultural, social and spatial aspects of scale and its impact on archaeology in practical and applicable ...

Conjoint Behavioral Consultation

Conjoint behavioral consultation (CBC) strengthens collaboration between children’s most critical learning environments ...

Conjoint Measurement : Methods and Applications

Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...

Constructing Ambient Intelligence : AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, ...

Consumer Health Informatics

This comprehensive volume the inclusion of several case studies serves to examine pertinent topics, namely computer-based ...

Contemporary Management of Temporomandibular Disorders: Non-Surgical Treatment

This book is a comprehensive, state of the art guide to the contemporary non-surgical treatment of temporomandibular disorders ...

Contributions from Science Education Research

In August 2005, over 500 international researchers from the field of science education met at the 5th European Science Education ...

Cost-Benefit Analysis of Environmental Goods by Applying Contingent Valuation Method

Contingent valuation is one of the means of incorporating socio-environmental considerations in cost–benefit analysis. ...

Creative Model Construction in Scientists and Students

How do scientists use analogies and other processes to break away from old theories and generate new ones? This book documents ...

Data Center Networking : Network Topologies and Traffic Management in Large-Scale Data Centers / Deke Guo

Provides a comprehensive reference in large data center networking. It first summarizes the developing trend of DCNs, and ...

Data Monitoring in Clinical Trials

Randomized clinical trials are the gold standard for establishing many clinical practice guidelines and are central to evidence ...

Data Monitoring in Clinical Trials

Randomized clinical trials are the gold standard for establishing many clinical practice guidelines and are central to evidence ...

Data-Driven Policy Impact Evaluation

This book provides statistical tools for evaluating the effects of public policies advocated by governments and public institutions. ...

Decision Support for Forest Management

While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific ...

Total Books: 41 - 60 /307