Formal Aspects in Security and Trust
Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
اقرأ المزيد
Formal Aspects in Security and Trust (vol. # 3866)
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
اقرأ المزيد
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
اقرأ المزيد
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
اقرأ المزيد
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
اقرأ المزيد
Formal Techniques for Networked and Distributed Systems – FORTE 2007
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
اقرأ المزيد
Forming the Mind
The book collects essays from some of the foremost scholars in a relatively new and very promising field of research. It ...
اقرأ المزيد
Forward-Backward Stochastic Differential Equations and their Applications
This volume is a survey/monograph on the recently developed theory of forward-backward stochastic differential equations ...
اقرأ المزيد
Fossil Earthquakes: The Formation and Preservation of Pseudotachylytes
This book encompass the principl results of field investigations, analyses of meso-scale and micro-scale textures and structures, ...
اقرأ المزيد
Foundation ASP for Dreamweaver 8
Dreamweaver 8 takes a lot of the hard work out of performing tasks such as integrating a database into your website, but ...
اقرأ المزيد
Foundation ActionScript 3.0 with Flash CS3 and Flex
If you want to create exciting dynamic web sites that will amaze your online audience, then the Flash platform is a great ...
اقرأ المزيد
Foundation Flex for Designers
All Flex applications look the same—a blue-gray background and silver-skinned components—right? That doesn't have to ...
اقرأ المزيد
Foundation Website Creation with CSS, XHTML, and JavaScript
Foundation Website Creation with CSS, XHTML, and JavaScript covers the entire process of building a website. This process ...
اقرأ المزيد
Foundation of Semantic web technologies / Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph
Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...
اقرأ المزيد
Foundations of ASP.NET AJAX
Foundations of ASP.NET AJAX gives you a detailed grounding in how ASP.NET AJAX works. It takes you swiftly through the basic ...
اقرأ المزيد
Foundations of Ajax
Ajax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed ...
اقرأ المزيد
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 Quantum Physics
Intended to be used as a textbook for an introductory course in quantum mechanics at the undergraduate level, Foundations ...
اقرأ المزيد
