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 ...
Lee mas
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lee mas
Formal Methods for Components and Objects (vol. # 3657)
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
Lee mas
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Lee mas
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Lee mas
Formal Techniques for Computer Systems and Business Processes
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Lee mas
Formulas, Ingredients and Production of Cosmetics Technology of Skin- and Hair-Care Products in Japan / Hiroshi Iwata, Kunio Shimada
Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The ...
Lee mas
Formulating Poorly Water Soluble Drugs / Robert O. Williams III, Daniel A. Davis Jr., Dave A. Miller
A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...
Lee mas
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared ...
Lee mas
Fostering Innovation: How to Build an Amazing IT Team / Andrew Laudato
In Fostering Innovation: How to Build an Amazing IT Team, accomplished technology strategist, executive, and leader Andrew ...
Lee mas
Foundation ASP.NET for Flash
If you're a reasonably experienced Flash user who has mastered the basics but wants to empower your SWFs, taking them further ...
Lee mas
Foundation Flex for Developers : Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS
Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...
Lee mas
Foundation PHP5 for Flash
This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...
Lee mas
Foundation XML for Flash
XML is a completely platform-agnostic data medium. Flash is able to make use of XML data, which is very useful when creating ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Foundations of Ajax
Ajax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed ...
Lee mas
Foundations of Atlas
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
Lee mas
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 ...
Lee mas
Foundations of Intelligent Systems (vol. # 3488)
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
Lee mas
