Introduces the factorization method in quantum mechanics at an advanced level with an aim to put mathematical and physical ...
Lire la suiteField Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Lire la suiteField Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment ...
Lire la suiteThis book presents the basic theory of fields, starting more or less from the beginning. It is suitable for a graduate course ...
Lire la suiteThis book presents the basic theory of fields, starting more or less from the beginning. It is suitable for a graduate course ...
Lire la suiteThe pioneering work of Abel and Galois in the early nineteenth century demonstrated that the long-standing quest for a solution ...
Lire la suiteThe pioneering work of Abel and Galois in the early nineteenth century demonstrated that the long-standing quest for a solution ...
Lire la suiteThe book starts with definition of invariant zeros and goes as far as a general characterization of output-zeroing inputs ...
Lire la suiteThe chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Lire la suiteThis book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Lire la suiteFormal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...
Lire la suiteThis volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
Lire la suiteThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Lire la suiteThe aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Lire la suiteIn this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
Lire la suite