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