Electronic Books

Total Books: 201 - 220 /501

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 ...

Total Books: 201 - 220 /501