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