Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Affiner votre recherche

Votre recherche a retourné 23 résultats.

Foundations and applications of mis : a model theory approach / par Takahara, Yasuhiko. Publication : [S.l.] : Springer, 2006 . 360 p. ; , Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. It covers an outline of the approach, providing a theoretical foundation for MIS from the systems theoretic viewpoint before presenting practical feasibility of the approach using applications ranging from a transaction processing system to a solver system. The author also describes his newly developed extended Prolog programming language, which takes full advantage of the mathematical framework employed. High-level mathematics is combined with sophisticated software engineering in this approach to address the practical problem area of designing MISs; it is the synergy of these two areas with underlying systems thinking that gives this book its unique identity. The book assumes a working knowledge of elementary set theory, logic and familiarity with some systems concepts such as automation models. Senior and graduate students, researchers in management information systems, systems engineers and systems scientists will find this book useful. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Pas d'image disponible
Representation and control of infinite dimensional systems par Bensoussan, Alain. Publication : [S.l.] Birkhäuser 2007 . 604 p. , This unified, revised second edition of a two-volume set is a self-contained account of quadratic cost optimal control for a large class of infinite-dimensional systems. The original editions received outstanding reviews, yet this new edition is more concise and self-contained. New material has been added to reflect the growth in the field over the past decade. There is a unique chapter on semigroup theory of linear operators that brings together advanced concepts and techniques which are usually treated independently. The material on delay systems and structural operators has not yet appeared anywhere in book form. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
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),

Réserver Ajouter au panier
Linear algebra and linear operators in engineering : with applications in Mathematica / par Davis, H. Ted Publication : . 1 online resource (xi, 547 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780122063497,

Ajouter au panier
Robust Output LQ Optimal Control via Integral Sliding Modes par Fridman, Leonid. Publication : . XII, 149 p. 42 illus., 30 illus. in color. Disponibilité :  http://dx.doi.org/10.1007/978-0-8176-4962-3,

Ajouter au panier
Newtonian Nonlinear Dynamics for Complex Linear and Optimization Problems par Vázquez, Luis. Publication : . XII, 140 p. Disponibilité :  http://dx.doi.org/10.1007/978-1-4614-5912-5,

Ajouter au panier
Advanced H∞ Control Towards Nonsmooth Theory and Applications / par Orlov, Yury V. Publication : . XI, 218 p. 43 illus., 12 illus. in color. Disponibilité :  http://dx.doi.org/10.1007/978-1-4939-0292-7,

Ajouter au panier
Intelligent Routines II Solving Linear Algebra and Differential Geometry with Sage / par Anastassiou, George A. Publication : . XIV, 306 p. 211 illus. Disponibilité :  http://dx.doi.org/10.1007/978-3-319-01967-3,

Ajouter au panier
Introduction to Time-Delay Systems Analysis and Control / par Fridman, Emilia. Publication : . XVIII, 362 p. 28 illus., 22 illus. in color. Disponibilité :  http://dx.doi.org/10.1007/978-3-319-09393-2,

Ajouter au panier
Dynamics and Control of Trajectory Tubes Theory and Computation / par Kurzhanski, Alexander B. Publication : . XVIII, 445 p. 106 illus., 74 illus. in color. Disponibilité :  http://dx.doi.org/10.1007/978-3-319-10277-1,

Ajouter au panier
Interest Rate Derivatives Valuation, Calibration and Sensitivity Analysis / par Beyna, Ingo. Publication : . XVIII, 209 p. 33 illus. Disponibilité :  http://dx.doi.org/10.1007/978-3-642-34925-6,

Ajouter au panier
Dimensionality Reduction with Unsupervised Nearest Neighbors par Kramer, Oliver. Publication : . XII, 132 p. 48 illus., 45 illus. in color. Disponibilité :  http://dx.doi.org/10.1007/978-3-642-38652-7,

Ajouter au panier
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