Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Affiner votre recherche

Votre recherche a retourné 25 résultats.

Conduire le progrès la méthode, ISO plus, référentiel et outil d'autoévaluation par Le Gall, Joël Publication : Saint-Denis-la-Plaine AFNOR 2002 . XIII-314 p. 24 cm Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Controlor & auditor par Gavanou, Jean-François Publication : Paris Dunod 2006 . 1 vol. (XXV-457 p.) , Autre forme de titre : Controlor et auditor | Notes bibliogr. Index 24 cm Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Contrôle interne : concepts et aspects réglementaires, gestion des risques, guide d'audit de la fraude... par Bernard, Frédéric Publication : Paris Maxima-L. Du Mesnil 2010 . 1 vol. (325 p.) , En appendice, transposition de la 8e directive européenne | La couv. porte en plus : "luttez contre la fraude !" | Bibliogr. p. 323-324. Glossaire 25 cm Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Contrôle interne : des chiffres porteurs de sens! / par Walter, Jacques, Publication : Paris : Afnor, 2010 . XV-177 pages : 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (2),

Réserver Ajouter au panier
Data refinement Model-oriented proof methods and their comparison par Roever, Willem.-Paul de Publication : New York Cambridge University Press 1998 . 423 pages , "This digitally printed version 2009"--T.p. verso. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
La réforme de l'État par l'audit par Mordacq, Franck Publication : Paris LGDJ- lextenso éd. 2009 . 1 vol. (209 p.) , Bibliogr. p. 197-198 21 cm Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Le contrôle de gestion dans le secteur public par Demeestère, René Publication : Paris LGDJ 2005 . 1 vol. (224 p.) , Bibliogr. p. 217-221. Index 21 cm Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Le contrôle interne bancaire et la fraude par Siruguet, Jean-Luc Publication : Paris Dunod | Ordre des experts-comptables 2006 . 1 vol. (XVI-278 p.) , En appendice, choix de documents | Index 24 cm Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Modeling in Event-B system and software engineering par Abrial, Jean-Raymond. Publication : Cambridge | New York Cambridge University Press 2010 . xxvi, 586 pages , "A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher. 26 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Pas d'image disponible
Technical issues related to the comprehensive nuclear test ban treaty / par Treaty,, Committee on Technical Issues Related to Ratification of the Comprehensive Nuclear Test Ban. Publication : [S.l.] : National Academies Press, 2002 . 96 p. ; , Paperback. 28 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (1),

Réserver Ajouter au panier
Verification and control of hybrid systems a symbolic approach par Tabuada, Paulo. Publication : New York Springer. 2009 . xv, 202 pages 25 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Verification and validation in scientific computing par Oberkampf, William L. Publication : New York Cambridge University Press 2010 . xiv, 767 pages , "Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study"-- 26 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Pas d'image disponible
Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP) par Laassiri, Jalal Publication : Rabat Université Mohammed V - Agdal, Faculté des Sciences 2010 , Sous format papier Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Pas d'image disponible
Elaboration d’une méthode de modélisation et de vérification orientée management par processus pour les systèmes multi-agents : Application au pilotage des systèmes d’information par Berrada, Mohammed Publication : Fès Université Sidi Mohamed Ben Abdellah, Faculté des Sciences Dhar Mahraz 2008 , Sous format papier Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Principles of functional verification / par Meyer, Andreas Publication : . 1 online resource (x, 206 pages) : Disponibilité :  http://www.sciencedirect.com/science/book/9780750676175,

Ajouter au panier
Co-verification of hardware and software for ARM SoC design / par Andrews, Jason R. Publication : . 1 online resource (xxiii, 260 pages) : , Includes index. Disponibilité :  http://www.sciencedirect.com/science/book/9780750677301,

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