Electronic Books

Total Books: 601 - 620 /1589

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

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

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

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

Develops the financial intelligence you need to communicate effectively with investors, implement business strategies and ...

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

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

Firefighting is an important but dangerous career that can potentially cause the loss of life, property damage and permanent ...

You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...

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

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

Total Books: 601 - 620 /1589