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 ...
اقرأ المزيد
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 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 ...
اقرأ المزيد
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 Augmented Cognition
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
اقرأ المزيد
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 ...
اقرأ المزيد
From Strategy to Execution
"In this Abstract, you will learn: 1) Why businesses must become innovative; 2) How to develop creative business models; ...
اقرأ المزيد
Frontiers in Algorithmics
This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيدFundamental 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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
Fundamentals of Electrical Drives
This brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental ...
اقرأ المزيدGPU-Based Interactive Visualization Techniques
This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
اقرأ المزيد
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 ...
اقرأ المزيد
Geographic Information Science
The GIScience conference series (www. giscience. org) was created as a forum for all researchers who are interested in advancing ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Gesture in Human-Computer Interaction and Simulation
The international Gesture Workshops have become the leading interdisciplinary events for dissemination of the latest results ...
اقرأ المزيد
