12. The Efficient Use of Vector Computers with Emphasis on Computational Fluid Dynamics : a GAMM-workshop / Willi SCHONAUER

Titre : The Efficient Use of Vector Computers with Emphasis on Computational Fluid Dynamics : a GAMM-workshop Type de document : texte imprimé Auteurs : Willi SCHONAUER, Éditeur scientifique ; Wolfgang GENTZSCH, Éditeur scientifique Editeur : Friedr. Vieweg & Sohn Verlagsgesellschaft GmbH Année de publication : 1986 Collection : Notes on Numerical Fluid Mechanics Importance : 271 p. ISBN/ISSN/EAN : 978-3-528-08086-0 Note générale : Preface Contents List of participants Catégories : Dynamique des fluides Informatique Index. décimale : 532.5 Hydrodynamique Résumé : /

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005462	532.5 SCH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

3. Mathématiques pour l'informatique : 3., Algorithmique numérique (2) / Jacques WOLF

Titre : Mathématiques pour l'informatique : 3., Algorithmique numérique (2) Type de document : texte imprimé Auteurs : Jacques WOLF ; Michèle PICHAT ; Claire DI CRESCENZO Editeur : Armand Colin Année de publication : 1971 Collection : Collection U. Série informatique num. 1147-3754 Importance : 288 p. Note générale : Préface Avant-propos Plan de l'ouvrage Catégories : Algorithmes Informatique Mathématiques Index. décimale : 510 Mathématiques Résumé : Problèmes généraux (définitions et rappels) Interpolation. Fonctions orthogonales Approximation Intégration. Dérivation Résolution de f(x)=o Systèmes d'équations linéaires Problèmes différentiels de conditions initiales. Equations récurrentes

