FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lee mas
FM 2006: Formal Methods
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lee mas
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
Facebook API Developers Guide
The Facebook API allows web developers to create Facebook applications and access Facebook data from other applications. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Fast, Efficient and Predictable Memory Accesses
Fast, Efficient and Predictable Memory Accesses presents techniques for designing fast, energy-efficient and timing predictable ...
Lee mas
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 ...
Lee mas
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 ...
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
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 ...
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 mas
Fine- and Coarse-Grain Reconfigurable Computing
The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...
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
