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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 Atlas
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundations of Intelligent Systems (vol. # 3488)
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
اقرأ المزيد
Foundations of Intelligent Systems (vol. # 4203)
This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ...
اقرأ المزيد
Foundations of Quantum Physics
Intended to be used as a textbook for an introductory course in quantum mechanics at the undergraduate level, Foundations ...
اقرأ المزيد
Foundations of Trusted Autonomy
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
اقرأ المزيد
Founders at Work : Stories of Startups’ Early Days
Founders at Work: Stories of Startups' Early Days is a collection of interviews with founders of famous technology companies ...
اقرأ المزيد
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
From Brows to Trust
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 ...
اقرأ المزيد
From Computer Literacy to Informatics Fundamentals
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
اقرأ المزيد
From GSM to LTE-Advanced Pro and 5G: An Introduction to Mobile Networks and Mobile Broadband / Martin Sauter
Offers an authoritative guide to the technical descriptions of the various wireless technologies currently in use. Explains ...
اقرأ المزيد
From Grids to Service and Pervasive Computing
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed ...
اقرأ المزيد
From Herbs to Healing : Pharmacognosy - Phytochemistry - Phytotherapy - Biotechnology / Éva Szöke, Ágnes Kéry, Éva Lemberkovics
Demonstrates the place of phytotherapy in healing, the role of herbs in complementary and traditional therapy, and research ...
اقرأ المزيد
