IMIST


Affiner votre recherche

Votre recherche a retourné 1708 résultats.

"Classical" Algebraic K-Theory, and Connections with Arithmetic : Proceedings of the Conference held at the Seattle Research Center of the Battelle Memorial Institute, from August 28 to September 8, 1972 / par Bass, H. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg, 1973 . 1 online resource (xv, 527 pages). Date : 1973 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

A Nonlinear Theory of Generalized Functions / par Biagioni, Hebe de Azevedo. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg, 1990 . 1 online resource : Date : 1990 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

˜The œboltzmann equation and its applications / par Cercignani, Carlo. Publication : [S.l.] : Springer, 1987 . 476 p. ; , This book gives a complete exposition of the present status of the theory of the Boltzmann equation and its applications. The Boltzmann equation, an integrodifferential equation established by Boltzmann in 1872 to describe the state of a dilute gas, still forms the basis for the kinetic theory of gases. It has proved fruitful not only for the study of the classical gases Boltzmann had in mind, but also, properly generalized, for electron transport in nuclear reactors, photon transport in superfluids, and radiative transport in planetary and stellar atmospheres. The text presents a unified approach to the problems arising in these different fields, by exploiting similarities whenever they exist and underlining the differences when necessary. But the main exposition is tied to the classical equation established by Boltzmann. Hence the detailed description of applications refers almost exclusively to monatomic neutral gases. Appropiate references are given to papers dealing with similar problems arising in other fields, with particular concern for neutron transport. A unique feature is the detailed consideration of the boundary conditions to be used in connection with the Boltzmann equation. Other topics covered in detail are the derivation of the Boltzmann equation from first principles, the theory of the linearized Boltzmann equation, the use of model equations, and the various regimes of rarefied gas dynamics. In addition to updating the material to 1987, the main improvement over the previous book of the author, "Theory and Application of the Boltzmann equation" is the detailed survey of the use of the techniques of functional analysis in connection with the nonlinear Boltzmann equation, a subject which has greatly progressed in the last ten years. 24 cm. Date : 1987 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

˜The œgeometry of syzygies : a second course in commutative algebra and algebraic geometry / par Eisenbud, David. Publication : New York : Springer, 2005 . xvi, 243 p. : 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

˜The œmathematical theory of finite element methods / par Brenner, Susanne C. Publication : New York, NY : Springer-Verlag, 2002 . xv, 361 p. : 25 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

˜The œquantum mechanics solver : how to apply quantum theory to modern physics / par Basdevant, Jean-Louis. Publication : [S.l.] : Springer, 2005 . 292 p. ; , The Quantum Mechanics Solver uniquely illustrates the application of quantum mechanical concepts to various fields of modern physics. It aims at encouraging the reader to apply quantum mechanics to research problems in fields such as molecular physics, condensed matter physics or laser physics. Advanced undergraduates and graduate students will find a rich and challenging source of material for further exploration. This book consists of a series of problems concerning present-day experimental or theoretical questions on quantum mechanics. All of these problems are based on actual physical examples, even if sometimes the mathematical structure of the models under consideration is simplified intentionally in order to get hold of the physics more rapidly. The new edition features new themes, such as the progress in measuring neutrino oscillations, quantum boxes, the quantum thermometer etc. Secondly, it includes a brief summary on the basics of quantum mechanics and the formalism we use. Finally, the problems under three main themes: Elementary Particles, Nuclei and Atoms; Quantum Entanglement and Measurement; and Complex Systems. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

A Classical introduction to modern number theory / par Ireland,, Kenneth. Publication : [S.l.] : Springer, 1990 . 389 p. ; , Bridging the gap between elementary number theory and the systematic study of advanced topics, A CLASSICAL INTRODUCTION TO MODERN NUMBER THEORY is a well-developed and accessible text that requires only a familiarity with basic abstract algebra. Historical developement is stressed throughout, along with wide-ranging coverage of significant results with comparitively elementary proofs, some of them new. An extensive bibliography and many challenging exercises are also included. This second edition has been corrected and contains two new chapters which provide a complete proof of the Mordel-Weil theorem for elliptic curves over the rational numbers, and an overview of recent progress on the arithmetic of elliptic curves. 24 cm. Date : 1990 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

