This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue reading
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue reading
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue reading
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
Continue reading
This book discusses challenges in school improvement research and different methodological approaches that have the potential ...
Continue reading
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Continue reading
This book discusses the cultural, social and spatial aspects of scale and its impact on archaeology in practical and applicable ...
Continue reading
Conjoint behavioral consultation (CBC) strengthens collaboration between children’s most critical learning environments ...
Continue reading
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: ...
Continue reading
This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, ...
Continue reading
This comprehensive volume the inclusion of several case studies serves to examine pertinent topics, namely computer-based ...
Continue reading
This book is a comprehensive, state of the art guide to the contemporary non-surgical treatment of temporomandibular disorders ...
Continue reading
In August 2005, over 500 international researchers from the field of science education met at the 5th European Science Education ...
Continue reading
Contingent valuation is one of the means of incorporating socio-environmental considerations in cost–benefit analysis. ...
Continue reading
How do scientists use analogies and other processes to break away from old theories and generate new ones? This book documents ...
Continue reading
Provides a comprehensive reference in large data center networking. It first summarizes the developing trend of DCNs, and ...
Continue reading
Randomized clinical trials are the gold standard for establishing many clinical practice guidelines and are central to evidence ...
Continue reading
Randomized clinical trials are the gold standard for establishing many clinical practice guidelines and are central to evidence ...
Continue reading
This book provides statistical tools for evaluating the effects of public policies advocated by governments and public institutions. ...
Continue reading
While earlier books concerning forest planning have tended to focus on linear programming, economic aspects, or specific ...
Continue reading