Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lee mas
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 ...
Lee mas
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; ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Confronting Scale in Archaeology
This book discusses the cultural, social and spatial aspects of scale and its impact on archaeology in practical and applicable ...
Lee mas
Conjoint Behavioral Consultation
Conjoint behavioral consultation (CBC) strengthens collaboration between children’s most critical learning environments ...
Lee mas
Conjoint Measurement : Methods and Applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...
Lee mas
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, ...
Lee mas
Consumer Health Informatics
This comprehensive volume the inclusion of several case studies serves to examine pertinent topics, namely computer-based ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Data Monitoring in Clinical Trials
Randomized clinical trials are the gold standard for establishing many clinical practice guidelines and are central to evidence ...
Lee mas
Data Monitoring in Clinical Trials
Randomized clinical trials are the gold standard for establishing many clinical practice guidelines and are central to evidence ...
Lee mas
Data-Driven Policy Impact Evaluation
This book provides statistical tools for evaluating the effects of public policies advocated by governments and public institutions. ...
Lee mas
Decision Support for Forest Management
While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific ...
Lee mas
