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 ...
Continue reading
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, ...
Continue reading
Fracture Mechanics
Concerned with the fundamental concepts and methods of fracture mechanics and micromechanics, Fracture Mechanics primarily ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Fundamentals of Space Biology
This book is intended as an overview at the undergraduate or early university level and describes the effects of spaceflight ...
Continue reading
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 ...
Continue reading
Gesture in Human-Computer Interaction and Simulation
The international Gesture Workshops have become the leading interdisciplinary events for dissemination of the latest results ...
Continue reading
Grammatical Inference: Algorithms and Applications
The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Greening the Industrial Facility
This book fills a critical gap as a textbook and reference book on the comprehensive environmental impacts of industrial ...
Continue reading
Grouping Multidimensional Data
Clustering is one of the most fundamental and essential data analysis techniques. Clustering can be used as an independent ...
Continue reading
Groupware: Design, Implementation, and Use
This volume constitutes the proceedings of the 13th International Workshop on Groupware (CRIWG 2007). This workshop aims ...
Continue reading
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, ...
Continue reading
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 ...
Continue readingHDPE Geomembranes in Geotechnics
HDPE (High-density polyethylene) geomembranes are nowadays widely used for large-area liners and construction sealings in ...
Continue reading
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 ...
Continue reading
Happiness is the Wrong Metric
This timely book addresses the conflict between globalism and nationalism. It provides a liberal communitarian response to ...
Continue reading
