Electronic Books

Total Books: 301 - 320 /686

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

Financial Cryptography and Data Security : 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial ...

Finite Model Theory

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...

Finite Model Theory

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...

Finite Model Theory and Its Applications

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...

Finite Model Theory and Its Applications

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...

Formal Aspects in Security and Trust (vol. # 173)

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Formal Models of Operating System Kernels

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

Formal Techniques for Networked and Distributed Systems - FORTE 2006

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...

Foundation ActionScript for Flash 8

This book contains all you need to understand and make use of ActionScript, and to have some fun while learning. The Foundation ...

Foundations of Information and Knowledge Systems

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

Foundations of Learning Classifier Systems

This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computational Structures (vol. # 3441)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

Fracture of Nano and Engineering Materials and Structures

The 16th European Conference of Fracture (ECF16) was held in Greece, July, 2006. Emphasis was given to the failure of nanostructured ...

Fragmentation in Semi-Arid and Arid Landscapes

Exploring the concept of fragmentation, the ecological processes interrupted by fragmentation, and the social consequences ...

Frontiers in Algorithmics

This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...

Total Books: 301 - 320 /686