Exemplaires (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000562	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000556	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000550	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000544	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000568	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000785	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000790	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

3. Mathématiques pour l'informatique : 3., Algorithmique numérique (2) / Jacques WOLF

Titre : Mathématiques pour l'informatique : 3., Algorithmique numérique (2) Type de document : texte imprimé Auteurs : Jacques WOLF ; Michèle PICHAT ; Claire DI CRESCENZO Editeur : Armand Colin Année de publication : 1971 Collection : Collection U. Série informatique num. 1147-3754 Importance : 288 p. Note générale : Préface Avant-propos Plan de l'ouvrage Catégories : Algorithmes Informatique Mathématiques Mathématiques:Informatique Index. décimale : 510 Mathématiques Résumé : Problèmes généraux (définitions et rappels) Interpolation. Fonctions orthogonales Approximation Intégration. Dérivation Résolution de f(x)=o Systèmes d'équations linéaires Problèmes différentiels de conditions initiales. Equations récurrentes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00003375	510 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Algorithmique combinatoire : Méthodes constructives / Gérard LEVY

Titre : Algorithmique combinatoire : Méthodes constructives Type de document : texte imprimé Auteurs : Gérard LEVY Editeur : Dunod Année de publication : 1994 Importance : 502 p. ISBN/ISSN/EAN : 978-2-10-002149-9 Note générale : Disquette incluse Table des matières Avant-propos Bibliographie Notes concernant la disquette Index Catégories : Algorithmes Algorithmes:Informatique Informatique Optimisation combinatoire PASCAL (langage de programmation) Programmation (mathématiques) Index. décimale : 005.1 Programmation Résumé : Le langage de la théorie des ensembles Ensemble des parties d'un ensemble fini Procédures exploratoires Théorie des graphes Arbres et arborescences Programmation linéaire Programmation dynamique Parcours cartésiens complexité des algorithmes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00004094	005.1 LEV	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature / Karim TRAORE

Titre : Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature Type de document : thèse Auteurs : Karim TRAORE ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Yvon TRINQUET, Rapporteur ; Francis COTTET, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Nicolas NAVET, Examinateur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 273 p. Note générale : NNT 2007POIT2261 Remerciements Table des matières Introduction générale Catégories : Informatique Temps réel (informatique) Index. décimale : TH-07 Résumé : ETAT DE L'ART SYSTEMES TEMPS REEL Présentation succinte de l'application drone miniature Généralités sur le temps réel Approche synchrone et approche asynchrone La notion de tâche Exécutif temps réel Normalisation des exécutifs temps réel Ordonnancement en-ligne de systèmes temps réel Validation de systèmes temps réel par analyse de la période d'activité LES MODELES DE TACHES PRENANT EN COMPTE LES DECALAGES D'ACTIVATIONS Le modèles de tâches multiframes Le modèle de tâches à offsets CONTRIBUTION CONTRIBUTION A L'ORDONNANCEMENT DE TZCHS PRENANT EN COMPTE LE DECALAGE Transactions séries Les transactions monotoniques Multiframes et tâches à offsets Récapitulatifs PARTIE PRATIQUE : APPLICATION DRONE MINIATURE Présentation du projet Description expérimentale Fonctionnement général de l'application Définition de l'architecture logicielle de l'application Développement sur OSEK/VDX

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007230	TH-07 TRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Les bases de l'informatique industrielle / Joël LERAY

Titre : Les bases de l'informatique industrielle Type de document : texte imprimé Auteurs : Joël LERAY Editeur : Dunod Année de publication : 1992 Collection : Informatique Industrielle Importance : 288 p. ISBN/ISSN/EAN : 978-2-10-001143-8 Note générale : Préface Table des matières Bibliographie Catégories : Convertisseurs analogique-numérique Industrie:Informatique Informatique Informatique:Problèmes et exercices Ordinateurs:Équipement d'entrée-sortie Systèmes d'exploitation (ordinateurs) Index. décimale : 004 Traitement de données. Informatique Résumé : PRINCIPES ET EXERCICES Micro-ordinateur et programmation Programmation en Pascal Les entrées/sorties parallèles Coupleurs séries asynchrones Systèmes d'exploitation pour le développeur Conversion N/A et A/N Communications et réseaux locaux Le PIT 68230

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00004093	004 LER	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

CiteSeerX 

Titre : CiteSeerX Type de document : site web Editeur : The Pennsylvania State University. The College of Information Sciences and Technology Langues : Français (fre) Catégories : Informatique Mathématiques Références bibliographiques Sciences de l'information Statistique

Documents numériques

Références bibliographiques (informatique, mathématiques, statistique et sciences de l'information) URL

Computer Simulation Using Particles / HOCKNEY, R., W.

Titre : Computer Simulation Using Particles Type de document : texte imprimé Auteurs : HOCKNEY, R., W. ; EASTWOOD, J., W. Mention d'édition : reprinted ed Editeur : Institute of Physics Publishing (IOP), Ltd Année de publication : 1994 Importance : 540 p. ISBN/ISSN/EAN : 978-0-85274-392-8 Note générale : Contents Foreword Prefaces Bibliography Index Catégories : Informatique Particules (matière) Particules (matière):Simulation par ordinateur Problème des N corps Simulation par ordinateur Systèmes, Analyse de Index. décimale : 530 Physique Résumé : Computer Experiments Using Particle Models A One-Dimensional Plasma Model The Simulation Program Time Integration Schemes The Particle-Mesh Force Calculation The Solution of the Field Equations Collisionless Particle Models Particle-Particle - Particle-Mesch (P(3)M) Algorithms Plasma Simulation Semiconductor Device Simulation Astrophysics Solids, Liquids and Phase Changes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005552	530 HOC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

De la conception physique aux outils d'administration et de tuning des entrepôts de données / Kamel BOUKHALFA  

Titre : De la conception physique aux outils d'administration et de tuning des entrepôts de données Type de document : thèse Auteurs : Kamel BOUKHALFA ; Ladjel BELLATRÈCHE, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Jérôme DARMONT, Rapporteur ; Zohra BELLAHSENE, Examinateur ; Zaia ALIMAZIGHI, Examinateur ; Pascal RICHARD, Examinateur Importance : 238 p. Note générale : NNT 2009ESMA0006 Remerciements Table des matières Table des figures Glossaire Bibliographie Résumé Mots clés Catégories : Informatique Index. décimale : TH-09 Résumé : Introduction générale Etat de l'art Sélection isolée : La FH primaire et dérivée La FH : Algorithmes de selection et validation Sélection isolée : Les index de jointure binaires Sélection multiple de schémas de fragmentation et d'IJB Par admin : outil d'aide à l'administration et le tuning Conclusions et perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00410411/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007108	TH-09 BOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-09 BOU	BOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE / Guillaume PATRY

Titre : Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE Type de document : thèse Auteurs : Guillaume PATRY ; Guy PIERRA, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; N. CARBONELL, Rapporteur ; Christophe KOLSKI, Rapporteur ; Pascal GIRARD, Examinateur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Importance : 199 p. Note générale : Remerciements Table des matières Introduction Conclusion Bibliographie Annexes Catégories : Conception assistée par ordinateur Informatique Informatique:Applications scientifiques Programmation Index. décimale : TH-99 Résumé : IHM ET CAO L'homme L'intéraction L'application VERS UN OUTIL INTERACTIF DE CONCEPTION D'AGI Modèles d'architecture Outils Réalisation d'un Model-Based System pour AGI-CT EXPLORATION ET EVALUATION DE LA TACHE COURANTE Analyse de l'exploration Construction d'une solution Discussions DIALOGUES STRUCTURES ET MANIPULATION DIRECTE Structure d'un contrôle par manipulation directe Intégration au sein de GIPSE DIALOGUES STRUCTURES ET MODIFICATION DYNAMIQUE DU DIALOGUE Macro-commandes et programmation Réalisation d'un système de macro-commandes par démonstration GIPSE : Génération d'application interactive par programmation sur exemple Validation LANGAGES DE MODELISATION Modèle des objets Modèle des tâches Modèle du dialogue Modèle de présentation Modèle du dialogue de manipulation directe EXEMPLE DE PROGRAMMATION DU NOYAU FONCTIONNEL Ajout de l'objet de dailogue Ajouter les actions sur objet EXEMPLE D'APPLICATIONS REALISEES AVEC GIPSE Barre de menu Zones de dessin Zone de prompt Zones de saisie

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006983	TH-99 PAT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement / Mickaël RICHARD

Titre : Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement Type de document : thèse Auteurs : Mickaël RICHARD, Auteur ; Francis COTTET, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean-Charles BILLAUT, Rapporteur ; Mammeri ZOUBIR, Rapporteur ; Yvon TRINQUET, Rapporteur ; Joël GOOSSENS, Examinateur Année de publication : 2002 Importance : 265 p. Note générale : Remerciements Table des matières Introduction générale Conclusion Glossaire Annexes Langues : Français (fre) Catégories : Informatique Logiciels Ordonnancement (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : BASES DE L'ORDONNANCEMENT EN-LIGNE DE SYSTEMES TEMPS REELS Introduction Architecture des systèmes temps réels Ordonnancement de systèmes monoprocesseurs Les systèmes distribués Placement ANALYSE HOLISTIQUE Détermination et analyse du pire cas Analyse holistique Calcul des pires temps de réponse des tâches et des messages AFFECTION DES PRIORITES Problématique Structure de l'arbre de recherche Principes généraux de la procédure de recherche Arbre de recherche : Principe d'évaluation Arbre de recherche : Test et coupe Extension du protocole d'accès aux ressources critiques Exemple : cas d'étude Expérimentation PLACEMENT ET AFFECTION Architecture du systèmes temps réel Placement et affection Exemple Expérimentation CONTRAINTES DE PRECEDENCE ET ORDONNANCEMENT MONOPROCESSEUR Modèles de tâches Anomalies d'ordonnancement Cas particuliers Test général d'ordonnançabilité Application sur l'exemple [HKL94] APPLICATION SUR UNE ARCHITECTURE DISTRIBUEE Architecture des systèmes distribués dans l'automobile Méthode d'affectation des priorités Méthode de placement et d'affection

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008127	TH-02 RIC	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot / Frédéric RIDOUARD

Titre : Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot Type de document : thèse Auteurs : Frédéric RIDOUARD ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marie-Claude PORTMANN, Rapporteur ; Yvon TRINQUET, Rapporteur ; Patrick MARTINEAU, Examinateur ; Joël GOOSSENS, Examinateur ; Francis COTTET, Examinateur ; Pascal RICHARD, Examinateur Importance : 240 p. Note générale : Remerciements Table des matières Introduction Annexes Bibliographie Index Catégories : Algorithmes Algorithmes:Informatique Informatique Index. décimale : TH-06 Résumé : PROBLEMATIQUE Théorie de l'ordonnancement Ordonnancement classique et ordonnancement temps réel Problèmes d'ordonnancement Algorithmes hors-ligne/en ligne Ordonnancement en-ligne : simulation/analyse de compétitivité Bibliographie ORDONNANCEMENT DES TACHES A SUSPENSION Introduction sur les tâches à suspension Les systèmes temps réel Architecture logicielle des systèmes temps réel Ordonnancement temps réel Le problème étudié : ordonnancement de tâches à suspension Plan de la partie ORDONNANCEMENT TEMPS REEL MONOPROCESSEUR Définitions générales Principaux algorithmes d'ordonnancement préemptif en-ligne Extension de l'ordonnancement Introduction aux tests d'ordonnançabilité Analyse du facteur d'utilisation Analyse du temps de réponse Analyse de la demande processeur Complexité des problèmes d'ordonnançabilité Conclusion ORDONNANCEMENT DES TACHES A SUSPENSION : ETAT DE L'ART Introduction Test d'ordonnançabilité DIFFICULTES DE L'ORDONNANCEMENT DE TACHES A SUSPENSION Complexité Anomalies d'ordonnancement Optimalité des algorithmes en-ligne COMPETITIVITE DES ALGORITHMES CLASSIQUES D'ORDONNANCEMENT Minimisation du nombre de tâches en retard Minimisation du temps de réponse maximum ANALYSE DES TESTS D'ORDONNANCABILITE POUR LES SYSTEMES A PRIORITE FIXE Calcul exact du pire temps de réponse sousRM Caractéristiques des configurations générées Bornes inférieures du ratio de compétitivité Incomparabilité des tests de faisabilité Etude par la simulation CONCLUSION SUR LES TACHES A SUSPENSION ORDONNANCEMENT PAR UNE MACHINE A TRAITEMENT PAR LOT Introduction sur les machines à traitement par lot Ordonnancement de machines à traitement par lot : Etat de l'art Algotithmes d'ordonnancement pour les machines à traitement par lot Conclusion sur les machines à traitement par lot

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007220	TH-06 RID	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Dictionnaire d'informatique français/anglais / Michel GINGUAY

Titre : Dictionnaire d'informatique français/anglais Type de document : texte imprimé Auteurs : Michel GINGUAY Mention d'édition : 6e éd. Editeur : InterEditions Année de publication : 1998 Importance : 224 p. ISBN/ISSN/EAN : 978-2-225-83432-5 Note générale : Avertissement Abréviations utilisées Abréviations françaises Catégories : Anglais (langue):Vocabulaire Informatique Index. décimale : 423 Dictionnaire d'anglais

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001852	423 GIN	Usuels	BIBLIOTHÈQUE - ACCÈS LIBRE	400 - Langues	Exclu du prêt

Guide du P.S.I. du programmeur en C / Jean-Luc LUCZAK

Titre : Guide du P.S.I. du programmeur en C Type de document : texte imprimé Auteurs : Jean-Luc LUCZAK ; Claude NOWAKOWSKI ; Marc-Henri BAGNERIS ; Francis PIEROT Editeur : Dunod Année de publication : 1990 Importance : 1055 p. ISBN/ISSN/EAN : 978-2-10-001421-7 Note générale : Sommaire Index Catégories : C (langage de programmation) Informatique Logiciels Index. décimale : 005.133 Langages spécifiques Résumé : Présentation d'un programme C Préprocesseur Définition et stockage de données Fonctions Expressions et opérateurs Gestion dynamique de la mémoire Manipulation de blocs mémoire Manipulation de chaines Classification et conversion de caractères Conversion de données Fonctions de mathématiques Fonctions de recherche et de tri Gestion de processus Gestion du temps Nombre variable d'arguments Fonctions DOS et BIOS Entrées/sorties de bas niveau Entrées/sorties de haut niveau Manipulations de fichiers Gestions de repertoires Accés direct à la console Modes graphiques Texte en mode graphique Utilisation de C Compilation Link et maintenance

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002543	005.133 LUC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Guide du programmeur en Basic sous MS-DOS / François-Xavier ELOUNDOU

Titre : Guide du programmeur en Basic sous MS-DOS Type de document : texte imprimé Auteurs : François-Xavier ELOUNDOU Editeur : Sybex Année de publication : 1987 Importance : 683 p. ISBN/ISSN/EAN : 978-2-7361-0315-6 Note générale : Sommaire Annexe Catégories : BASIC (langage de programmation) Informatique Logiciels MS-DOS (système d'exploitation des ordinateurs) Ordinateurs Ordinateurs:Programmation Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : GESTION D'ECRAN Les menus Les fenêtres Entrée de données zone par zone Entrée de données pleine page Pagination écran Standards de gestion d'écran GESTION DE FICHIERS Pratique d'un séquentiel indéxé Les fichiers directs TECHNIQUES DIVERSES Sous-programmes en langage machine Les niveaux de rupture Aide-mémoire Basic

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005669	005 ELO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Guide de la technique, 1 : l'information / Marie-Annick ROY

Titre : Guide de la technique, 1 : l'information Type de document : texte imprimé Auteurs : Marie-Annick ROY, Éditeur scientifique Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1991 Importance : 236 p. ISBN/ISSN/EAN : 978-2-88074-219-5 Note générale : Introduction Sommaire Liste des auteurs du tome I Synthèse Index Catégories : Electronique Informatique Robotique Téléinformatique Index. décimale : 621 Génie mécanique - Physique appliquée Résumé : L'information est une ressource Information et signaux Télécommunications Traitement du signal Circuits microélectriques Informatique Traitement logique Microprocesseurs et micro-ordinateurs Ordinateurs et systèmes informatiques Périphériques Algorithmes Téléinformatique Informatique indutrielle Robots industriels Microtechnique Capteurs Horlogerie Appareils optiques Radar Applications médicales Automates distributeurs Audio - TV - Hi-Fi Appareils électroménagers Jouets techniques

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001469	621 GUI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Handbook of Mathematics and Computational Science / John HARRIS

Titre : Handbook of Mathematics and Computational Science Type de document : texte imprimé Auteurs : John HARRIS ; Horst STOCKER Editeur : Springer Verlag Année de publication : 1998 Importance : 1028 p. ISBN/ISSN/EAN : 978-0-387-94746-4 Note générale : Introduction Contents Tables of integrals Index Catégories : Informatique Mathématiques Mathématiques:Formules Mathématiques:Tables Index. décimale : 510 Mathématiques Résumé : Numerical computation (arithmetics and numerics) Equations and inequalities (algebra) Geometry and trigonometry in the plane Solid geometry Functions Vector analysis Coordinate systems Analytic geometry Matrices, determinants, and systems of linear equations Boolean algebra-application in switching algebra Graphs and Algorithms Differential calculus Differential geometry Infinite series Integral calculus Vector analysis Complex variable and functions Differential equations Fourier transformation Laplace and z transformations Probability theory and mathematical statistics Fuzzy logic Neural networks Computers

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000459	510 HAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000573	510 HAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00008787	510 HAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Informatique fondamentale : Notes de cours / B. LECUSSAN

Titre : Informatique fondamentale : Notes de cours Type de document : texte imprimé Auteurs : B. LECUSSAN Editeur : Ecole Nationale Supérieure de l'Aéronautique et de l'Espace - Sup'Aéro (ENSAE) Année de publication : 1988 Collection : Ecole Nationale Supérieure de l'Aéronautique et de l'Espace Sup'Aéro Importance : 49 p. Note générale : Sommaire Index Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Résumé : Principes de fonctionnement des calculateurs numériques Conception d'algorithmes Programmation en PASCAL

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005739	004 LEC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 1., Représentation et traitement de l'information / Henri NUSSBAUMER

Titre : Informatique industrielle : 1., Représentation et traitement de l'information Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1986 Collection : Collection Informatique Importance : 271 p. ISBN/ISSN/EAN : 978-2-88074-100-6 Note générale : Table des matières Intro. Index Bibliographie Catégories : Automatisation Données Données:Transmission Informatique Ordinateurs Productique Téléinformatique Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Structure des systèmes d'informatique industrielle : Processus industriels Les systèmes d'informatique industrielle Composants des systèmes d'informatique industrielle Caractéristiques particulières des systèmes d'informatique industrielle Représentation de l'information et opérations élémentaires : Nombres entiers positifs Nombres réels Nombres négatifs Représentation des caractères Représentation des instructions Opérations de conversion Opérations arithmétiques Opérations de comparaison Opérations logiques Opérations de transfert Les ordinateurs : Principe de fonctionnement des ordinateurs Structure des instructions et techniques d'adressage Ruptures de séquence et changement de contexte Instructions de contrôle Instructions indivisibles Dispositifs de gestion mémoire

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000870	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 2., Introduction à l'informatique du temps réel / Henri NUSSBAUMER

Titre : Informatique industrielle : 2., Introduction à l'informatique du temps réel Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1986 Collection : Collection Informatique Importance : 398 p. ISBN/ISSN/EAN : 978-2-88074-101-3 Note générale : Table des matières Intro. Index Bibliographie Catégories : Automatisation Informatique Ordinateurs Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Le logiciel : Modes de traitement Systèmes d'exploitation Langages de programmation Langages assembleur GRAFCET et réseaux de Pétri : Réseaux de Pétri Le GRAFCET Entrées/sorties et interfaces de processus : Organisation générale des entrées/sorties Le bus du microprocesseur MC-68000 UNIBUS PDP-11 Bus normalisés pour microprocesseurs Adaptateurs d'interface Interfaces de processus

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000868	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 3., Automates programmables. Commande et réglage. Capteurs / Henri NUSSBAUMER

Titre : Informatique industrielle : 3., Automates programmables. Commande et réglage. Capteurs Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1987 Collection : Collection Informatique Importance : 394 p. ISBN/ISSN/EAN : 2-88074-119-6 Note générale : Table des matières Intro. Index Bibliographie Catégories : Commande automatique Informatique Ordinateurs Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Automates programmables : Organisation générale des automates programmables Langages à relais Automate programmable TELEMECANIQUE TSX 80 Commande et réglage : Rappels mathématiques Exemple de modélisation d'un système Commande Réglage automatique des systèmes continus Réglages échantillonnés Réglage dans l'espace d'état Indentification Capteurs : Caractéristiques générales des capteurs Capteurs de température Capteurs de position et de déplacement Capteurs de vitesse et d'accélération Capteurs de déformation Capteurs de force Capteurs de pression Mesure de la vitesse et du débit des fluides

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000867	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 4., Commande numérique. Téléinformatique. Sécurité, sûreté, fiabilité / Henri NUSSBAUMER

Titre : Informatique industrielle : 4., Commande numérique. Téléinformatique. Sécurité, sûreté, fiabilité Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1987 Importance : 471 p. ISBN/ISSN/EAN : 2-88074-120-4 Note générale : Table des matières Intro. Index Bibliographie Catégories : Industrie Informatique Ordinateurs Téléinformatique Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Commande numérique des machines : Structure des systèmes à commande numérique Interpolation Programmation des machines à commande numérique Programmation manuelle des machines à commande numérique Le langage APT Commande numérique GENERAL ELECTRIC Téléinformatique : Organisation générale des systèmes téléinformatiques Réseaux de téléinformatique Architecture des systèmes téléinformatiques Circuits de données Protocoles de ligne Réseaux publics à commutation de paquets Réseaux locaux de téléinformatique Réseaux locaux industriels Sécurité, sûreté, fiabilité Intro. Bases théoriques de la fiabilité Prévention Technique de tolérance aux pannes Dépistage précoce Maintenance Fiabilité du logiciel Sécurité des systèmes de contrôle-commande

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000869	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique numérique : B., Equations d'évolution, problèmes différentiels avec conditions aux limites. Equations aux dérivées partielles / J. COUOT

Titre : Informatique numérique : B., Equations d'évolution, problèmes différentiels avec conditions aux limites. Equations aux dérivées partielles Type de document : texte imprimé Auteurs : J. COUOT Editeur : Ecole Nationale Supérieure de l'Aéronautique et de l'Espace - Sup'Aéro (ENSAE) Année de publication : 1973 Note générale : Plan du fascicule B Bibliographie sommaire Catégories : Equations Informatique Index. décimale : 004.015 Principes mathématiques Résumé : Notions sur les équations aux différences finies Approximation des équations d'évolution avec conditions initiales Méthodes numériques de résolution d'équations différentielles Problèmes différentiels avec conditions aux limites Traitement numérique des équations aux dérivées partielles

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000853	004.015 1 COU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000843	004.015 1 COU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique numérique : C., Recherche d'optimum / J. COUOT

Titre : Informatique numérique : C., Recherche d'optimum Type de document : texte imprimé Auteurs : J. COUOT Editeur : Ecole Nationale Supérieure de l'Aéronautique et de l'Espace - Sup'Aéro (ENSAE) Année de publication : 1975 Note générale : Plan du fascicule Catégories : Informatique Index. décimale : 511.8 Modèles mathématiques Résumé : Programmation linéaire Méthode des gradients Introduction à la programmation dynamique Aperçu sur le principe du maximum Introduction aux méthodes de Monte-Carlo

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000812	511.8 COU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible
B00000855	511.8 COU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Informatique numérique : A., Eléments de la théorie de l'approximation - Résolution des équations linéaires / J. COUOT

Titre : Informatique numérique : A., Eléments de la théorie de l'approximation - Résolution des équations linéaires Type de document : texte imprimé Auteurs : J. COUOT Editeur : Ecole Nationale Supérieure de l'Aéronautique et de l'Espace - Sup'Aéro (ENSAE) Année de publication : 1973 Importance : 165 p. Note générale : Sommaire Bibliographie Catégories : Approxiamtion numérique Approximation, Théorie de l' Equations, Systèmes d' Informatique Informatique:Mathématiques Index. décimale : 004.015 Principes mathématiques Résumé : Elémentde la théorie de l'approximation de C [a,b] Approximation en moyenne quadratique Quadratures mécaniques - Formules de Gauss Rappels de propriétés matricielles Recherche des éléments propres des matrices Résolution des grands systèmes linéaires Introduction à l'analyse des erreurs Résolution numérique des équations intégrales

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005745	004.015 COU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 2 (1 - 25 / 45) Par page : 25 50 100 200