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
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
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
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
Financial Management for Technology Start-Ups : How to Power Growth, Track Performance and Drive Innovation / Alnoor Bhimani
Develops the financial intelligence you need to communicate effectively with investors, implement business strategies and ...
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
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 masFire-fighter robot / Batoul Bukaai ; Ghaith Bibars ; Raghad Muallem ; Hamze Hegazi
Firefighting is an important but dangerous career that can potentially cause the loss of life, property damage and permanent ...
Lee mas
Fluent Python: Clear, Concise, and Effective Programming / Luciano Ramalho
You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
Lee mas
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lee mas
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lee mas
