Electronic Books

Total Books: 761 - 780 /2039

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

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

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...

This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...

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

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

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

Constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...

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

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

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

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

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

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

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

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

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

Total Books: 761 - 780 /2039