Catégories
Documents disponibles dans cette catégorie (27)
Faire une suggestion Affiner la recherche
Etendre la recherche sur niveau(x) vers le bas
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
Théorie des graphesIndex. 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. Note générale : Sommaire
Intro.
Annexes
Bibliographie
Index alphabétique
Table des matièresCatégories : Génie logiciel
ProgrammationIndex. 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 programmesExemplaires (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èresCatégories : Génie logiciel
ProgrammationIndex. 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 programmesExemplaires (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 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èresCatégories : Génie logiciel
ProgrammationIndex. 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 programmesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000635 005 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
AnnexesCatégories : Conception assistée par ordinateur
Informatique
Informatique:Applications scientifiques
ProgrammationIndex. 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 saisieExemplaires (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
IndexCatégories : Eiffel (langage de programmation)
Langages de programmation
ProgrammationIndex. décimale : 005.13 Langages de programmation Résumé : Présentation
Structure
Mécanismes
Eléments des bibliothèques de base
AnnexesExemplaires (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 tableauxCatégories : Logiciels
Logiciels:Modèles de conception
ProgrammationIndex. 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ésultatExemplaires (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 exemplesCatégories : Programmation
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 programmesExemplaires (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
IndexCatégories : Langages de programmation
ProgrammationIndex. 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émantiquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001957 005.13 MEY Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Le langage éléctronique / Jacques POYEN
Titre : Le langage éléctronique Type de document : texte imprimé Auteurs : Jacques POYEN ; Jeanne POYEN Mention d'édition : 3e édition Editeur : Paris : Presses Universitaires de France (PUF) Année de publication : 1967 Collection : Que sais-je ? num. 900 Importance : 125 p. Note générale : Note pour la troisième édition
Introduction
Conclusion
Bibliographie sommaire
Table des matièresCatégories : ALGOL (langage de programmation)
Langages de programmation
Logiciels
ProgrammationIndex. décimale : 005.13 Langages de programmation Résumé : Notions sur les calculateurs
Comment aborder un problème en vue de son traitement automatique
Traitement du problème : le langage machine
Les sous-programmes
Les langages symboliques
Les moniteurs
Le langage Algol
Perspectives d'avenirExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00000319 005.13 POY Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000313 005.13 POY Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible 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
BibliographieCatégories : Calcul tensoriel
Calculateurs analogiques
Calculs numériques
Programmation
Simulation, Méthodes deIndex. 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
ConclusionsExemplaires (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
ConclusionCatégories : Fortran (langage de programmation)
ProgrammationIndex. 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 FortranExemplaires (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
IndexCatégories : Informatique
Langages de programmation
Ordinateurs
Ordinateurs:Programmation
ProgrammationIndex. 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 programmationExemplaires (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
IndexCatégories : C++ (langage de programmation)
ProgrammationIndex. 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 casExemplaires (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 programmesCatégories : C (langage de programmation)
C++ (langage de programmation)
ProgrammationIndex. 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 programmesCatégories : C (langage de programmation)
C++ (langage de programmation)
ProgrammationIndex. 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 Programmation Fortran : Théorie et applications / Seymour LIPSCHUTZ
Titre : Programmation Fortran : Théorie et applications Type de document : texte imprimé Auteurs : Seymour LIPSCHUTZ ; Arthur POE ; Sylvie JACOUD Editeur : McGraw-Hill Book Company, Inc. Année de publication : 1987 Importance : 313 p. ISBN/ISSN/EAN : 978-2-7042-1013-8 Note générale : Préface
Table des matières
Appendices
IndexCatégories : Fortran (langage de programmation)
Langages de programmation
ProgrammationIndex. décimale : 005.13 Langages de programmation Résumé : Introduction, organisation des programmes
Les instructions arithmétiques
Entrées/sorties numériques
Transfert de contrôle, organigrammes
Les boucles DO
Tableaux, variables indicées
Fonctions et sous-programmes
Techniques de programmation et calculs numériques
Information sous forme de caractères. Variables et opérations logiques
Caractéristiques complémentaires d'entrées/sorties
Caractéristiques diverses du Fortran
Fortran StructureExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001831 005.13 LIP 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
IndexCatégories : Programmation
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 WindowExemplaires (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
IndexCatégories : Motorola 68000 (microprocesseur)
ProgrammationIndex. 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ésExemplaires (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
IndexCatégories : Programmation Index. décimale : 005.1 Programmation Résumé : Proverbes de programmation
Exercices
La programmation descendante
Quelques complémentsExemplaires (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
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
Code-barres Cote Support Localisation Section 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 AuthorsCatégories : Analyse numérique
Éléments finis, Méthode des
ProgrammationIndex. 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
ReferencesCatégories : Informatique
Programmation
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 matricesExemplaires (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
IndexCatégories : Algorithmes
Génie logiciel
ProgrammationIndex. 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 externesExemplaires (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 informatiqueCatégories : Commande automatique
Industrie
Industrie:Informatique
Informatique
Procédés de fabrication
Programmation
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éelExemplaires (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