Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Continue reading
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Continue reading
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Continue reading
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 Augmented Cognition
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
Continue reading
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
Continue reading
From Strategy to Execution
"In this Abstract, you will learn: 1) Why businesses must become innovative; 2) How to develop creative business models; ...
Continue reading
Frontiers in Algorithmics
This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...
Continue reading
Frontiers of WWW Research and Development -- APWeb 2006
This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...
Continue reading
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue readingFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue reading
Fundamentals of Building Performance Simulation / Ian Beausoleil-Morrison
Pares the theory and practice of a multi-disciplinary field to the essentials for classroom learning and real-world applications. ...
Continue reading
Fundamentals of Electrical Drives
This brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental ...
Continue readingGPU-Based Interactive Visualization Techniques
This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
Continue reading
Genetic Programming ; 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the ...
Continue reading
Geographic Information Science
The GIScience conference series (www. giscience. org) was created as a forum for all researchers who are interested in advancing ...
Continue reading
Geological Storage of Highly Radioactive Waste : Current Concepts and Plans for Radioactive Waste Disposal
The book describes and assesses current concepts for long-term disposal of highly radioactive waste. Different types of rock ...
Continue reading
Geospatial Services and Applications for the Internet
This book covers a wide spectrum of techniques, algorithms and modeling methodologies that address the challenges in service-oriented ...
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
