Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=pb:Springer,'

Votre recherche a retourné 4541 résultats.

		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), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		A computational model of natural language communication interpretation, inference, and production in database semantics par Hausser,, Roland R. Publication : [S.l.] Springer 2010 . 377 p. , The ideal of using human language to control machines requires a practical theory of natural language communication that includes grammatical analysis of language signs, plus a model of the cognitive agent, with interfaces for recognition and action, an internal database, and an algorithm for reading content in and out. This book offers a functional framework for theoretical analysis of natural language communication and for practical applications of natural language processing. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des lettres et sciences humaines et sociales (1), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		Advanced dynamics and control of structures and mechanics. Publication : [S.l.] : Springer, 2004 . 292 p. ; , This book, intended for people in engineering and fundamental sciences, presents an integrated mathematical methodology for advanced dynamics and control of structures and machines, ranging from the derivation of models up to the control synthesis problem. This point of view is particularly useful as the physical insight and the associated structural properties, related e.g. to the Lagrangian or Hamiltonian framework, can be advantageously utilized. To this end, up to date results in disciplines like continuum mechanics, analytical mechanics, thermodynamics and electrodynamics are presented exploiting the differential geometric properties, with the basic notions of this coordinate-free approach revisited in an own chapter. In order to illustrate the proposed methodologies, several industrial applications, e.g., the derivation of exact solutions for the deformation compensation by shaped actuation in elastic bodies, or the coordination of rigid and flexible joint robots, are discussed. 24 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		Advances in Computer Science and Engineering : 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers Publication : Berlin, Heidelberg Springer-Verlag 2008 . xxi, 1017 pages 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in computer science, intelligent systems and environment : volume 1 / par Jin, David. Publication : New York : Springer, 2011 . 778 pages. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in Digital Image Processing and Information Technology First International Conference on Digital Image Processing and Pattern Recognition, DPPR 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings / par Nagamalai, Dhinaharan. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg : \| Springer e-books : \| Imprint: Springer : \| Springer e-books, 2011 . 1 online resource. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in independent component analysis Publication : London \| New York Springer 2000 . xvii, 279 pages 24 cm. Date : 2000 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in information processing and protection Publication : [S.l.] Springer 2010 . 457 p. , This book contains a selection of the best papers given at an international conference on advanced computer systems. The Advanced Computer Systems Conference was held in October 2006, in Miedzyzdroje, Poland. The book is organized into four topical areas: Artificial Intelligence; Computer Security and Safety; Image Analysis, Graphics and Biometrics; and Computer Simulation and Data Analysis. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in intelligent web mastering - 3 proceedings of the 7th Atlantic Web Intelligence Conference, AWIC 2011, Fribourg, Switzerland, January, 2011 / Publication : Berlin \| Heidelberg Springer 2011 . 1 online resource (ix, 234 pages) , International conference proceedings. \| Includes author index. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in macromolecules : perspectives and applications / Publication : Dordrecht ; \| New York : Springer, 2010 . 1 online resource Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Advances in speech recognition : mobile environments, call centers and clinics Publication : [S.l.] Springer 2010 . 396 p. , This volume is comprised of contributions from eminent leaders in the speech industry, and presents a comprehensive and in depth analysis of the progress of speech technology in the topical areas of mobile settings, healthcare and call centers. The material addresses the technical aspects of voice technology within the framework of societal needs, such as the use of speech recognition software to produce up-to-date electronic health records, not withstanding patients making changes to health plans and physicians. Included will be discussion of speech engineering, linguistics, human factors analysis, medical informatics, business and information technology, electronics and communications engineering, all integrated into a cohesive work. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in wireless ad hoc and sensor networks Publication : [S.l.] Springer 2010 . 312 p. , Within thirteen self-contained chapters, these volume provides a complete survey of the state-of-the-art research that encompasses all areas of ad hoc and sensor networks.� Written by distinguished researchers in the field, these chapters focus on the theoretical and experimental study of advanced research topics involving security and trust, broadcasting and multicasting, power control and energy efficiency, and QoS provisioning. This book is a great reference tool for graduate students, researchers, and mathematicians interested in studying mobile ad hoc and sensor networks. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Algebraic geometry and geometric modeling. Publication : [S.l.] : Springer, 2006 . 252 p. ; , Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Algebraic geometry V : fano varieties. Publication : [S.l.] : Springer, 2001 . 247 p. ; , The aim of this survey, written by V.A. Iskovskikh and Yu.G. Prokhorov, is to provide an exposition of the structure theory of Fano varieties, i.e. algebraic vareties with an ample anticanonical divisor. Such varieties naturally appear in the birational classification of varieties of negative Kodaira dimension, and they are very close to rational ones. This EMS volume covers different approaches to the classification of Fano varieties such as the classical Fano-Iskovskikh "double projection" method and its modifications, the vector bundles method due to S. Mukai, and the method of extremal rays. The authors discuss uniruledness and rational connectedness as well as recent progress in rationality problems of Fano varieties. The appendix contains tables of some classes of Fano varieties. This book will be very useful as a reference and research guide for researchers and graduate students in algebraic geometry. 25 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)