Electronic Books

Total Books: 12/17
Algebraic Methodology and Software Technology

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...

Lire la suite
Algebras, Rings and Modules

This book provides both the classical aspects of the theory of groups and their representations as well as a general introduction ...

Lire la suite
Algèbre commutative, Chapitre 10 = Commutative Algebra, Chapter 10

Depth, Regularity, Duality The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation ...

Lire la suite
Algèbre, Chapitre 9 = Algebra, Chapter 9

Sesquilinear and quadratic forms : The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation ...

Lire la suite
Basic Notions of Algebra

This book aims to present a general survey of algebra, of its basic notions and main branches.Those parts of the book devoted ...

Lire la suite
Categories and Sheaves

This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, ...

Lire la suite
Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...

Lire la suite
Datatype-Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

Lire la suite
Datatype-Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

Lire la suite
Fundamentals of Algebraic Graph Transformation

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...

Lire la suite
Lattices and Ordered Sets

This book is intended to be a thorough introduction to the subject of ordered sets and lattices, with an emphasis on the ...

Lire la suite
Loop Spaces, Characteristic Classes and Geometric Quantization

This book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of ...

Lire la suite
Total Books: 12/17