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, ...
اقرأ المزيد
