Electronic Books

Total Books: 3121 - 3140 /8429

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods for Components and Objects

The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest ...

Formal Methods for Components and Objects (vol. # 3657)

This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...

Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

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. # 4202)

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

Formal Modelling in Electronic Commerce

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...

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

Formal Techniques for Computer Systems and Business Processes

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...

Formal Techniques for Distributed Objects, Components, and Systems

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

Formulas, Ingredients and Production of Cosmetics Technology of Skin- and Hair-Care Products in Japan / Hiroshi Iwata, Kunio Shimada

Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The ...

Forty Ways to Think About Architecture: Architectural History and Theory Today / Iain Borden, Murray Fraser, Barbara Penner

How do we think about architecture historically and theoretically? Forty Ways to Think about Architecture provides an introduction ...

Forward-Backward Stochastic Differential Equations and their Applications

This volume is a survey/monograph on the recently developed theory of forward-backward stochastic differential equations ...

Fossil Earthquakes: The Formation and Preservation of Pseudotachylytes

This book encompass the principl results of field investigations, analyses of meso-scale and micro-scale textures and structures, ...

Fostering Innovation: How to Build an Amazing IT Team / Andrew Laudato

In Fostering Innovation: How to Build an Amazing IT Team, accomplished technology strategist, executive, and leader Andrew ...

Foundation ActionScript 3 Animation

The material inside this book covers everything you need to know to harness the power of ActionScript 3.0. The book goes ...

Total Books: 3121 - 3140 /8429