Algorithmes de Graphes : Avec programmes en Pascal / Christian PRINS

Titre : Algorithmes de Graphes : Avec programmes en Pascal Type de document : texte imprimé Auteurs : Christian PRINS Editeur : Eyrolles Année de publication : 1994 Importance : 382 p. ISBN/ISSN/EAN : 978-2-212-09020-8 Note générale : + disquette Table. Préambule. Annexe 1 : Listing de l'unité GPCore. Annexe 2 : Biblio. Index. Catégories : Algorithmes Programmation (informatique) Théorie des graphes Index. décimale : 004 Traitement de données. Informatique Résumé : Introduction aux graphes. Complexité des algorithmes et problèmes difficiles. Résolution des problèmes difficiles. Vers une boîte à outil de graphes. Manipulations de base sur les graphes. Problèmes de chemins optimaux. Problèmes de flots et couplages. Arbres et arborescences. Parcours eulériens et hamiltoniens. Problèmes de coloration.

Exemplaires(1)

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

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. ISBN/ISSN/EAN : 978-2-04-020722-9 Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation (informatique) Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires(1)

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

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation (informatique) Index. décimale : 005.1 Programmation Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires(2)

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

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002012	005.13 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00002169	005.13 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

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 (informatique) 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

Eiffel, le langage / Bertrand MEYER

