Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Continue reading
Theory of Association Schemes
The present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Continue reading
Topics in Dynamic Model Analysis
Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...
Continue reading
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 ...
Continue reading
Topological Fixed Point Theory of Multivalued Mappings
This book is an attempt to give a systematic presentation of results and me- ods which concern the ?xed point theory of multivalued ...
Continue reading
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Continue reading
Transseries and Real Differential Algebra
Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Continue reading
Trapped Charged Particles and Fundamental Interactions
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Continue reading
Trends in Continuum Mechanics of Porous Media
This book addresses postgraduate students and scientists working in engineering, physics, and mathematics. It provides an ...
Continue reading
Tsunamis and Hurricanes
This book presents new research on the mathematical description of tsunamis and hurricanes. The book uses the equivalence ...
Continue reading
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Continue reading
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Continue reading
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Continue reading
Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique
This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
Continue reading
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Continue reading
