Electronic Books

Total Books: 1 - 20 /167
3-D Structural Geology

This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; ...

Weiterlesen
A Roadmap for Formal Property Verification

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

Weiterlesen
ASP.NET 1.1 Solutions Toolkit

This collection of reusable ASP.NET components serves two purposes. First, the components are ready to use, so you may add ...

Weiterlesen
Acquiring Card Payments / Ilya Dubinsky

Covers: Payment cards and protocols EMV contact chip and contactless transactions Disputes, arbitration, and compliance Data ...

Weiterlesen
Action Research in Software Engineering : Theory and Applications

This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...

Weiterlesen
Advances in Multilingual and Multimodal Information Retrieval : 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th Workshop of the Cross-Language Evaluation Forum, CLEF ...

Weiterlesen
Advances in Targeted Cancer Therapy

This volume is the first book to cover the general topic of targeted cancer therapy. It presents a range of targets such ...

Weiterlesen
Agent Technology from a Formal Perspective

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...

Weiterlesen
Agent-Oriented Software Engineering VI

This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...

Weiterlesen
Ajax in Oracle JDeveloper

The book covers web search and RSS Feed with Ajax as well as form validation with Ajax frameworks for Java, JSP, JSF, and ...

Weiterlesen
Application and Theory of Petri Nets 2002

This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...

Weiterlesen
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Weiterlesen
Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Weiterlesen
Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

Weiterlesen
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Weiterlesen
Bayesian Reliability

Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The ...

Weiterlesen
Beginning ASP.NET 2.0 in C# 2005

This book provides thorough coverage of ASP.NET, guiding you from beginning to advanced techniques, such as querying databases ...

Weiterlesen
Beginning ASP.NET 2.0 in VB 2005

This book includes best practices and comprehensive discussions about key database and XML principles, which are essential ...

Weiterlesen
Beginning Ajax with PHP

Beginning Ajax with PHP: From Novice to Professional is the first book to introduce how these two popular technologies can ...

Weiterlesen
Beginning Apache Struts

Beginning Apache Struts will provide you a working knowledge of Apache Struts 1.2. This book is ideal for you Java programmers ...

Weiterlesen
Total Books: 1 - 20 /167