Electronic Books

Total Books: 601 - 620 /1589

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

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

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

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

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

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

Finite Difference Computing with PDEs

This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...

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

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

Formal Methods Applications and Technology

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...

Total Books: 601 - 620 /1589