Electronic Books

Total Books: 761 - 780 /2039

FM 2005: Formal Methods

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

FM 2006: Formal Methods

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...

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

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

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

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

Facebook API Developers Guide

The Facebook API allows web developers to create Facebook applications and access Facebook data from other applications. ...

Facelets Essentials: Guide to JavaServer™ Faces View Definition Framework

Facelets is a templating language developed from the ground up with JavaServer Faces in mind. Created in response to the ...

Famine Early Warning Systems and Remote Sensing Data

This book describes the interdisciplinary work of USAID’s Famine Early Warning System Network (FEWS NET) and its in uence ...

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

Fast, Efficient and Predictable Memory Accesses

Fast, Efficient and Predictable Memory Accesses presents techniques for designing fast, energy-efficient and timing predictable ...

Fault-Tolerance Techniques for SRAM-Based FPGAs

This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing ...

Feasibility and Infeasibility in Optimization : Algorithms and Computational Methods

Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical ...

Feynman Integral Calculus

The problem of evaluating Feynman integrals over loop momenta has existed from the early days of perturbative quantum field ...

Field Measurements for Forest Carbon Monitoring

This volume is a comprehensive guide to the methods and techniques employed in forest carbon inventory and monitoring. Since ...

Fieldwork for Design

Fieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...

Fieldwork for Design

Fieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...

Fine- and Coarse-Grain Reconfigurable Computing

The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...

Finite Difference Computing with Exponential Decay Models

This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...

Total Books: 761 - 780 /2039