Calculus of One Variable
Aimed at first-year undergraduates in mathematics and the physical sciences, the only prerequisites are basic algebra, coordinate ...
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
Classical Geometries in Modern Contexts
This book is based on real inner product spaces X of arbitrary (finite or infinite) dimension greater than or equal to 2. ...
Lire la suite
Classification Algorithms for Codes and Designs
Almost a century earlier, in 1782, Euler [180] published some results on classifying small Latin squares, but for the ?rst ...
Lire la suite
Combinatorial Optimization
This comprehensive textbook on combinatorial optimization puts special emphasis on theoretical results and algorithms with ...
Lire la suite
Combinatorial Optimization : Theory and Algorithms
This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with ...
Lire la suite
Completeness Theory for Propositional Logics
Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion ...
Lire la suite
Complexity Theory
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
Lire la suite
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
Lire la suite
Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Lire la suite
Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lire la suite
Computer Science -- Theory and Applications
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Lire la suite
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suite
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suite
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lire la suite
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lire la suite
Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Lire la suite
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
Lire la suite
Concepts and Results in Chaotic Dynamics: A Short Course
The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and ...
Lire la suite
Concepts and Results in Chaotic Dynamics: A Short Course
The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and ...
Lire la suite
