Electronic Books

Total Books: 161 - 180 /10164

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

Abstraction Refinement for Large Scale Model Checking

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

Abstraction, Refinement and Proof for Probabilistic Systems

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

Abuse of Dominant Position: New Interpretation, New Enforcement Mechanisms?

As part of its review of competition law that started in the late 1990s, the European Commission proposes to revise its interpretation ...

Academic Flying and the Means of Communication

This book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...

Accelerated C# 2008

Accelerated C# 2008 gives you everything you need to know about C# 2008 in a concentrated 500 pages of must-know information ...

Accelerated GWT : Building Enterprise Google Web Toolkit Applications

Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information ...

Accelerated Partial Breast Irradiation

Accelerated partial breast irradiation (APBI) is being rapidly introduced into the clinical management of early breast cancer. ...

Accelerated VB 2005

Accelerated VB 2005 provides the fastest path to Visual Basic expertise for anyone already familiar with object-oriented ...

Accelerated VB 2008

Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest ...

Acceleration and Improvement of Protein Identification by Mass Spectrometry

this book is presenting a review of basic proteomic techniques. The second part of the book is related to the novel high ...

Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

Accelerator-Driven System at Kyoto University Critical Assembly

This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...

Acceptance and Usage of Technology through the Digital User Experience / Nedra Bahri-Ammari, Imene Ben Yahia-Boumaiza

Sheds light on the challenges and solutions for companies when dealing with the online consumer on social media and in the ...

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, ...

Access Control Systems

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

Access to Medicines and Vaccines : Implementing Flexibilities Under Intellectual Property Law

This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...

Access to Online Resources

The book offers a concise guide for librarians, helping them understand the challenges, processes and technologies involved ...

Accessing and Sharing the Benefits of the Genomics Revolution

This edited volume explores the legal, economic and political context for the debate about intellectual property rights for ...

Accounting and Financial System Reform in Eastern Europe and Asia

Accounting and Financial System Reform in Eastern Europe and Asia is the second in a series to examine accounting and financial ...

Total Books: 161 - 180 /10164