Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Weiterlesen
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Weiterlesen
Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The ...
Weiterlesen
In Fostering Innovation: How to Build an Amazing IT Team, accomplished technology strategist, executive, and leader Andrew ...
Weiterlesen
Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...
Weiterlesen
Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...
Weiterlesen
Foundations of ASP.NET AJAX gives you a detailed grounding in how ASP.NET AJAX works. It takes you swiftly through the basic ...
Weiterlesen
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
Weiterlesen
GTK+ is one of the most influential graphical toolkits for the Linux operating system. It is the technology upon which the ...
Weiterlesen
This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
Weiterlesen
This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ...
Weiterlesen
Intended to be used as a textbook for an introductory course in quantum mechanics at the undergraduate level, Foundations ...
Weiterlesen
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...
Weiterlesen
Founders at Work: Stories of Startups' Early Days is a collection of interviews with founders of famous technology companies ...
Weiterlesen
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 ...
Weiterlesen
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
Weiterlesen
Offers an authoritative guide to the technical descriptions of the various wireless technologies currently in use. Explains ...
Weiterlesen
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed ...
Weiterlesen
Demonstrates the place of phytotherapy in healing, the role of herbs in complementary and traditional therapy, and research ...
Weiterlesen