Electronic Books

Total Books: 3121 - 3140 /8429

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

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

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

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

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

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

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

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

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

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

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

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

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

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

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

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

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

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

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

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