Formal Models of Operating System Kernels
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
اقرأ المزيد
Foundations of Intelligent Systems : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ...
اقرأ المزيد
Fracture Mechanics
Concerned with the fundamental concepts and methods of fracture mechanics and micromechanics, Fracture Mechanics primarily ...
اقرأ المزيد
From Opinion Mining to Financial Argument Mining
Financial opinion mining is a branch of traditional opinion mining and sentiment analysis which shares the basic notions ...
اقرأ المزيد
Fun and Games : Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
اقرأ المزيد
Fundamentals of Image Data Mining : Analysis, Features, Classification and Retrieval / Dengsheng Zhang
Presents a comprehensive review of the essentials of image data mining, and the latest cutting-edge techniques used in the ...
اقرأ المزيد
Fundamentals of Space Biology
This book is intended as an overview at the undergraduate or early university level and describes the effects of spaceflight ...
اقرأ المزيد
Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...
اقرأ المزيد
Gesture in Human-Computer Interaction and Simulation
The international Gesture Workshops have become the leading interdisciplinary events for dissemination of the latest results ...
اقرأ المزيد
Grammatical Inference: Algorithms and Applications
The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference ...
اقرأ المزيد
Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
اقرأ المزيد
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
اقرأ المزيد
Greening the Industrial Facility
This book fills a critical gap as a textbook and reference book on the comprehensive environmental impacts of industrial ...
اقرأ المزيد
Grouping Multidimensional Data
Clustering is one of the most fundamental and essential data analysis techniques. Clustering can be used as an independent ...
اقرأ المزيد
Groupware: Design, Implementation, and Use
This volume constitutes the proceedings of the 13th International Workshop on Groupware (CRIWG 2007). This workshop aims ...
اقرأ المزيد
Groupware: Design, Implementation, and Use : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 14th International Workshop on Groupware: Design, Implementation, ...
اقرأ المزيد
HCI related papers of Interacción 2004
The present book contains a collection of the best papers presented at the 5th International Conference on Interacción Persona ...
اقرأ المزيدHDPE Geomembranes in Geotechnics
HDPE (High-density polyethylene) geomembranes are nowadays widely used for large-area liners and construction sealings in ...
اقرأ المزيد
Handbook of Education Policy Studies Values, Governance, Globalization, and Methodology, Volume 1
This handbook brings together the latest research from a wide range of internationally influential scholars to analyze educational ...
اقرأ المزيد
Happiness is the Wrong Metric
This timely book addresses the conflict between globalism and nationalism. It provides a liberal communitarian response to ...
اقرأ المزيد
