Electronic Books

Total Books: 2941 - 2960 /8007
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 mas
NoIMG
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 ...

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
Total Books: 2941 - 2960 /8007