Electronic Books

Total Books: 241 - 260 /275

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

The search for optimal solutions pervades our daily lives. From the scientific point of view, optimization procedures play ...

Book I Linear Systems introduces structural design concepts that include the CAD-based design model, design parameterization, ...

This is the first book of robotics presenting solutions of uncoupled and fully-isotropic parallel robotic manipulators and ...

Construction time constraints are partly responsible for the increasingly prevalent use of structural steel. The need for ...

In today’s ever-changing global world, there is a permanent need for anticipating new and evolving customer needs, resource ...

In the first part of this book, devoted to classical field theory, such a mechanism is explained in terms of the occurrence ...

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...

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

PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

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

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...

The justified-constraint theory avoids the problems which have bedeviled the interest/benefit theories and the choice/will ...

Discusses theoretically and empirically the trade-off relationship between the frequency of product adaptation activities ...

This book investigates central issues in the philosophy of memory. Does remembering require a causal process connecting the ...

Developments in cognitive science indicate that human and nonhuman primates share a range of behavioral and physiological ...

One of the most striking macroeconomic developments during the last three decades is the rise and persistence of large fiscal ...

This book discusses the current role of smallholders in connection with food security and poverty reduction in developing ...

Total Books: 241 - 260 /275