Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundations of Atlas
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
Future Generation Grids
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
اقرأ المزيد
Gesture in Human-Computer Interaction and Simulation
The international Gesture Workshops have become the leading interdisciplinary events for dissemination of the latest results ...
اقرأ المزيد
Grid Computing
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
اقرأ المزيد
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, ...
اقرأ المزيد
Grid and Cooperative Computing - GCC 2005
This volume presents the accepted papers for the 4th International Conference on Grid and Cooperative Computing (GCC2005),held ...
اقرأ المزيد
Grid-Based Problem Solving Environments
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
High Availability and Disaster Recovery
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