A first course in harmonic analysis par Deitmar, Anton. Publication : [S.l.] Springer 2010 . 192 p. , Affordable softcover second edition of bestselling title (over 1000 copies sold of previous edition) A primer in harmonic analysis on the undergraduate level Gives a lean and streamlined introduction to the central concepts of this beautiful and utile theory. Entirely based on the Riemann integral and metric spaces instead of the more demanding Lebesgue integral and abstract topology. Almost all proofs are given in full and all central concepts are presented clearly. Provides an introduction to Fourier analysis, leading up to the Poisson Summation Formula. Make the reader aware of the fact that both principal incarnations of Fourier theory, the Fourier series and the Fourier transform, are special cases of a more general theory arising in the context of locally compact abelian groups. Introduces the reader to the techniques used in harmonic analysis of noncommutative groups. These techniques are explained in the context of matrix groups as a principal example. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Abelian Group Theory : Proceedings of the 2nd New Mexico State University Conference, held at LasCruces, New Mexico, December 9-12, 1976 / par Arnold, D. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg, 1977 . 1 online resource : Date : 1977 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Abelian harmonic analysis, theta functions, and function algebra on a nilmanifold par Auslander, Louis. Publication : Berlin | New York Springer-Verlag 1975 . 1 online resource (98 pages). , Electronic reproduction.. [S.l.] :, 2010. Date : 1975 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Abstract harmonic analysis of continuous wavelet transforms / par Fuehr,, Hartmut. Publication : New York : Springer, 2005 . x, 193 p. ; 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Abstract non-linear wave equations par Reed,, Michael C. Publication : Berlin [et cetera] Springer-Verlag 1976 . 1 online resource (vi, 128 pages :) , Based on lectures delivered at the Zentrum für interdisziplinäre Forschung in 1975. Date : 1976 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Adaptive filtering : algorithms and practical implementation / par Diniz, Paulo S.R. Publication : [S.l.] : Springer, 2008 . 632 p. ; , This book presents the basic concepts of adaptive signal processing and adaptive filtering in a concise and straightforward manner. The main classes of adaptive filtering algorithms are presented in a unifed framework using clear notations that facilitate actual implementation. The main algorithms are described in tables which are detailed enough to allow the reader to verify the learned concepts. Many examples address problems drawn from actual applications. This book covers the family of LMS and algorithms as well as set-membership, sub-band, blind, IIR adaptive filtering, and more. Several problems are included at the end of chapters and some of these problems address applications. A user-friendly MATLAB package is provided where the reader can easily solve new problems and test all of the algorithms in a fast manner. Additionally, the book provides easy access to working algorithms for practicing engineers. The book has a solutions manual that is available from the publisher for instructors. Another resource for instructors is a set of master transparencies as a MATLAB Package including the MATLAB codes for all the algorithms described in the text which is available from the author. The author also has a webpage for the book. 27 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Additive and Cancellative Interacting Particle Systems / par Griffeath, D. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg, 1979 . 1 online resource : Date : 1979 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Advanced asic chip synthesis using synopsys℗ design compiler℗ physical compiler℗ and primetime℗ / par Bhatnagar, Himanshu. Publication : [S.l.] : Springer, 2001 . 360 p. ; , Advanced ASIC Chip Synthesis: Using Synopsys TM Design CompilerTM Physical CompilerTM and PrimeTime TM, Second Edition describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools. In addition, the entire ASIC design flow methodology targeted for VDSM (Very-Deep-Sub-Micron) technologies is covered in detail. The emphasis of this book is on real-time application of Synopsys tools, used to combat various problems seen at VDSM geometries. Readers will be exposed to an effective design methodology for handling complex, sub-micron ASIC designs. Significance is placed on HDL coding styles, synthesis and optimization, dynamic simulation, formal verification, DFT scan insertion, links to layout, physical synthesis, and static timing analysis. At each step, problems related to each phase of the design flow are identified, with solutions and work-around described in detail. In addition, crucial issues related to layout, which includes clock tree synthesis and back-end integration (links to layout) are also discussed at length. Furthermore, the book contains in-depth discussions on the basis of Synopsys technology libraries and HDL coding styles, targeted towards optimal synthesis solution. Target audiences for this book are practicing ASIC design engineers and masters level students undertaking advanced VLSI courses on ASIC chip design and DFT techniques. 24 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Advanced mathematical methods for scientists and engineers / par Bender, Carl M. Publication : New York : Springer, 1999 . xiv, 593 p. : , Originally published: New York : McGraw-Hill, c1978. 25 cm. Date : 1999 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Advanced motion control and sensing for intelligent vehicles / par Li, Li. Publication : [S.l.] : Springer, 2007 . 448 p. ; , Advanced Motion Control and Sensing for Intelligent Vehicles provides the latest information in intelligent vehicle control, sensing, and intelligent transportation. It addresses the growing need for safe, comfortable, time and energy-efficient modes of transportation with emphasis on the latest key findings, current trends, and likely future developments in this rapidly expanding field. Highlights: Discusses individual vehicle dynamics, sensory and multiple ground-vehicle interactions Includes systematic review of past and current research achievements Presents case studies in cutting-edge directions such as vehicle steering motion, vehicle vision systems, cooperative driving, intersection safety, and tire pressure monitoring Assesses the likely future developments of this field   This book is useful for both practicing engineers and researchers in the automotive industry. 25 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Algebra in a Localic Topos with Applications to Ring Theory / par Borceux, Francis Publication : Berlin ; | New York: Springer-Verlag, 1983 . ix, 240 pages : 25 cm. Date : 1983 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Algebraic Combinatorics : Lectures at a Summer School in Nordfjordeid, Norway, June 2003 / par Floystad, Gunnar. Publication : Berlin Heidelberg : Springer-Verlag., 2007 . 1 online resource. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha