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, ...
Lee mas
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
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 ...
Lee masAcademic 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Accelerated Partial Breast Irradiation
Accelerated partial breast irradiation (APBI) is being rapidly introduced into the clinical management of early breast cancer. ...
Lee mas
Accelerated VB 2005
Accelerated VB 2005 provides the fastest path to Visual Basic expertise for anyone already familiar with object-oriented ...
Lee mas
Accelerated VB 2008
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest ...
Lee mas
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 ...
Lee mas
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Lee mas
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 ...
Lee mas
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 ...
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 masAccess 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 ...
Lee mas
Access to Online Resources
The book offers a concise guide for librarians, helping them understand the challenges, processes and technologies involved ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
