Electronic Books

Total Books: 1961 - 1980 /5423

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

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

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

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

Theories about the ontological structure of the world have generally been described in informal, intuitive terms, and the ...

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

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

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...

The book collects essays from some of the foremost scholars in a relatively new and very promising field of research. It ...

This book attempts to show that an examination of the list’s formal features has the potential to produce genuine insights ...

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 is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities ...

In this book, we look specifically at using Dreamweaver's built-in server behaviors to build dynamic web sites using PHP ...

This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...

Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...

Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...

Foundations and Applications of Sensor Management presents the emerging theory of sensor management with applications to ...

Total Books: 1961 - 1980 /5423