Symbolic Integration I Transcendental Functions - Volume 1
Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new resu...
(paru le 14/10/2004, consulté 781 fois)
Méthodes heuristiques d'analyse de performance des réseaux
Le traité Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques.
Conçu volontairement dans un esprit d'échange disciplinaire, le trait...
(paru le 15/12/2004, consulté 2317 fois)
Orthogonal Methods for Array Synthesis Theory and the ORAMA Computer Tool
The first time that such a complete systematic analysis of the mathematical and numerical techniques related to the orthogonal methods has been given.
With the explosion of the wireless world, greater emphasis than ever before is being placed on the ef...
(paru le 05/04/2006, consulté 2887 fois)
Méthodes de prévision à court terme avec un CD-ROM
Les progrès de l'informatique et des technologies de communication nous inondent de données temporelles. Bien utiliser l'information qu'elles contiennent est essentiel sachant que la prévision est à la base de l'action.
Comme la première, cette deuxièm...
(paru le 15/01/2008, consulté 4454 fois)
Estimation de modèles de durées de vie fortement censurées
Cet ouvrage présente une méthodologie d'estimation des performances de fiabilité à partir des données du retour d'expérience technique relatives aux défaillances et aux actions de maintenance des équipements.
Il est illustré par des exemples réels d'ap...
(paru le 10/10/1998, consulté 2107 fois)
Modeling Complex Systems
This book explores the process of modeling complex systems in the widest sense of that term, drawing on examples from such diverse fields as ecology, epidemiology, sociology, seismology, as well as economics. It also provides the mathematical tools for st...
(paru le 13/02/2004, consulté 2267 fois)
Instrumentation and Control Systems
In a clear and readable style, Bill Bolton addresses the basic principles of modern instrumentation and control systems, including examples of the latest devices, techniques and applications. Unlike the majority of books in this field, only a minimal prio...
(paru le 28/06/2004, consulté 4800 fois)
Musimathics The Mathematical Foundations of Music, Volume 1
"Mathematics can be as effortless as humming a tune, if you know the tune," writes Gareth Loy. In Musimathics, Loy teaches us the tune, providing a friendly and spirited tour of the mathematics of music--a commonsense, self-contained introduction for the ...
(paru le 01/08/2006, consulté 4263 fois)
A Roadmap for Formal Property Verification
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity iss...
(paru le 31/07/2006, consulté 4288 fois)
Discrete Mathematical Structures for Computer Scientists and Engineers
Discrete Mathematical Structures describes the basic ideas involved along with the mathematical theory of computation. Importance has been given to problem solving with the understanding of basic theory with stress on the mathematical rigour. Every topic ...
(paru le 01/08/2006, consulté 4881 fois)
A Kalman Filter Primer
With its mathematically rigorous, "no frills" approach to the basic discrete-time Kalman filter, A Katman Filter Primer builds a thorough understanding of the inner workings and basic concepts of Kalman filter recursions from first principles. Instead of ...
(paru le 23/11/2005, consulté 5384 fois)
Supervisory Control of Concurrent Systems A Petri Net Structural Approach
Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesi...
(paru le 13/10/2006, consulté 4541 fois)