Electronic Books

Total Books: 321 - 340 /801

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...

Fashion Figures

Gain an inside perspective on what it’s like when you love math and science and happen to be a girl. Fashion Figures highlights ...

Fast Software Encryption : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

Constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...

Fiber Concrete: In Construction / Bernhard Wietek

Helps the user to correctly use fiber-reinforced concrete as a building material in accordance with its properties in order ...

Finite Element Analysis and Design of Steel and Steel–Concrete Composite Bridges / Ehab Ellobody

The book’s eight chapters begin with an overview of the various forms of modern steel and steel-concrete composite bridges, ...

Finite Elements in Structural Analysis : Theoretical Concepts and Modeling Procedures in Statics and Dynamics of Structures / Horst Werkle

Introduces the basic concepts of the finite element method in the static and dynamic analysis of beam, plate, shell and solid ...

Finite Zeros in Discrete Time Control Systems

The book starts with definition of invariant zeros and goes as far as a general characterization of output-zeroing inputs ...

Finite element design of concrete structures: Practical problems and their solutions

In Finite Element Design of Concrete Structures: practical problems and their solutions the author addresses this 'blind ...

First Course on Fuzzy Theory and Applications

This basic textbook gives an easily accessible introduction to Fuzzy theory and its applications. It provides basic and concrete ...

Fisica solare

Il volume è un'introduzione alla Fisica Solare che si propone lo scopo di illustrare alla persona che intende avvicinarsi ...

Flash Application Design Solutions

In this book, you’ll find a number of concrete Flash usability solutions that use elements such as navigation menus, data ...

Foreign Investor Misconduct in International Investment Law

examines the issue of foreign investor misconduct in modern international investment law, focusing on the approach that international ...

Forensic Psychiatry

In Forensic Psychiatry: Influences of Evil, Tom Mason brings together an international panel of experts from diverse specialties ...

Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...

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 and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

Total Books: 321 - 340 /801