This volume is devoted to both instrumentation and computation aspects of EPR, while addressing applications such as spin ...
Continue reading
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue reading
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Continue reading
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Continue reading
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...
Continue reading
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...
Continue reading
Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. ...
Continue reading
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
Continue reading
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...
Continue reading
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations ...
Continue reading
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Continue reading
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Continue reading
This book discusses challenges in school improvement research and different methodological approaches that have the potential ...
Continue reading
As major events like war, epidemics, and climate change continue to push global health issues to the fore, the international ...
Continue reading
The objective of the workshops associated with ER 2001, the 20th International Con- rence on Conceptual Modeling, was to ...
Continue reading
This handbook is about the handling of external conflicts in international technical projects written for Project Managers ...
Continue reading
Fred Van Dyke’s new textbook, Conservation Biology: Foundations, Concepts, Applications, 2nd Edition represents a major ...
Continue reading
Constructal Theory of Social Dynamics brings together for the first time social scientists and engineers to develop a predictive ...
Continue reading