Theory of Cryptography
TCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
Lee masThermo-Dynamics of Plates and Shells
This monograph is devoted to the investigation of nonlinear dynamics of plates and shells embedded in a temperature field. ...
Lee mas
Thomas Harriots Artis Analyticae Praxis
The present work is the first ever English translation of the original text of Thomas Harriot's Artis Analyticae Praxis, ...
Lee mas
Tool and Object : A History and Philosophy of Category Theory
The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory ...
Lee masTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee masTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee mas
Topics in Analysis and its Applications
Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Lee mas
Topics in Cohomological Studies of Algebraic Varieties
The articles in this volume study various cohomological aspects of algebraic varieties: - characteristic classes of singular ...
Lee mas
Topics in Discrete Mathematics
Leading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number ...
Lee mas
Topics in Galois Fields
Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Lee mas
Topics in Geometry, Coding Theory and Cryptography
This book presents survey articles on some of these new developments. Most of the material is directly related to the interaction ...
Lee mas
Topics in Uniform Approximation of Continuous Functions
This book presents the evolution of uniform approximations of continuous functions. Starting from the simple case of a real ...
Lee mas
Topics in the Theory of Algebraic Function Fields
This text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...
Lee mas
Topological Data Analysis for Genomics and Evolution: Topology in Biology
Biology has entered the age of Big Data. A technical revolution has transformed the field, and extracting meaningful information ...
Lee mas
Topological Invariants of Stratified Spaces
The central theme of this book is the restoration of Poincaré duality, on stratified singular spaces by using Verdier-self-dual ...
Lee mas
Topological Methods in Group Theory
Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...
Lee mas
Topological and Bivariant K-theory
Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
Lee mas
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
Lee mas
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lee mas
