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, ...
Lee mas
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Lee mas
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 ...
Lee mas
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
Lee mas
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lee mas
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 ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lee mas
Formalizing Medieval Logical Theories
This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence ...
Lee masForms 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Foundation 3ds Max 8 Architectural Visualization
Welcome to the world of 3D architectural visualizations using the most powerful and versatile 3D software package on the ...
Lee mas
Foundation ASP.NET for Flash
If you're a reasonably experienced Flash user who has mastered the basics but wants to empower your SWFs, taking them further ...
Lee mas
Foundation ActionScript 3.0 with Flash CS3 and Flex
If you want to create exciting dynamic web sites that will amaze your online audience, then the Flash platform is a great ...
Lee mas
Foundation Flash 8
The fourth edition of friends of ED's legendary beginner Flash book, Foundation Flash 8 uses a series of structured exercises ...
Lee mas
Foundation Flash 8 Video
This book is the ultimate guide to Flash 8 video it offers practical advice, technical guidance, and a full series of creative ...
Lee mas
