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 ...
اقرأ المزيدDemystifying Climate Models : A Users Guide to Earth System Models
This book demystifies the models we use to simulate present and future climates, allowing readers to better understand how ...
اقرأ المزيد
