Electronic Books

Total Books: 61 - 80 /4350
978-0-387-34600-7
Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Continue reading
978-0-387-27006-7
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Continue reading
978-3-540-73580-9
Abstraction, Reformulation, and Approximation

This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...

Continue reading
978-3-030-81089-4
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, ...

Continue reading
978-0-387-27716-5
Access Control Systems

Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations ...

Continue reading
978-3-030-50688-9
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 ...

Continue reading
978-1-4020-2797-0
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 ...

Continue reading
978-3-030-05843-2
Achieving the Paris Climate Agreement Goals

Presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based ...

Continue reading
978-3-540-77503-4
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 ...

Continue reading
978-3-540-71439-2
Active Flow Control

This volume contains a well balanced combination of theoretical and experimental state-of-the-art results of Active Flow ...

Continue reading
978-3-540-79416-5
Active Knowledge Modeling of Enterprises

An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...

Continue reading
978-3-540-77072-5
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 ...

Continue reading
978-3-540-34594-7
Acute Promyelocytic Leukemia

Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that ...

Continue reading
978-0-387-34738-7
Ad-Hoc Networking

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Continue reading
978-3-540-32086-9
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 ...

Continue reading
978-3-540-33383-8
Adaptive Atmospheric Modeling

This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, ...

Continue reading
978-3-7643-8113-4
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 ...

Continue reading
978-3-540-32929-9
Adaptive Business Intelligence

In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. ...

Continue reading
978-3-540-47952-9
Adaptive Hypermedia and Adaptive Web-Based Systems

This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive ...

Continue reading
978-3-540-70987-9
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 ...

Continue reading
Total Books: 61 - 80 /4350