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