This Problem Book offers a compendium of 639 exercises of varying degrees of difficulty in the subject of modules and rings ...
Lee masField Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Lee masField Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Lee masThis book presents the basic theory of fields, starting more or less from the beginning. It is suitable for a graduate course ...
Lee masThis book presents the basic theory of fields, starting more or less from the beginning. It is suitable for a graduate course ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee masSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lee masThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lee masThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lee masThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...
Lee masThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee masThe book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Lee masThe book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...
Lee masThis book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to ...
Lee masThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lee masNumber theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...
Lee masNumber theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...
Lee masIn this new edition of LNM 1693 the essential idea is to reduce questions on monotone multifunctions to questions on convex ...
Lee masThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lee masConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lee mas