Electronic Books

Total Books: 2041 - 2060 /6016

Form-Oriented Analysis

Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...

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 Concept Analysis (vol. # 3403)

This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...

Formal Concept Analysis (vol. # 3874)

This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

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

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 Medieval Logical Theories

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence ...

Formulating Poorly Water Soluble Drugs / Robert O. Williams III, Daniel A. Davis Jr., Dave A. Miller

A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...

Formulation of Appropriate Laws: A New Integrated Multidisciplinary Approach and an Application to Electronic Funds Transfer Regulation

This book presents such an approach using the Electronic Funds Transfer (EFT) regulation in Australia as its vehicle of analysis. ...

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

Total Books: 2041 - 2060 /6016