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