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 ...
Weiterlesen
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Formal Techniques for Computer Systems and Business Processes
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Foundation PHP5 for Flash
This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Foundations of Ajax
Ajax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed ...
Weiterlesen
Foundations of Atlas
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
Weiterlesen
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 ...
Weiterlesen
Foundations of Intelligent Systems (vol. # 3488)
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
Weiterlesen
