Electronic Books

Total Books: 1261 - 1280 /3466

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...

Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The ...

A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...

The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared ...

In Fostering Innovation: How to Build an Amazing IT Team, accomplished technology strategist, executive, and leader Andrew ...

If you're a reasonably experienced Flash user who has mastered the basics but wants to empower your SWFs, taking them further ...

Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...

This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...

XML is a completely platform-agnostic data medium. Flash is able to make use of XML data, which is very useful when creating ...

Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...

Foundations of ASP.NET AJAX gives you a detailed grounding in how ASP.NET AJAX works. It takes you swiftly through the basic ...

Ajax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed ...

This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...

GTK+ is one of the most influential graphical toolkits for the Linux operating system. It is the technology upon which the ...

This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...

Total Books: 1261 - 1280 /3466