Electronic Books

Total Books: 1801 - 1820 /1913

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

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 ...

In this book a variety of many-body phenomena in condensed matter are discussed, with special attention paid to the understanding ...

Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...

This book presents topics in applied dynamic macrotheory for closed and open economies. The authors give an advanced treatment ...

The articles in this volume study various cohomological aspects of algebraic varieties: - characteristic classes of singular ...

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...

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

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

This book presents survey articles on some of these new developments. Most of the material is directly related to the interaction ...

This text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...

This book is an attempt to give a systematic presentation of results and me- ods which concern the ?xed point theory of multivalued ...

Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...

Deals with topological quantum field theories and their applications to topological aspects of four manifolds. This book ...

Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...

Total Books: 1801 - 1820 /1913