Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Applied mathematics and su-to:Science/Mathematics'

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),

		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), Réserver Ajouter au panier (Supprimer)
		Mathematics in industrial problems : part 10. Publication : [S.l.] : Springer, 1998 . 183 p. ; , This is the tenth volume in Avner Friedman's collection of Mathematics in Industrial Problems. These books aim to foster interaction between industry and mathematics at the "grass roots" level of specific problems. The problems presented in this book arise from models developed by industrial scientists engaged in research and development of new or improved products. The author's sources are affiliated with a variety of industrial enterprises including Motorola, IBM, Ford Motor Company, Eastman Kodak, 3M, AT&T Labs, Honeywell, and Schlumberger-Doll Research. The topics explored in this volume include semiconductor devices and microaccelerometers, computational aeroacoustics, coating flows, coalescence, electrorheological fluids, mass transport in particle-loaded beds, metal cutting processes, network traffic analysis, risk management, micromagnetics, and cooling systems. Open problems and references to mathematical literature are incorporated into most of the chapters. The final chapter contains solutions to problems raised in previous parts of the series, Mathematics in Industrial Problems, published in the IMA Volumes in Mathematics and its Applications. 24 cm. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Essential Linear Algebra with Applications A Problem-Solving Approach / par Andreescu, Titu. Publication : . X, 491 p. 2 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-0-8176-4636-3, Ajouter au panier (Supprimer)
		Magic Graphs par Marr, Alison M. Publication : . XVI, 188 p. Disponibilité : http://dx.doi.org/10.1007/978-0-8176-8391-7, Ajouter au panier (Supprimer)
		Fundamentals of Matrix-Analytic Methods par He, Qi-Ming. Publication : . XV, 349 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-7330-5, Ajouter au panier (Supprimer)
		Hypergraph Theory An Introduction / par Bretto, Alain. Publication : . XIII, 119 p. Disponibilité : http://dx.doi.org/10.1007/978-3-319-00080-0, Ajouter au panier (Supprimer)
		Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012 Selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia / Publication : . IX, 425 p. 145 illus., 71 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-319-01601-6, Ajouter au panier (Supprimer)
		Proceedings of the 22nd International Meshing Roundtable Publication : . XIV, 600 p. 312 illus., 221 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-319-02335-9, Ajouter au panier (Supprimer)
		Mathematical Modeling and Signal Processing in Speech and Hearing Sciences par Xin, Jack. Publication : . XI, 208 p. Disponibilité : http://dx.doi.org/10.1007/978-3-319-03086-9, Ajouter au panier (Supprimer)
		Numerical Methods and Optimization A Consumer Guide / par Walter, Éric. Publication : . XV, 476 p. 67 illus., 23 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-319-07671-3, Ajouter au panier (Supprimer)
		Scientific Computing and Cultural Heritage Contributions in Computational Humanities / Publication : . XIII, 290 p. 141 illus., 114 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-642-28021-4, Ajouter au panier (Supprimer)
		Space-Filling Curves An Introduction with Applications in Scientific Computing / par Bader, Michael. Publication : . XIII, 278 p. 357 illus., 323 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-642-31046-1, Ajouter au panier (Supprimer)
		Meshfree Methods for Partial Differential Equations VI Publication : . VIII, 244 p. Disponibilité : http://dx.doi.org/10.1007/978-3-642-32979-1, Ajouter au panier (Supprimer)
		Proceedings of the 21st International Meshing Roundtable Publication : . XIV, 606 p. Disponibilité : http://dx.doi.org/10.1007/978-3-642-33573-0, Ajouter au panier (Supprimer)
		Facets of Combinatorial Optimization Festschrift for Martin Grötschel / Publication : . XVII, 506 p. 245 illus., 162 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-642-38189-8, Ajouter au panier (Supprimer)
		Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I / Publication : . XXIV, 546 p. 82 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-42033-7, Ajouter au panier (Supprimer)
		Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II / Publication : . XXIV, 542 p. 58 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-642-42045-0, Ajouter au panier (Supprimer)
		Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP / par Förster, Michael. Publication : . XI, 405 p. 41 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-658-07597-2, Ajouter au panier (Supprimer)
		Mathematical Progress in Expressive Image Synthesis I Extended and Selected Results from the Symposium MEIS2013 / Publication : . XI, 187 p. 94 illus., 66 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-4-431-55007-5, Ajouter au panier (Supprimer)
		Mathematics and Computing 2013 International Conference in Haldia, India / Publication : . XXV, 352 p. 81 illus. Disponibilité : http://dx.doi.org/10.1007/978-81-322-1952-1, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Sites de rattachement

Types de document

Collection

Sujets

Votre recherche a retourné 21 résultats.