Calculus of One Variable
Aimed at first-year undergraduates in mathematics and the physical sciences, the only prerequisites are basic algebra, coordinate ...
Lee mas
Categories and Sheaves
This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
Combinatorial Optimization
This comprehensive textbook on combinatorial optimization puts special emphasis on theoretical results and algorithms with ...
Lee mas
Combinatorial Optimization : Theory and Algorithms
This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with ...
Lee mas
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 ...
Lee mas
Complexity Theory
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...
Lee mas
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Computer Science -- Theory and Applications
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Lee mas
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee mas
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee mas
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lee mas
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lee mas
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, ...
Lee mas
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
