Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2006
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
Foundations of Atlas
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
Lee mas
From War to Peace in the Balkans, the Middle East and Ukraine
This book focuses on the origins, consequences and aftermath of Western military interventions that led to the end of the ...
Lee mas
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops
This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International ...
Lee mas
Fundamentals of Analytical Chemistry, 10th Edition / Douglas A Skoog, Donald M West, F James Holler, Stanley R Crouch
Presents the latest developments in analytical chemistry today using a reader-friendly yet systematic and thorough approach. ...
Lee mas
Future Generation Grids
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
Lee mas
Gesture in Human-Computer Interaction and Simulation
The international Gesture Workshops have become the leading interdisciplinary events for dissemination of the latest results ...
Lee mas
Grid Computing
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
Lee mas
Grid Economics and Business Models : 5th International Workshop, GECON 2008, Las Palmas de Gran Canaria, Spain, August 26, 2008. Proceedings
This volume constitutes the refereed proceedings of the 5th International Workshop on Grid Economics and Business Models, ...
Lee mas
Grid and Cooperative Computing - GCC 2005
This volume presents the accepted papers for the 4th International Conference on Grid and Cooperative Computing (GCC2005),held ...
Lee mas
Grid-Based Problem Solving Environments
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Handbook Of Big Data Analytics ; Vol. 1: Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
Lee mas
Hebrew Scholasticism in the Fifteenth Century
This book aims to respond to this need. After a historical introduction, where a "state of the art" about research on the ...
Lee mas
High Availability and Disaster Recovery
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission ...
Lee mas
High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
Lee mas
Human Challenge Studies in Endemic Settings Ethical and Regulatory Issues
This book provides an extensive review of ethical and regulatory issues related to human infection challenge studies, with ...
Lee mas
Implementing Semantic Web Services : The SESA Framework
Service-oriented computing has become one of the predominant factors in IT research and development efforts over the last ...
Lee mas
Improving Health Care in Low- and Middle-Income Countries A Case Book
This book is a collection of 12 case studies capturing decades of experience improving health care and outcomes in low- and ...
Lee mas
Information Extraction: Algorithms and Prospects in a Retrieval Context
The book focuses on content recognition in text. It elaborates on the past and current most successful algorithms and their ...
Lee mas
