الكتب الالكترونية

عدد الكتب: 161 - 178 /178
978-1-4020-5036-7
The Heart of Cohomology

Fundamental notions in cohomology for examples, functors, representable functors, Yoneda embedding, derived functors, spectral ...

اقرأ المزيد
978-0-8176-4603-5
The Legacy of Mario Pieri in Geometry and Arithmetic

The Italian mathematician Mario Pieri (1860-1913) played an integral part in the research groups of Corrado Segre and Giuseppe ...

اقرأ المزيد
978-3-540-77659-8
The Modern Algebra of Information Retrieval

This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information ...

اقرأ المزيد
978-3-7643-7536-2
The Monodromy Group

In singularity theory and algebraic geometry, the monodromy group is embodied in the Picard-Lefschetz formula and the Picard-Fuchs ...

اقرأ المزيد
978-3-7643-7536-2
The Monodromy Group

In singularity theory and algebraic geometry, the monodromy group is embodied in the Picard-Lefschetz formula and the Picard-Fuchs ...

اقرأ المزيد
978-0-8176-4467-3
The Unity of Mathematics

The invited papers in this volume reflect the unity of mathematics as a whole, with particular emphasis on the many connections ...

اقرأ المزيد
978-3-540-69224-9
Theory and Applications of Relational Structures as Knowledge Instruments II

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

اقرأ المزيد
NoIMG
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 ...

اقرأ المزيد
NoIMG
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 ...

اقرأ المزيد
978-3-7643-7342-9
Topics in Cohomological Studies of Algebraic Varieties

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

اقرأ المزيد
978-3-030-60806-4
Topics in Galois Fields

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

اقرأ المزيد
978-3-030-48412-5
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 ...

اقرأ المزيد
978-0-387-74614-2
Topological Methods in Group Theory

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

اقرأ المزيد
978-3-7643-8310-7
Tropical Algebraic Geometry

Tropical geometry is algebraic geometry over the semifield of tropical numbers, i.e., the real numbers and negative infinity ...

اقرأ المزيد
978-3-030-26454-3
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...

اقرأ المزيد
978-3-540-68103-8
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

اقرأ المزيد
978-3-540-76649-0
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 ...

اقرأ المزيد
978-981-19-5607-2
Vector Semantics / András Kornai

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

اقرأ المزيد
عدد الكتب: 161 - 178 /178