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 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 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 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 Ontology and Conceptual Realism
Theories about the ontological structure of the world have generally been described in informal, intuitive terms, and the ...
اقرأ المزيد
Formal Refinement for Operating System Kernels
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
اقرأ المزيد
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 ...
اقرأ المزيد
Formal Techniques for Networked and Distributed Systems – FORTE 2007
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
اقرأ المزيد
Forming the Mind
The book collects essays from some of the foremost scholars in a relatively new and very promising field of research. It ...
اقرأ المزيدForms of List-Making : Epistemic, Literary, and Visual Enumeration
This book attempts to show that an examination of the list’s formal features has the potential to produce genuine insights ...
اقرأ المزيد
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 ...
اقرأ المزيد
Fostering Transformative Change for Sustainability in the Context of Socio-Ecological Production Landscapes and Seascapes (SEPLS)
This book is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities ...
اقرأ المزيد
Foundation PHP for Dreamweaver 8
In this book, we look specifically at using Dreamweaver's built-in server behaviors to build dynamic web sites using PHP ...
اقرأ المزيد
Foundation PHP5 for Flash
This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...
اقرأ المزيد
Foundations and Applications of MIS
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
اقرأ المزيد
Foundations and Applications of MIS
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
اقرأ المزيد
Foundations and Applications of Sensor Management
Foundations and Applications of Sensor Management presents the emerging theory of sensor management with applications to ...
اقرأ المزيد
