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