IMIST


Affiner votre recherche

Votre recherche a retourné 307 résultats.

Grid generation methods par Liseikin, Vladimir D. Publication : [S.l.] Springer 2009 . 390 p. , This text is an introduction to methods of grid generation technology in scientific computing. Special attention is given to methods developed by the author for the treatment of singularly-perturbed equations, e.g. in modeling high Reynolds number flows. Functionals of conformality, orthogonality, energy and alignment are discussed. 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Insight through computing : a MATLAB introduction to computational science and engineering par Van Loan, Charles F. Publication : Philadelphia, PA Society for Industrial and Applied Mathematics 2010 . xviii, 434 pages , Includes index. 26 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Introduction to color imaging science / par Lee,, Hsien-Che. Publication : [S.l.] : Cambridge University Press, 2005 . 716 p. ; , Colour imaging technology has become almost ubiquitous in modern life in the form of monitors, liquid crystal screens, colour printers, scanners, and digital cameras. This book is a comprehensive guide to the scientific and engineering principles of colour imaging. It covers the physics of light and colour, how the eye and physical devices capture colour images, how colour is measured and calibrated, and how images are processed. It stresses physical principles and includes a wealth of real-world examples. The book will be of value to scientists and engineers in the colour imaging industry and, with homework problems, can also be used as a text for graduate courses on colour imaging. 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Introduction to discrete event systems / par Cassandras, Christos G. Publication : [S.l.] : Springer, 2007 . 776 p. ; , Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queuing theory, discrete-event simulation, and concurrent estimation techniques. This edition includes new material pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models. This textbook is valuable to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering. 26 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Mathematical methods for engineers and scientists par Tang, K. T., Publication : Berlin Springer 2007 . 3 volumes 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), La bibliothèque des Sciences Exactes et Naturelles (1),

Mathematical methods in electro-magneto-elasticity par Bardzokas, Demosthenis I. Publication : Berlin ; New York Springer 2007 . 530 p. , The mechanics of Coupled Fields is a discipline at the edge of modern research connecting Continuum Mechanics with Solid State Physics. This book fills many gaps in the theoretical literature which arise due to the complexity of the problem. A vast number of problems are considered so that the reader can get a clear quantitative and qualitative understanding of the phenomena taking place. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Modlisation mathématique et mécanique des milieux continus par Temam, Roger. Publication : [S.l.] : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008 . 284 p. ; , Broché. 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Real-time applications with stochastic task execution times : analysis and optimisation / par Manolache,, Sorin. Publication : [S.l.] : Springer-Verlag New York Inc., 2007 . 152 p. ; , ReliØ. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Seismic design aids for nonlinear pushover analysis of reinforced concrete and steel bridges par Ger, Jeffrey. Publication : [S.l.] CRC Press 2011 . 400 p. , Nonlinear static monotonic (pushover) analysis has become a common practice in performance-based bridge seismic design. The popularity of pushover analysis is due to its ability to identify the failure modes and the design limit states of bridge piers and to provide the progressive collapse sequence of damaged bridges when subjected to major earthquakes. Seismic Design Aids for Nonlinear Pushover Analysis of Reinforced Concrete and Steel Bridges fills the need for a complete reference on pushover analysis for practicing engineers. This technical reference covers the pushover analysis of reinforced concrete and steel bridges with confined and unconfined concrete column members of either circular or rectangular cross sections as well as steel members of standard shapes. It provides step-by-step procedures for pushover analysis with various nonlinear member stiffness formulations, including: Finite segment–finite string (FSFS) Finite segment–moment curvature (FSMC) Axial load–moment interaction (PM) Constant moment ratio (CMR) Plastic hinge length (PHL) Ranging from the simplest to the most sophisticated, the methods are suitable for engineers with varying levels of experience in nonlinear structural analysis. The authors also provide a downloadable computer program, INSTRUCT (INelastic STRUCTural Analysis of Reinforced-Concrete and Steel Structures), that allows readers to perform their own pushover analyses. Numerous real-world examples demonstrate the accuracy of analytical prediction by comparing numerical results with full- or large-scale test results. A useful reference for researchers and engineers working in structural engineering, this book also offers an organized collection of nonlinear pushover analysis applications for students. 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Self-Consistent Methods for Composites. par Kanaun, S. K., Publication : Singapore : Springer Singapore Pte. Ltd. 2008 . 1 online resource (xiv, 294 pages) Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Soft Computing Applications / par Bonarini, Andrea. Publication : Heidelberg : Physica-Verlag HD : | Imprint : | Physica, 2003 . 1 online resource (viii, 229 pages). Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Strength and stiffness of engineering systems par Leckie, Frederick A. Publication : [S.l.] Springer 2009 . 690 p. , This book offers comprehensive coverage of topics used in engineering solutions for the stiffness and strength of physical systems, with a range of scales from micrometers to kilometers. Coverage integrates a wide array of topics into a unified text, including such subjects as plasticity, fracture, composite materials, energy approaches, and mechanics of microdevices (MEMs). This integrated and unified approach reflects the reality of modern technology with its demands to learn the fundamentals of new subjects quickly. 27 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Strength of materials par Singh, D.K. Publication : [S.l.] CRC Press 2007 . 518 p. , Strength of Materials is ideal for students pursuing degrees in civil and mechanical engineering, as well as computer science, electronics, and instrumentation. Topics include combined stresses, centroid and the moment of inertia, shear forces and bending moments in beams, stresses in beams, the deflection of beams, torsion of circular members, springs, strain energy, the theory of elastic failure, buckling of columns, pressure vessels, and the analysis of framed structures. 25 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Structural identification and damage detection using genetic algorithms / par Koh, Chan Ghee. Publication : Boca Raton ; | New york : CRC Press, 2010 . xii, 146 pages : 26 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Supervisory control of concurrent systems a petri net structural approach par Iordache, Marian V. Publication : Boston Birkhäuser 2006 . 281 p. , This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings. 24 cm. Date : 2006 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