Electronic Books

Total Books: 281 - 300 /887

Fluid Transport in Nanoporous Materials

The most promising include molecular sieves which are being developed as inorganic or polymeric systems with 0. 3-30nm in ...

Foresight and Design : Composing Future Places / Mark C. Childs

Every plan, pro-forma, design, building contract, and construction schedule is a proposal about future places. To help improve ...

Formal Approaches to Agent-Based Systems

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...

Formal Methods Applications and Technology

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

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 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 Methods in Software and Systems Modeling

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

Formal Modeling and Analysis of Timed Systems

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...

Formal Modeling and Analysis of Timed Systems (vol. # 3829)

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...

Formal Modeling and Analysis of Timed Systems (vol. # 4202)

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

Formal Techniques for Networked and Distributed Systems - FORTE 2006

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...

Formalizing the Shadow Economy in Serbia : Policy Measures and Growth Effects

The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy ...

Foundation ActionScript Animation

In this book Keith Peters guides you through some basic animation theory and then demystifies the math and physics behind ...

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

Foundations of Software Science and Computation Structures

This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...

Fractures of the Facial Skeleton / Michael Perry, Andrew K. Brown, Peter Banks

Gives a clear, concise and practical overview of the management of maxillofacial injuries. This new edition has been fully ...

Friedrich Nietzsche (1844-1900)

Until now, Friedrich Nietzsche’s influence on the development of modern social sciences has not been well documented. This ...

From Biological Control to Invasion : the Ladybird Harmonia axyridis as a Model Species

Harmonia axyridis has been described as the "most invasive ladybird on Earth". It has a long history of use as a classical ...

From Energetics to Ecosystems: the Dynamics and Structure of Ecological Systems

Ecosystems are complex and enigmatic entities that are ultimately our life support systems. Understanding these systems to ...

Total Books: 281 - 300 /887