Electronic Books

Total Books: 181 - 200 /201

Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control

Semiconcavity is a natural generalization of concavity that retains most of the good properties known in convex analysis, ...

Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings

This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...

Simulation-based Algorithms for Markov Decision Processes

Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, ...

Soft Computing for Knowledge Discovery and Data Mining

The first three parts of this book are devoted to the principal constituents of soft computing: neural networks, evolutionary ...

Soft Computing in Industrial Applications

Soft Computing admits approximate reasoning, imprecision, uncertainty and partial truth in order to mimic aspects of the ...

Soft Computing in Web Information Retrieval

This book presents some recent works on the application of Soft Computing techniques in information access on the World Wide ...

Soft Computing: Methodologies and Applications

This carefully edited book covers a wide range of application areas of soft computing like optimization, data analysis and ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Supply Chain Optimization

Supply Chain Optimization captures the latest results in a segment of current research activity in supply chain management. ...

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...

Term Rewriting and Applications

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

UML Modeling Languages and Applications

This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...

Ultrascale Computing Systems

The needs of future digital data and computer systems are expected to be two to three orders of magnitude larger than for ...

Unconventional Computation (vol. # 4135)

This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...

Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Valuing Agroforestry Systems

he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...

Total Books: 181 - 200 /201