Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lee mas
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lee mas
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Lee mas
Access Control Models and Architectures For IoT and Cyber Physical Systems / Maanak Gupta, Smriti Bhatt, Asma Hassan Alshehri, Ravi Sandhu
Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...
Lee mas
Access Control Systems
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations ...
Lee mas
Accounting, Cash Flow and Value Relevance / Francesco Paolone
Investigates the value relevance of the operating cash flow as reported under the International Financial Reporting Standards ...
Lee mas
Accreditation and Evaluation in the European Higher Education Area
This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors ...
Lee mas
Achieving the Paris Climate Agreement Goals
Presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based ...
Lee mas
Active Conceptual Modeling of Learning
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
Lee mas
Active Flow Control
This volume contains a well balanced combination of theoretical and experimental state-of-the-art results of Active Flow ...
Lee mas
Active Knowledge Modeling of Enterprises
An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...
Lee mas
Active Sensor Planning for Multiview Vision Tasks
The book describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing ...
Lee mas
Acute Promyelocytic Leukemia
Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that ...
Lee mas
Ad-Hoc Networking
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738)
This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW ...
Lee mas
Adaptive Atmospheric Modeling
This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, ...
Lee mas
Adaptive Bidding in Single-Sided Auctions under Uncertainty
In the last years electronic markets, especially online auctions, have become very popular and received more and more attention ...
Lee mas
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. ...
Lee mas
Adaptive Hypermedia and Adaptive Web-Based Systems
This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive ...
Lee mas
Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based ...
Lee mas
