This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Lire la suiteThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Lire la suiteHypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Lire la suiteThe Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
Lire la suiteThis book is intended to be a thorough introduction to the subject of ordered sets and lattices, with an emphasis on the ...
Lire la suiteThe papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
Lire la suiteThe theory of Lie algebras and algebraic groups has been an area of active research in the last 50 years. It intervenes in ...
Lire la suiteThis book, designed for advanced graduate students and post-graduate researchers, provides an introduction to Lie algebras ...
Lire la suiteThe predictive power of mathematics in quantum phenomena is one of the great intellectual successes of the 20th century. ...
Lire la suiteThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suiteConstitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lire la suiteThe book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Lire la suiteModern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Lire la suiteThe editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lire la suiteThe 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
Lire la suiteThis book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
Lire la suiteThis book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...
Lire la suiteThe subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...
Lire la suite