Titre : Eiffel, le langage Type de document : texte imprimé Auteurs : Bertrand MEYER ; Bruno TERSEUR ; Chantal SAINT-CAST Editeur : InterEditions Année de publication : 1994 Importance : 560 p. ISBN/ISSN/EAN : 978-2-7296-0525-4 Note générale : Table des matières Préface Avant-propos Bibliographie Index Catégories : Eiffel (langage de programmation) Langages de programmation Programmation (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Présentation Structure Mécanismes Eléments des bibliothèques de base Annexes

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000666	005.13 MEY	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels / Eric SARDET

Titre : Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels Type de document : thèse Auteurs : Eric SARDET ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Jean-Claude POTIER, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; H. HABRIAS, Rapporteur ; M. NANARD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; X. CASTELLANI, Examinateur ; Guy PIERRA, Examinateur ; Jean-Claude POTIER, Examinateur ; P. TCHOUNIKINE, Examinateur Importance : 189 p. Note générale : Merci à Table des matières Introduction Conclusion Bibliographie Liste des figures Liste des tableaux Catégories : Logiciels Logiciels:Modèles de conception Programmation (informatique) Index. décimale : TH-99 Résumé : MODELISATION, STRUCTURATION ET PRESENTATION DE L'INFORMATION Modélisation de l'information Structuration de l'information Présentation de l'information MODELISATION ET META-MODELISATION DES CATALOGUES DE COMPOSANTS INDUSTRIELS Modélisation des bibliothèques de composants Méta-Modélisation des bibliothèques de composants Une première approche pour la saisie de bibliothèques PLib INTEGRATION DES APPROCHES DOCUMENTAIRE ET MODELE DE DONNEES Approches existantes Donner une représentation structurée à un modèle de données Séparer la structure de représentation de la structure de présentation Application à PLib INTEGRATION DES OUTILS DOCUMENTAIRES ET DES OUTILS DE MODELISATION Coopération d'outils documentaires et d'outils de modélisation Un éditeur de documents sémantiques Extension de l'outil Exploitation du document résultat

Exemplaires(1)

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

Introduction à la programmation systématique / Niklaus WIRTH

Titre : Introduction à la programmation systématique Type de document : texte imprimé Auteurs : Niklaus WIRTH ; Olivier LECARME, Traducteur Mention d'édition : 4e tirage Editeur : Masson Année de publication : 1977 Importance : 157 p. ISBN/ISSN/EAN : 978-2-225-47421-7 Note générale : Table des matières Avant-propos Appendices Lexique français-anglais Lexique anglais-français Index alphabétique des matières Index des programmes exemples Catégories : Programmation (informatique) Programmation système (informatique) Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Introduction Notions fondamentales Structure des ordinateurs Aides à la programmation et systèmes Quelques programmes simples Les programmes doivent être finis Notation séquentielle et langages de programmation Types de données Programmes fondés sur des relations de récurrence La structure de fichier La structure de tableau Sous-programmes, procédures et fonctions Transformations de représentations des nombres Traitement de texte avec des structures de tableau et de fichier La construction progressive des programmes

Exemplaires(1)

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

Introduction à la théorie des langages de programmation / Bertrand MEYER

Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Bertrand MEYER Editeur : InterEditions Année de publication : 1992 Importance : 451 p. ISBN/ISSN/EAN : 978-2-7296-0416-5 Note générale : Table des matières Préface Avant-propos Annexe Bibliographie Index Catégories : Langages de programmation Programmation (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Concepts fondamentaux Fondements mathématiques La syntaxe Sémantique : les principales méthodes Le lambda-calcul Sémantique dénotationnelle : concepts fondamentaux Sémantique dénotationnelle : constructions de langages Les mathématiques de la récursion La sémantique axiomatique La cohérence des définitions sémantiques

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001957	005.13 MEY	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Introduction to Algorithms / Thomas H. CORMEN

Titre : Introduction to Algorithms Type de document : texte imprimé Auteurs : Thomas H. CORMEN, Auteur ; Charles Eric LEISERSON, Auteur ; Ronald L. RIVEST, Auteur ; Clifford STEIN, Auteur Mention d'édition : Fourth edition Editeur : The MIT Press Année de publication : 2022 Importance : 1291 p. ISBN/ISSN/EAN : 978-0-262-04630-5 Note générale : Contents Preface Bibliography Index Catégories : Algorithmes Programmation (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Foundations Sorting and Order Statistics Data Structures Advanced Design and Analysis Techniques Advanced Data Structures Graph Algorithms Selected Topics Appendix: Mathematical Background

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00011486	005.13 COR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2028

Machines analogiques et hybrides / N. STEINBERG

Titre : Machines analogiques et hybrides Type de document : texte imprimé Auteurs : N. STEINBERG, Auteur Editeur : Armand Colin Année de publication : 1969 Collection : Collection U Importance : 175 p. Note générale : Avant-propos Table des matières Bibliographie Catégories : Calcul tensoriel Calculateurs analogiques Calculs numériques Programmation (informatique) Simulation, Méthodes de Index. décimale : 004 Traitement de données. Informatique Résumé : MACHINES ANALOGIQUES Structure des calculateurs analogiques à courant continu Programmation des calculateurs analogiques Analyse des erreurs introduites par le calculateur analogique Formulation des problèmes Calculateur analogique haute fréquence MACHINES HYBRIDES Introduction au calcul hybride Logique parallèle des calculateurs hybrides Mémorisation sous forme numérique Calculateur numérique couplé à un calculateur analogique Conclusions

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00012852	004 STE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Manuel pratique de programmation Fortran / B. HALLOPEAU

Titre : Manuel pratique de programmation Fortran Type de document : texte imprimé Auteurs : B. HALLOPEAU ; J. VIGNES Editeur : Editions Technip Année de publication : 1966 Collection : Cours de l'Ecole Nationale Supérieure du Pétrole et des Moteurs Importance : 132 p. Note générale : Table des matières Introduction Conclusion Catégories : Fortran (langage de programmation) Programmation (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Généralités Eléments de base du langage Ordres de contrôle Ordres d'entrée-sortie Fonctions et sous-programmes Ordres d'organisation Utilisation de la double précision en Fortran Utilisation des nombres complexes en Fortran

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000575	005.13 HAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Méthodes de programmation / Bertrand MEYER

Titre : Méthodes de programmation Type de document : texte imprimé Auteurs : Bertrand MEYER ; Claude BAUDOIN Mention d'édition : 3e édition Editeur : Eyrolles Année de publication : 1984 Collection : collection de la direction des Etudes et Recherches d'Eléctricité de France num. 34 Importance : 661 p. Note générale : Sommaire Préface Avant-propos de la troisièmes édition (1984) Remerciements Table des matières Correction des exercices et problèmes Annexes Bibliographie Index Catégories : Informatique Langages de programmation Ordinateurs Ordinateurs:Programmation Programmation (informatique) Index. décimale : 005.1 Programmation Résumé : Généralités sur la programmation Introduction aux langages de programmation Fortran, Algol W, PL/1 Structures de contrôle Sous-programmes Structures de données Récursion Algorithmes Vers une méthodologie de la programmation

Exemplaires(1)

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

Programmation en C++ / Jean-Paul BODEVEIX

Titre : Programmation en C++ Type de document : texte imprimé Auteurs : Jean-Paul BODEVEIX ; Mamoun FILALI ; Amal SAYAH Editeur : InterEditions Année de publication : 1994 Importance : 341p. ISBN/ISSN/EAN : 978-2-7296-0477-6 Note générale : Table des matières Avant-propos Intro. Annexes Bibliographie Index Catégories : C++ (langage de programmation) Programmation (informatique) Index. décimale : 004 Traitement de données. Informatique Résumé : Pourquoi continuer à programmer en langage C ? Le concept de classe en C++ Programmation avancée d'une classe L'héritage en C++ Les entrées-sorties en C++ La généricité Les exceptions Etudes de cas

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001767	004.4 BOD	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Exclu du prêt

La programmation en C et C++ / Didier BADOUEL

Titre : La programmation en C et C++ Type de document : texte imprimé Auteurs : Didier BADOUEL ; Abderrahim KHALED Mention d'édition : 2e édition Editeur : Hermès Science Publications Année de publication : 1995 Collection : Collection Informatique Importance : 346 p. ISBN/ISSN/EAN : 978-2-86601-506-0 Note générale : Table des matières Préface Index des notions Index des noms Liste des programmes Catégories : C (langage de programmation) C++ (langage de programmation) Programmation (informatique) Index. décimale : 005.13 Langages de programmation

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002733	005.13 BAD	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

La programmation C et C++ / Didier BADOUEL

Titre : La programmation C et C++ Type de document : texte imprimé Auteurs : Didier BADOUEL ; Abderrahim KHALED Editeur : Hermès Science Publications Année de publication : 1993 Collection : Collection Informatique Importance : 223 p. ISBN/ISSN/EAN : 978-2-86601-394-3 Note générale : Table des matières Avant-propos Index des notions Index des noms Liste des programmes Catégories : C (langage de programmation) C++ (langage de programmation) Programmation (informatique) Index. décimale : 005.13 Langages de programmation Résumé : LE LANGAGE C Les expressions Les fonctions Les fonctions d'entrée/sortie Les structures de contrôle Les tableaux et les pointeurs Construire de nouveaux types Les classes mémoire Les conversions de type Le préprocesseur LE LANGAGE C++ Apports syntaxiques au langage C Les classes L'héritage et la généricité Gestion des exceptions Style de programmation C++

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00004302	005.13 BAD	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

La programmation sous UNIX / Jean-Marie RIFFLET

Titre : La programmation sous UNIX Type de document : texte imprimé Auteurs : Jean-Marie RIFFLET Mention d'édition : 3e édition Editeur : Édiscience international Année de publication : 1995 Importance : 630 p. ISBN/ISSN/EAN : 978-2-84074-013-1 Note générale : Table des matières Introduction Bibliographie Index Catégories : Programmation (informatique) UNIX (système d'exploitation des ordinateurs) Index. décimale : 005.133 Langages spécifiques Résumé : Le système de gestion de fichiers Les processus Les principales commandes du système Les langages de commandes L'édition de textes Communication entre systèmes Le langages C Les outils de développement Généralités sur l'interface avec le système Les entrées-sorties La gestion des terminaux La gestion des processus La gestion des signaux La communication par tubes Les ipc System V Fonctions diverses La commande awk X Window

Exemplaires(1)

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

Programmation structurée en assembleur 68000 / Jean-Pierre MALENGE

Titre : Programmation structurée en assembleur 68000 Type de document : texte imprimé Auteurs : Jean-Pierre MALENGE ; Svend ALBERTSEN ; Philippe COLLARD ; Louis ANDREANI Editeur : Masson Année de publication : 1987 Importance : 184 p. ISBN/ISSN/EAN : 978-2-225-81198-2 Note générale : Table des matières Intro. Annexes Bibliographie Index Catégories : Motorola 68000 (microprocesseur) Programmation (informatique) Index. décimale : 621.381 Electronique appliquée, micro-électronique Résumé : La programmation structurée Quelques aspects de la programmation en assembleur 68000 Les bases de la programmation structurée en assembleur 68000 Exemples simples La programmation modulaire Modules d'entrée/sortie de base du Macintosh Liste des abréviations et des mots-clés

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000351	621.381 MAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Proverbes de programmation / Henry LEDGARD

Titre : Proverbes de programmation Type de document : texte imprimé Auteurs : Henry LEDGARD ; J. ARSAC, Traducteur Editeur : Dunod Informatique Année de publication : 1978 Importance : 162 p. ISBN/ISSN/EAN : 978-2-04-010238-8 Note générale : Avant-propos Préface Table des matières Intro. Bibliographie Index Catégories : Programmation (informatique) Index. décimale : 005.1 Programmation Résumé : Proverbes de programmation Exercices La programmation descendante Quelques compléments

Exemplaires(1)

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

Python : les fondamentaux du langage, la programmation pour les scientifiques / Matthieu BRUCHER

Titre : Python : les fondamentaux du langage, la programmation pour les scientifiques Type de document : texte imprimé Auteurs : Matthieu BRUCHER, Auteur Editeur : Éditions ENI Année de publication : 2008 Collection : Ressources Informatiques Importance : 352 p. ISBN/ISSN/EAN : 978-2-7460-4088-5 Note générale : Avant-propos Table des matières Index Catégories : Programmation (informatique) Python (langage de programmation) Index. décimale : 005.133 Langages spécifiques Résumé : Introduction et origines Le langage Python Les modules indispensables de la bibliothèque standard Numpy : une bibliothèque mathématique pour Python Scipy : la boîte à outils scientifiques Graphiques 2D avec Matplotlib Interface C/C++ avec Python

Exemplaires(0)

Disponibilité
aucun exemplaire

Recent Developments in Finite Element Analysis. Papers dedicated to Robert L. TAYLOR 1994 / T.G.R. HUGHES

Titre : Recent Developments in Finite Element Analysis. Papers dedicated to Robert L. TAYLOR 1994 Type de document : symposium Auteurs : T.G.R. HUGHES, Éditeur scientifique ; E. ONATE, Éditeur scientifique ; ZIENKIEWICZ, O., C., Éditeur scientifique Editeur : International Center for Numerical Methods in Engineering Année de publication : 1994 Importance : 299 p. ISBN/ISSN/EAN : 978-84-87867-45-3 Note générale : Preface Dedication Index Contributed Papers List of Authors Catégories : Analyse numérique Méthode des éléments finis Programmation (informatique) Index. décimale : 515.6 Autres méthodes analytiques Résumé : /

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001167	515.6 / 1994	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Symposia [Congrès PMM et Fluides]	Exclu du prêt

Software for Engineering Problems / Robert A. ADEY

Titre : Software for Engineering Problems Type de document : texte imprimé Auteurs : Robert A. ADEY Editeur : Computational Mechanics Publications Année de publication : 1983 Collection : Progress in engineering sciences Importance : 108 p. ISBN/ISSN/EAN : 978-0-905451-16-9 Note générale : Contents Preface Conclusions Acknowledgement References Catégories : Informatique Programmation (informatique) Programmation système (informatique) Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Solutions or reduction of equilibrium equations for large complex structural systems A computer program for the analysis of the dynamic bending-torsion coupling in bridges using a mini-computer A contour-line printplotter for finite element work A compact method for computing the eigenvalues and engeinvectors of plane frames A program for solving potential problems on a desktop computer A simple and effective subroutine for the plane isoprarametric stiffness matrix computation some BASIC programs for finite element analysis Efficient calculation of finite element stiffness matrices A computer program for non-linear curve fitting Optimization of matrix solution algorithms for microcomputers Accurate computation of F'(x) and F''(x) Shortened quadrature rules for finite elements FEANOM - a computer program for solution of non-linear multi-degree-of-freedom systems New renumbering algorithm for minimizing the bandwidth of sparse matrices

Exemplaires(1)

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

Spécifications algébriques, algorithmique et programmation / Jean-François DUFOURD

Titre : Spécifications algébriques, algorithmique et programmation Type de document : texte imprimé Auteurs : Jean-François DUFOURD ; Dominique BECHMANN ; Yves BERTRAND Editeur : InterEditions Année de publication : 1995 Importance : 486 p. ISBN/ISSN/EAN : 978-2-7296-0581-0 Note générale : Table des matières Avant-propos Références Index Catégories : Algorithmes Génie logiciel Programmation (informatique) Index. décimale : 005.13 Langages de programmation Résumé : SPECIFICATION ET PROGRAMME Construction de programmes Spécifications algébriques : 1., le cas équationnel pur Spécifications algébriques : 2., le cas général Implantation et programmation Spécifications étendues Piles, files et listes linéaires Suppression de la récursivité Complexité et optimalité STRUCTURES ET ALGORITHMES Tables Graphes : 1., Spécification et implantation Graphes : 2., Algorithmes classiques Arbres et forêts : 1., Spécification et implantation arbres et forêts : 2., Algorithmes et variétés d'arbres Tris internes Fichiers Tris externes

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000472	005.13 DUF	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Systèmes temps réel de contrôle-commande : Conception et implémentation / Francis COTTET

Titre : Systèmes temps réel de contrôle-commande : Conception et implémentation Type de document : texte imprimé Auteurs : Francis COTTET ; Emmanuel GROLLEAU Editeur : Dunod Année de publication : 2005 Collection : Technique et ingénierie. Série EEA Importance : 559 p. ISBN/ISSN/EAN : 978-2-10-007893-6 Note générale : Table des matières Avant-propos Introduction Bibliographie Lexique anglais-français Sigles Index Langage informatique Catégories : Commande automatique Industrie Industrie:Informatique Informatique Procédés de fabrication Programmation (informatique) Temps réel (informatique) Index. décimale : 004.33 Temps réel Résumé : Développement des sytèmes de contrôle-commande Spécification selon la méthode SA-RT Conception selon la méthode DARTS Architectures systèmes Exécutifs temps réel Programmation des systèmes multitâches Traitement complet d'une application industrielle Etude avancée des systèmes temps réel

Exemplaires(5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005452	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005458	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005464	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005470	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00005405	004.33 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

The ITK Software Guide - ITK 4.7 : 1., Introduction and Development Guidelines / Hans, J. JOHNSON

Titre : The ITK Software Guide - ITK 4.7 : 1., Introduction and Development Guidelines Type de document : texte imprimé Auteurs : Hans, J. JOHNSON, Auteur ; Matt McCORMICK, Auteur ; Luis IBANEZ, Auteur Mention d'édition : 4th edition Editeur : Kitware, Inc. Année de publication : 2015 Importance : 228 p. ISBN/ISSN/EAN : 978-1-930934-27-6 Note générale : About the Cover Abstract Contributors Contents List of Figures List of Tables Appendices Catégories : Logiciels Programmation (informatique) Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : INTRODUCTION Welcome Configuring and Building ITK ARCHITECTURE System Overview Data Representation Spatial Objects DEVELOPMENT GUIDELINES Iterators Image Adaptators How to Write a Filter Software Process

Exemplaires(3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010844	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010846	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010845	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2028

---

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