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