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 ...
اقرأ المزيد
Fast Software Encryption (vol. # 4047)
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
اقرأ المزيد
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 Diagnosis and Tolerance in Cryptography
The sophistication of the underlying cryptographic algorithms, the high complexity of the implementations, and the easy access ...
اقرأ المزيد
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 Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
اقرأ المزيد
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 ...
اقرأ المزيد
