IMIST


Affiner votre recherche

Votre recherche a retourné 939 résultats.

Almost-bieberbach groups : affine and polynomial structures par Dekimpe, Karel. Publication : [S.l.] Springer 2009 . 262 p. , Starting from basic knowledge of nilpotent (Lie) groups, an algebraic theory of almost-Bieberbach groups, the fundamental groups of infra-nilmanifolds, is developed. These are a natural generalization of the well known Bieberbach groups and many results about ordinary Bieberbach groups turn out to generalize to the almost-Bieberbach groups. Moreover, using affine representations, explicit cohomology computations can be carried out, or resulting in a classification of the almost-Bieberbach groups in low dimensions. The concept of a polynomial structure, an alternative for the affine structures that sometimes fail, is introduced. 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Amarts and set function processes par Gut, Allan. Publication : [S.l.] Springer 1983 . 258 p. 24 cm. Date : 1983 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 continuous-time stochastic processes : theory, models, and applications to finance, biology, and medicine par Capasso, Vincenzo. Publication : [S.l.] Birkhauser . 447 p. ; , Expanding on the first edition of An Introduction to Continuous-Time Stochastic Processes, this concisely written book is a rigorous and self-contained introduction to the theory of continuous-time stochastic processes. A balance of theory and applications, the work features concrete examples of modeling real-world problems from biology, medicine, industrial applications, finance, and insurance using stochastic methods. No previous knowledge of stochastic processes is required. 24 cm. Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An introduction to fronts in random media / par Xin, Jack. Publication : London ; | New York : Springer, 2009 . x, 159 pages : 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (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 local spectral theory par Laursen, K. B. Publication : Oxford | New York Clarendon Press | Oxford University Press 2000 . xii, 591 pages 24 cm. Date : 2000 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),

An introduction to sequential dynamical systems par Mortveit,, Henning. Publication : Virginia Springer 2007 . 260 p. , This introductory text to the class of Sequential Dynamical Systems (SDS) is the first textbook on this timely subject. Driven by numerous examples and thought-provoking problems throughout, the presentation offers good foundational material on finite discrete dynamical systems, which then leads systematically to an introduction of SDS. From a broad range of topics on structure theory - equivalence, fixed points, invertibility and other phase space properties - thereafter SDS relations to graph theory, classical dynamical systems as well as SDS applications in computer science are explored. This is a versatile interdisciplinary textbook. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An introduction to the theory of algebraic surfaces par Zariski, Oscar. Publication : [S.l.] Springer 1969 . 100 p. 23 cm. Date : 1969 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An ontological and epistemological perspective of fuzzy set theory par Turksen, I. Burhan Publication : . 1 online resource (xxvii, 514 pages) , Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree. But in general membership degree is an imprecise notion which requires that Type 2 membership degrees be considered in most applications related to human decision making schemas. Even if the membership functions are restricted to be Type1, their combinations generate an interval valued Type 2 membership. This is part of the general result that Classical equivalences breakdown in Fuzzy theory. Thus all classical formulas must be reassessed with an upper and lower expression that are generated by the breakdown of classical formulas. Key features: - Ontological grounding - Epistemological justification - Measurement of Membership - Breakdown of equivalences - FDCF is not equivalent to FCCF - Fuzzy Beliefs - Meta-Linguistic axioms - Ontological grounding - Epistemological justification - Measurement of Membership - Breakdown of equivalences - FDCF is not equivalent to FCCF - Fuzzy Beliefs - Meta-Linguistic axioms. 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),

Analyse différentielle. par Poenaru,, Valentin. Publication : Berlin | New York Springer-Verlag 1974 . 228 pages 24 cm. Date : 1974 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Analyse harmonique dans les systemes de tits bornologique de type affine par Matsumoto, H. Publication : [S.l.] Springer 1977 . 219 p. 24 cm. Date : 1977 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Analysis and probability : wavelets, signals, fractals / par Jorgensen,, Palle E. T., Publication : New York, NY : Springer, 2006 . xliv, 276 p. : 24 cm. Date : 2006 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