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