IMIST


Affiner votre recherche

Votre recherche a retourné 1054 résultats.

Algebraic theory of locally nilpotent derivations / par Freudenburg, Gene. Publication : [S.l.] : Springer, 2006 . 261 p. ; , This book explores the theory and application of locally nilpotent derivations, which is a subject of growing interest and importance not only among those in commutative algebra and algebraic geometry, but also in fields such as Lie algebras and differential equations. The author provides a unified treatment of the subject, beginning with 16 First Principles on which the entire theory is based. These are used to establish classical results, such as Rentschler’s Theorem for the plane, right up to the most recent results, such as Makar-Limanov’s Theorem for locally nilpotent derivations of polynomial rings. Topics of special interest include: progress in the dimension three case, finiteness questions (Hilbert’s 14 th Problem), algorithms, the Makar-Limanov invariant, and connections to the Cancellation Problem and the Embedding Problem. The reader will also find a wealth of pertinent examples and open problems and an up-to-date resource for research. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An introduction to bisimulation and coinduction par Sangiorgi, Davide. Publication : Cambridge | New York Cambridge University Press 2012 . xii, 247 pages , "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis"-- | "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction, and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, nonwell- founded sets, etc"-- 25 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

An Introduction to geometrical physics / par Aldrovandi, R. Publication : [S.l.] : World Scientific Publishing Company, 1995 . 699 p. ; , This book stresses the unifying power of the geometrical framework in bringing together concepts from the different areas of physics. Common underpinnings of optics, elasticity, gravitation, relativistic fields, particle mechanics and others subjects are underlined. It attempts to extricate the notion of space currently in the physical literature from the metric connotation. The book's goal is to present mathematical ideas associated with geometrical physics in a rather introductory language. Included are many examples from elementary physics and also, for those wishing to reach a higher level of understanding, a more advanced treatment of the mathematical topics. It is aimed as an elementary text, more so than most others on the market, and is intended for first year graduate students. 22 cm. Date : 1995 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An Introduction to harmonic analysis on semisimple lie groups / par Varadarajan, V.S. Publication : [S.l.] : Cambridge University Press, 1999 . 326 p. ; , Broché. 23 cm. Date : 1999 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An Introduction to metric spaces and fixed point theory / par Khamsi, Mohamed A. Publication : [S.l.] : Wiley-Interscience, 2001 . 320 p. ; , Presents up-to-date Banach space results. * Features an extensive bibliography for outside reading. * Provides detailed exercises that elucidate more introductory material. 25 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An Introduction to number theory / par Everest, Graham. Publication : [S.l.] : Springer London Ltd, 2007 . 302 p. ; , Relié. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An Introduction to quantum computing / par Kaye, Phillip. Publication : [S.l.] : Oxford University Press, USA, 2007 . 288 p. ; , This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginning graduate students in these disciplines, the text is technically detailed and is clearly illustrated throughout with diagrams and exercises. Some prior knowledge of linear algebra is assumed, including vector spaces and inner products. However, prior familiarity with topics such as tensor products and spectral decomposition is not required, as the necessary material is reviewed in the text. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

An Introduction to scientific computing : twelve computational projects solved with matlab / par Danaila, Ionut. Publication : [S.l.] : Springer, 2006 . 294 p. ; , This book provides twelve computational projects aimed at numerically solving problems from a broad range of applications including Fluid Mechanics, Chemistry, Elasticity, Thermal Science, Computer Aided Design, Signal and Image Processing. For each project the reader is guided through the typical steps of scientific computing from physical and mathematical description of the problem, to numerical formulation and programming and finally to critical discussion of numerical results. Considerable emphasis is placed on practical issues of computational methods. The last section of each project contains the solutions to all proposed exercises and guides the reader in using the MATLAB scripts. The mathematical framework provides a basic foundation in the subject of numerical analysis of partial differential equations and main discretization techniques, such as finite differences, finite elements, spectral methods and wavelets). The book is primarily intended as a graduate-level text in applied mathematics, but it may also be used by students in engineering or physical sciences. It will also be a useful reference for researchers and practicing engineers. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Anaerobic reactors / par Chernicharo, Carlos Augusto de Lemos. Publication : [S.l.] : IWA Publishing, 2007 . 192 p. ; , BrochØ. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Analysis of seawater : a guide for the analytical and environmental chemist / par Crompton, T.R. Publication : [S.l.] : Springer, 2006 . 510 p. ; , It is only in the past few years that methods of adequate sensitivity have become available for true ultra-trace metal determinations in water. In the case of organics in seawater it has now become possible to resolve the complex mixtures of organics in seawater and achieve the required very low detection limits. Fortunately, the interest in micro-constituents in the seawater both from the environmental and the nutrient balance points of view has coincided with the availability of advanced instrumentation capable of meeting the analytical needs. This complete and up-to-date compilation of the currently employed proven methods for the chemical analysis of seawaters includes 45 tables and 48 figures. The author presents the methods in a logical manner so that the reader can readily learn how to perform them and understand the types of instrumentation available. It helps the practitioner to implement these methods successfully into his laboratory and to apply them quickly and reliably. In addition, the detailed description of each method enables the analyst to set up new analytical methods meeting the needs for the detection of new analytes. The volume covers all aspects of the analysis of seawater using both classical and the most advanced recently introduced physical techniques. It is an invaluable source for the analysts, oceanographers, fisheries experts, politicians and decision maker engaged in seawater environmental protection. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Analytical methods for problems of molecular transport / par Ivchenko, I.N. Publication : [S.l.] : Springer, 2007 . 409 p. ; , The Kinetic Theory of Gases has applications in many areas of science and technology as well as in our understandings of many natural processes and phenomena from the nano-scale up to the cosmic-scale. Some of the fields and topics affected include manufacturing, health care, weather, defence, pollution, aerospace science and engineering, and others. In particular, the interactions of rarefied gases with surfaces are of great interest because such interactions can have pronounced effects on the behaviour exhibited by those systems in all of the above fields. Such fundamental things as the transfer of mass, momentum, and energy between the components of a system can be significantly altered by such interactions. Collectively this transfer is typically described in terms of Rarefied Gas Dynamics and Transport Theory which generally go hand-in-hand with the Kinetic Theory of Gases. When this transport involves small particles suspended in a gas such as air, it is typically termed Aerosol Mechanics. Thus, this book should prove to be a very useful tool in virtually all application areas involving the Kinetic Theory of Gases, Rarefied Gas Dynamics, Transport Theory, and Aerosol Mechanics. This book is designed to serve a dual function. It is intended that it be capable of serving as a teaching instrument, either in a classroom environment or independently, for the study of basic analytical methods and mathematical techniques that may be used in the Kinetic Theory of Gases and is primarily suitable for use in graduate level physics and engineering courses on the subject. This book should also prove to be useful as a reference for scientists and engineers working in the fields of Rarefied Gas Dynamics and Aerosol Mechanics. In addition, the material in this book may prove to be of interest to individuals working in such areas as Physical Chemistry, Chemical Engineering, or any other applied discipline in which gas-surface interactions can be expected to play a significant role. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Analytical ultracentrifugation : techniques and methods / par SCOTT, David Publication : [S.l.] : Royal Society of Chemistry, 2006 . 580 p. ; , Analytical Ultracentrifugation has become an increasingly important technique for monitoring the size and shape of biological macromolecules. "Analytical Ultracentrifugation: Techniques and Methods" contains contributions from experts in the field, bringing together the multitude of developments that have taken place in instrumentation and analysis over the past decade into a single volume. This book covers the latest methods in analysis along with an extensive introduction for the novice user. Analysis methods in both sedimentation velocity and sedimentation equilibrium are discussed at length. Protein, Protein/DNA, membrane proteins and polymer systems are also explored, along with software developments and non-ideality. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Analytical ultracentrifugation vii. / par Lechner,, Manfred D. Publication : [S.l.] : Springer, 2004 . 161 p. ; , This volume includes 19 contributions to the 13th International Symposium on Analytical Ultracentrifugation which took place at the university of Osnabrþck on March 6th and 7th, 2003. The contributions from leading scientists cover a broad spectrum of topics concerning Technical Methods, Data Analysis, Innovations Polymers, Colloids, Supramolecular Systems Biological and Interaction Systems Hydrodynamics and Modelling Due to the increasing significance of Analytical Ultracentrifugation for both scientific and technical applications, this book will be an essential source of information with respect to recent developments and results related to this important analytical method. 28 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Antenna theory and design, 2nd edition / par Stutzman, Warren L. Publication : [S.l.] : Wiley, 1997 . 664 p. ; , Highly respected authors have reunited to update the well known 1981 edition which is still hailed as one of the best in its field. This edition includes recent antenna innovations and applications. It features a succinct treatment of the finite difference, time domain (FDTD) computational technique. It is also the first text to treat physical theory of diffraction (PTD). 26 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Applications of Markov chains in chemical engineering / par Tamir,, Abraham. Publication : . 1 online resource (xi, 604 pages) : , Markov chains make it possible to predict the future state of a system from its present state ignoring its past history. Surprisingly, despite the widespread use of Markov chains in many areas of science and technology, their applications in chemical engineering have been relatively meager. A possible reason for this phenomenon might be that books containing material on this subject have been written in such a way that the simplicity of Markov chains has been shadowed by the tedious mathematical derivations. Thus, the major objective of writing this book has been to try to change this situation. There are many advantages, detailed in Chapter 1, of using the discrete Markov-chain model in chemical engineering. Probably, the most important advantage is that physical models can be presented in a unified description via state vector and a one-step transition probability matrix. Consequently, a process is demonstrated solely by the probability of a system to occupy or not occupy a state. The book has been written in an easy and understandable form, where complex mathematical derivations are abandoned. The fundamentals of Markov chains are presented in Chapter 2 with examples from the bible, art and real life problems. An extremely wide collection is given of examples viz., reactions, reactors, reactions and reactors as well as combined processes, including their solution and a graphical presentation of it, all of which demonstrates the usefulness of applying Markov chains in chemical engineering. Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Applied numerical methods for engineers and scientists par Rao, Singiresu S. Publication : Upper Saddle River, N.J. Prentice Hall 2002 . xx, 1060 pages 24 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Applied reliability and quality fundamentals, methods and procedures par Dhillon,, Balbir S. Publication : [S.l.] : Springer, 2007 . 246 p. ; , Billions of dollars are being spent annually world-wide to develop reliable and good quality products and services. Global competition and other factors are forcing manufacturers and others to produce highly reliable and good quality products and services. This means that reliability and quality principles are now being applied across many diverse sectors of economy and each of these sectors (robotics, health care, power generation, the Internet, textile, food and software) has tailored reliability and quality principles, methods, and procedures to satisfy its specific need. Reliability and quality professionals working in these areas need to know about each other's work activities because this may help them - directly or indirectly - to perform their tasks more effectively. Applied Reliability and Quality: Fundamentals, Methods and Procedures meets the need for a single volume that considers applied areas of both reliability and quality. Before now, there has not been one book that covers both applied reliability and quality; so to gain knowledge of each other's specialties, these people had to study various books, articles, or reports on each area. As the first book of its kind, Applied Reliability and Quality: Fundamentals, Methods and Procedures will be useful to design engineers, manufacturing engineers, system engineers, engineering and manufacturing managers, reliability specialists, quality specialists, graduate and senior undergraduate students of engineering, researchers and instructors of reliability and quality, and professionals in areas such as health care, software, power generation, robotics, textile, food, and the Internet. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (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