Theory of Cryptography
TCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
اقرأ المزيدThermo-Dynamics of Plates and Shells
This monograph is devoted to the investigation of nonlinear dynamics of plates and shells embedded in a temperature field. ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيدTools 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 ...
اقرأ المزيدTools 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Topics in Cohomological Studies of Algebraic Varieties
The articles in this volume study various cohomological aspects of algebraic varieties: - characteristic classes of singular ...
اقرأ المزيد
Topics in Discrete Mathematics
Leading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number ...
اقرأ المزيد
Topics in Galois Fields
Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Topological Methods in Group Theory
Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...
اقرأ المزيد
Topological and Bivariant K-theory
Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
اقرأ المزيد
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
اقرأ المزيد
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد
