Electronic Books

Total Books: 1941 - 1960 /2039

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...

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

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

Leading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number ...

Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.

This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...

This issue of the journal reports someContains contributions presented at the first Converging Science conference held at ...

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Transformations and projections are used extensively in Computer Graphics, a field which is now a part of everyone’s lives ...

This book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural ...

This textbook provides a comprehensive resource for translation students and educators embarking on the challenge of translating ...

This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...

This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...

What do you do when your database application isn't running fast enough? You troubleshoot, of course. Finding the slow part ...

Total Books: 1941 - 1960 /2039