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, ...
Lee mas
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
Lee mas
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
Lee mas
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 ...
Lee mas
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
Lee mas
Face Biometrics for Personal Identification
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lee mas
Face Biometrics for Personal Identification
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lee mas
Factorization Method in Quantum Mechanics
Introduces the factorization method in quantum mechanics at an advanced level with an aim to put mathematical and physical ...
Lee mas
Factorization of Matrix and Operator Functions: The State Space Method
The present book deals with factorization problems for matrix and operator functions. The problems originate from, or are ...
Lee mas
Fading Foundations
This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
Lee mas
Fashion Recommender Systems / Nima Dokoohaki
The impact of social networks and the influence that fashion influencers have on the choices people make for shopping is ...
Lee masFeminist Methodologies : Experiments, Collaborations and Reflections
This book gives insights into feminist methodologies in theory and practice. By foregrounding the experiential and embodied ...
Lee mas
Feynman Integral Calculus
The problem of evaluating Feynman integrals over loop momenta has existed from the early days of perturbative quantum field ...
Lee mas
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 ...
Lee mas
Fibonacci’s De Practica Geometrie = Fibonacci’s Practice Geometry
Practical Geometry is the name of the craft for medieval landmeasurers, otherwise known as surveyors in modern times. Fibonacci ...
Lee mas
Field Models in Electricity and Magnetism
Covering the development of field computation in the past forty years, Field Models in Electricity and Magnetism intends ...
Lee mas
Fieldwork for Design
Fieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...
Lee mas
Fieldwork for Design
Fieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...
Lee masFinite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
Lee mas
Finite Difference Computing with PDEs
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
Lee mas
