Formal Aspects in Security and Trust
Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
Lire la suite
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 ...
Lire la suite
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite
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 ...
Lire la suite
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lire la suite
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Lire la suite
Formal Modeling and Analysis of Timed Systems
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Lire la suite
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Lire la suite
Foundation Flash 8
The fourth edition of friends of ED's legendary beginner Flash book, Foundation Flash 8 uses a series of structured exercises ...
Lire la suite
Foundation Flex for Designers
All Flex applications look the same—a blue-gray background and silver-skinned components—right? That doesn't have to ...
Lire la suite
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 ...
Lire la suite
Foundations of AOP for J2EE Development
Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...
Lire la suite
Foundations of Agile Python Development
You've long been enamored with the Python language, and have mastered its many nuances. Yet something seems to be missing—a ...
Lire la suite
Foundations of GTK+ Development
GTK+ is one of the most influential graphical toolkits for the Linux operating system. It is the technology upon which the ...
Lire la suite
Foundations of Microsoft® Expression Web
Expression Web, one of the excellent programs within the suite, is a powerful web site creation tool that allows you to rapidly ...
Lire la suite
Foundations of Qt Development
Foundations of Qt Development is based on Qt 4.2, and is aimed at C++ programmers who want to become proficient using this ...
Lire la suite
Foundations of SQL Server 2005 Business Intelligence
This book explains how best to use Analysis Services, SQL Server Integration Services, SQL Server Reporting Services, and ...
Lire la suite
Foundations of Social Entrepreneurship : Theory, Practical Tools and Skills / Tanja Collavo
Foundations of Social Entrepreneurship presents definitions of social entrepreneurship, explains its benefits and challenges, ...
Lire la suite
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 ...
Lire la suite
Free-Convective Heat Transfer
Free Convective Heat Transfer is a thorough survey of various kinds of free-convective flows and heat transfer. Reference ...
Lire la suite
