Ada : Introduction avancée / Narain GEHANI

Titre : Ada : Introduction avancée Autre titre : Ada : An Advanced Introduction Type de document : texte imprimé Auteurs : Narain GEHANI ; Denis TAUZIN-RAYNAUD, Traducteur Editeur : Eyrolles Année de publication : 1988 Importance : 308 p. Note générale : Sommaire. Avant-propos. Préface. Appendice : Raffinement successif Biblio annotée. Catégories : Ada (langage de programmation) Langages de programmation Index. décimale : 005.13 Langages de programmation Résumé : Eléments de base. Davantage au sujet des types. Paquetages. Le parallélisme. Exceptions. Facilités génériques. Structures des programmes et compilation séparée. Clauses de représentation et caractéristiques dépendant de l'implémentation.

Exemplaires (1)

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

Algorithms + Data Structures = Programs / Niklaus WIRTH

Titre : Algorithms + Data Structures = Programs Type de document : texte imprimé Auteurs : Niklaus WIRTH Editeur : Prentice Hall, Inc. Année de publication : 1976 Collection : Series in Automatic Computation Importance : 366 p. ISBN/ISSN/EAN : 978-0-13-022418-7 Note générale : Contents Preface References Subject index Index of programs Catégories : Algorithmes Langages de programmation Ordinateurs Ordinateurs:Programmation Programmation (mathématiques) Structures de données (informatique) Index. décimale : 005.1 Programmation Résumé : Fundamental Data Structures Sorting Recursive Algorithms Dynamic Information Structure Language Structures and Compilers

Exemplaires (1)

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

Approche fonctionnelle de la programmation / Guy COUSINEAU

Titre : Approche fonctionnelle de la programmation Type de document : texte imprimé Auteurs : Guy COUSINEAU ; Michel MAUNY Editeur : Édiscience international Année de publication : 1995 Importance : 428 p. ISBN/ISSN/EAN : 978-2-84074-114-5 Note générale : Avant-propos Table des matières Intro. Aide-mémoire Bibliographie Index Catégories : Langages de programmation Programmation fonctionnelle (informatique) Index. décimale : 005.1 Programmation Résumé : Principes de base : Expressions Structures de données Sémantique Aspects impératifs Applications : Arithmétique exacte Termes formels, filtrage, unification Arbres équilibrés Graphes et résolution de problèmes Analyse syntaxique Géométrie et dessins Implantation : Evaluation Compilation Typage

Exemplaires (1)

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

De Common Lisp à la programmation objet / Habib ABDULRAB

Titre : De Common Lisp à la programmation objet Type de document : texte imprimé Auteurs : Habib ABDULRAB Editeur : Hermès Science Publications Année de publication : 1990 Collection : Traité des Nouvelles Technologies, série Informatique Importance : 225 p. ISBN/ISSN/EAN : 978-2-86601-244-1 Note générale : Table des matières Avant-propos Annexe A : Représentation interne Annexe B : Solutions des exercices Annexe C : Notations Bibliographie Index Catégories : Common LISP (langage de programmation) Génie logiciel Intelligence artificielle Langages de programmation Programmation orientée objets (informatique) Index. décimale : 005.13 Langages de programmation Résumé : Introduction à LISP Primitives de base de LISP Evaluation en LISP Introduction à la programmation par objets Mécanismes de base de la programmation par objets Exploration du graphe d'héritage Implémentation d'un langage à objets Unification

Exemplaires (1)

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

Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données / Emmanuel GEVEAUX

Titre : Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données Type de document : thèse Auteurs : Emmanuel GEVEAUX ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; C. ANDRE, Rapporteur ; J.-L. FERRIER, Rapporteur ; J.-M. CHALONS, Examinateur ; L.-P. DOCO, Examinateur ; Guy PIERRA, Examinateur ; T. SORIANO, Examinateur Importance : 166 p. Note générale : Remericements Table des matières Introduction Conclusion Références bibliographiques Annexes Catégories : Commande de processus GRAFCET Langages de programmation Programmation parallèle (informatique) Index. décimale : TH-98 Résumé : LA PROGRAMMATION GRAPHIQUE FLOT DE DONNEES Avant-propos : Programmation Textuelle et Programmation Graphique Les diagrammes Flots de Données Le langage G : le Flot de Données Structuré LabVIEW : Une Implémentation du Langage G Recommandations de développement en Langage G PROGRAMMATION CONCURRENTE POUR LE LANGAGE G Avant-propos : Programmation déquentielle et programmation concurrente Les concepts de la programmation concurrente Programmation concurrente et langage G UNE IMPLEMENTATION DU GRAFCET EN LANGAGE G Avant-propos : Domaine d'application du GRAFCET Définition du GRAFCET Les principes d'implementation du GRAFCET GrafcetVIEW

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006965	TH-98 GEV	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 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

L'essentiel du C++ / Stanley LIPPMAN

Titre : L'essentiel du C++ Type de document : texte imprimé Auteurs : Stanley LIPPMAN Mention d'édition : 2ème édition Editeur : Addison-Wesley Publishing Company, Inc. Année de publication : 1992 Importance : 613 p. ISBN/ISSN/EAN : 978-2-87908-002-4 Note générale : Péface Appendices Index Catégories : C++ (langage de programmation) Langages de programmation Index. décimale : 005.13 Langages de programmation Résumé : Pour commencer Les types de C++ Expressions et instructions Fonctions, portée et mémoire libre Fonctions surchargées et template Les classes en C++ Fonctions membres Classes template Dérivation et héritage Programmation orientée-objets. Conception orientée-objets.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000686	005.13 LIP	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000680	005.13 LIP	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2026

Exercices en langage C / Claude DELANNOY

Titre : Exercices en langage C Type de document : texte imprimé Auteurs : Claude DELANNOY Editeur : Eyrolles Année de publication : 1992 Importance : 260 p. ISBN/ISSN/EAN : 978-2-212-08251-7 Note générale : Avant-propos Table des matières Catégories : C (langage de programmation) Langages de programmation Index. décimale : 005.133 Langages spécifiques Résumé : Exercices d'application : Types de base, opérateurs et expressions Les entrées-sorties conversationnelles Les instructions de contrôle Les fonctions Tableaux et pointeurs Les chaînes de caractères Les structures Exercices thématiques : Variations algorithmiques sur les instructions de base Utilisation des structures Hasard et récréations Tris, fusions et recherche en table Gestion dynamique Récursivité Traitement des fichiers Analyse numérique

Exemplaires (1)

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

Fortran 77 / Patrice LIGNELET

Titre : Fortran 77 Type de document : texte imprimé Auteurs : Patrice LIGNELET Mention d'édition : 4e éd. Editeur : Masson Année de publication : 1991 Importance : 192 p. ISBN/ISSN/EAN : 978-2-903607-69-2 Note générale : Avant-propos Table des matières Annexes Sommaire du livre d'exercices Bibliographie Index Catégories : Fortran (langage de programmation) Langages de programmation Index. décimale : 005.13 Langages de programmation Résumé : Notions fondamentales : Eléments de base du langage Les types de données Les premiers pas : lire, écrire, calculer Structure des programmes : Test et choix Les boucles Les procédures : sous-programmes et fonctions Les données structurées : Les tableaux Les fichiers séquentiels Les fichiers à accès direct Entrées/sorties dirigées par un format

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000229	005.13 LIG	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00003977	005.13 LIG	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Disponible

Fortran IV / M. DREYFUS

Titre : Fortran IV Type de document : texte imprimé Auteurs : M. DREYFUS Mention d'édition : Cinquième édition Editeur : Dunod Année de publication : 1972 Collection : Centre Interarmées de Recherche Opérationnelle (CIRO) Importance : 228 p. Note générale : Préface Avant-propos Table des matières Généralités Bibliographie Index Catégories : Fortran (langage de programmation) Langages de programmation Programmation système (informatique) Index. décimale : 005.133 Langages spécifiques Résumé : Ecriture des opérandes Les opérateurs arithmétiques et les fonctions élémentaires La formule arithmétique Les opérateurs logiques L'emploi des opérateurs logiques Les ruptures de séquence Les boucles de programme Les entrées-sorties Fonctions et sous-programmes écrits en Fortran Equivalence et communs Création d'information au niveau de programme symbolique Sous-programmes particuliers Tableau des ordres exécutables et non-exécutables Préparation et mise au point des programmes

Exemplaires (1)

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

Informatique. Découverte du Machine Learning : Les outils de l'apprentissage automatique / Gérard FLEURY

Titre : Informatique. Découverte du Machine Learning : Les outils de l'apprentissage automatique Type de document : texte imprimé Auteurs : Gérard FLEURY, Auteur ; Philippe LACOMME, Auteur ; Matthieu GONDRAN, Auteur ; Chafik SAMIR, Auteur Editeur : Ellipses Année de publication : 2021 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 306 p. ISBN/ISSN/EAN : 978-2-340-04733-4 Note générale : Préface Avant-propos À qui s'adresse ce livre ? Remerciements Table des matières Index Catégories : Apprentissage automatique Exploration de données Intelligence computationnelle Langages de programmation Réseaux neuronaux (informatique) Séries chronologiques Index. décimale : 006.3 Intelligence artificielle Résumé : Machine Learning Les réseaux de neurones Découverte de TensorFlow et de Keras Réseaux Bayésiens Les méthodes de classification Weka et le Data Mining Séries chronologiques

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00011331	006.3 FLE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Initiation au langage Fortran : Conversation, homme-machine / J.-L. GROBOILLOT

Titre : Initiation au langage Fortran : Conversation, homme-machine Type de document : texte imprimé Auteurs : J.-L. GROBOILLOT ; J.-M. DETHOOR ; G. FALCO ; M. KLEIN ; E. ARRIGHI DE CASANOVA, Préfacier, etc. ; P. ROSENSTIEHL Mention d'édition : Deuxième édition Editeur : Dunod Année de publication : 1969 Collection : Monographies des hautes études commerciales num. 1 Importance : 131 p. Note générale : Préface Avant-propos Table des matières Introduction Catégories : Fortran (langage de programmation) Langages de programmation Index. décimale : 005.133 Langages spécifiques Résumé : Initiation à la programmation Initiation au fortran Conversation homme-machine Langage de commande

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00003985	005.133 GRO	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 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

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ères Catégories : ALGOL (langage de programmation) Langages de programmation Logiciels Programmation Index. 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'avenir

Exemplaires (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

Les langages de développement sur Web : Java, Shockwave, VRML / Imad SALEH

Titre : Les langages de développement sur Web : Java, Shockwave, VRML Type de document : texte imprimé Auteurs : Imad SALEH Editeur : Hermès Science Publications Année de publication : 1996 Importance : 159 p. ISBN/ISSN/EAN : 978-2-86601-542-8 Note générale : Ill. coul., schémas, tableaux. Table des matières. Introduction. Conclusion. Annexe. Glossaire. Bibliographie. Adresses internet. Catégories : HTML (Langage de balisage) Internet Java (Langage de programmation) Langages de programmation Réseaux d'ordinateurs Web Index. décimale : 005.13 Langages de programmation Résumé : Internet. Concepts de bases d'un serveur Web. Le langage HTLM. Director/Shockwave. Java. VRML. Synthèse.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001800	005.13 SAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000103	005.13 SAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Disponible

Maîtriser les bases de données : modèles et langages / Georges GARDARIN

Titre : Maîtriser les bases de données : modèles et langages Type de document : texte imprimé Auteurs : Georges GARDARIN Editeur : Eyrolles Année de publication : 1993 Importance : 347 p. ISBN/ISSN/EAN : 978-2-212-08727-7 Note générale : Sommaire Introduction Notations Bibliographie Index des auteurs Index des concepts Catégories : Bases de données Langages de programmation Index. décimale : 005.74 Fichiers et système de gestion de bases de données. Compression des données Résumé : Introduction Les fonctions des SGBD Fichiers, indexation et hachage Les modèles réseau et hiérarchique Le modèle relationnel Le langage SQL Les modèles à objets Le modèle logique

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001832	005.74 GAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Manuel complet du langage FORTRAN 90 et FORTRAN 95 Calcul intensif et génie logiciel / Patrice LIGNELET

Titre : Manuel complet du langage FORTRAN 90 et FORTRAN 95 Calcul intensif et génie logiciel Type de document : texte imprimé Auteurs : Patrice LIGNELET ; Jean-Pierre MEINADIER Editeur : Masson Année de publication : 1996 Collection : Manuels informatiques Masson Importance : 314 p. ISBN/ISSN/EAN : 978-2-225-85229-9 Note générale : Préface Table des matières Avant-propos Bibliographie Annexes Index alphabétique Catégories : Fortran (langage de programmation) Fortran 90 (langage de programmation) Fortran 95 (langage de programmation) Langages de programmation Index. décimale : 005.13 Langages de programmation Résumé : Vue panoramique du langage Le B, A, BA Types, objets, déclarations A vous de jouer Algorithmique I : Les schémas de décision Algorithmique II : Les schémas itératifs Les procédures : sous-programmes et fonctions Structures de données I : Tableaux et calcul vectoriel Structures de données II : Types construits ou cartésiens Structures de données III : Pointeurs et allocation dynamique Modules I : Les fondements Modules II : Les blocs d'interface La récursivité Procédures prédéfinies Entrées sorties I : Fichiers séquentiels Entrées sorties II : Fichiers à accés direct Entrées sorties III : Fichiers de texte et formats Eléments de bas niveau Les apports de Fortran 95 Fonctionnalités obsolètes Norme(s) auxiliaire(s) : Chaînes de longueur variable

Exemplaires (1)

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

Mastering CMake : A Cross-Platform Build System / Ken MARTIN

Titre : Mastering CMake : A Cross-Platform Build System Type de document : texte imprimé Auteurs : Ken MARTIN, Auteur ; Bill HOFFMAN, Auteur Mention d'édition : 6e édition Editeur : Kitware, Inc. Année de publication : 2013 Importance : 640 p. ISBN/ISSN/EAN : 978-1-930934-26-9 Note générale : Contents Appendix Index Catégories : Langages de programmation Logiciels libres Systèmes d'exploitation (ordinateurs) Index. décimale : 005.13 Langages de programmation Résumé : Why CMake? Getting Started Key Concepts Writing CMakelists Files System Inspection Custom Commands and Targets Converting Existing Systems to CMake Cross-Compiling with CMake Packaging with Cpack Automation & Testing with Cmake Porting CMake to new Platforms and Languages Tutorials Variables Command Line Reference Generator Expressions Listfile Commands Selected Modules Properties CMake Policies

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010829	005 MAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2026
B00010830	005.13 MAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 30/09/2025

Mastering CMake Update for CMake version 1.8 / Ken MARTIN

Titre : Mastering CMake Update for CMake version 1.8 Type de document : texte imprimé Auteurs : Ken MARTIN ; Bill HOFFMAN Editeur : Kitware, Inc. Année de publication : 2003 Importance : 157 p. ISBN/ISSN/EAN : 978-1-930934-09-2 Note générale : Contents Index Catégories : Langages de programmation Logiciels libres Systèmes d'exploitation (ordinateurs) Tags : CMake Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Why cmake ? Getting started Key concepts Writing cmakelists files Converting existing systems to cmake System inspection Custom commands and targets Automation & testing with cmake Porting cmake to a new platform Extending cmake Variables Cmake command reference

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005650	005 MAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2026

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 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

Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique / Nabil BELAID  

Titre : Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique Type de document : thèse Auteurs : Nabil BELAID, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Jean-François RAINAUD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marianne HUCHARD, Rapporteur ; Flavio OQUENDO, Rapporteur ; Nicole LEVY, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Stéphane JEAN, Examinateur ; Daniel RAHON, Examinateur Année de publication : 2011 Importance : 215 p. Note générale : NNT 2011ESMA0007 Remerciements Table des matières Introduction générale Bibliographie table des figures Liste des tableaux Glossaire Résumé Mots clés Langues : Français (fre) Catégories : Bases de données Langages de programmation Ontologies (informatique) Résumé : ETAT DE L'ART Ontologies et bases de données à base ontologique Les workflows en ingénierie Modélisation géologique NOTRE PROPOSITION Un modèle conceptuel pour une gestion sémantique de services et de workflows Modélisation logique de notre approche sur OntoDB APPLICATION A LA MODELISATION GEOLOGIQUE Application de notre proposition à la modélisation géologique Implémentation de notre approche sur l'interprétation sismique Geological Workflow Editor (GWE) CONCLUSION GENERALE ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00605153/fr/

Exemplaires (1)

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

Numerical Recipes in Fortran. The Art of Scientific Computing / PRESS, William, H.

Titre : Numerical Recipes in Fortran. The Art of Scientific Computing Type de document : texte imprimé Auteurs : PRESS, William, H. ; TEUKOLSKY, Saul, A. ; VETTERLING, William, T. ; FLANNERY, Brian, P. Mention d'édition : third edition Editeur : Cambridge : Cambridge Univeristy Press Année de publication : 2007 Importance : 1235 p. ISBN/ISSN/EAN : 978-0-521-88407-5 Note générale : Contents Preface to the third edition Preface to the Second edition Preface to the first edition License and Legal Information References Index Catégories : Fortran (langage de programmation) Informatique Langages de programmation Scientifiques Index. décimale : 005.13 Langages de programmation Résumé : Preliminaries Solution of Linear Algebraic Equations Interpolation and Extrapolation Integration of Functions Evaluation of Functions Special Functions Random Numbers Sorting and Selection Root Finding and Nonlinear Sets of Equations Minimization or Maximization of Functions Eigensystems Fast Fourier Transform Fourier and Spectral Applications Statistical Description of Data Modeling of Data Classification and Inference Integration of Ordinary Differential Equations Two-Point Boudary Value Problems Integral Equations and Inverse Theory Partial Differential Equations Computational Geometry Less-Numerical Algorithms

Exemplaires (1)

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

Numerical Recipes in Fortran. The Art of Scientific Computing (FORTRAN Version) / PRESS, William, H.

Titre : Numerical Recipes in Fortran. The Art of Scientific Computing (FORTRAN Version) Type de document : texte imprimé Auteurs : PRESS, William, H. ; FLANNERY, Brian, P. ; TEUKOLSKY, Saul, A. ; VETTERLING, William, T. Mention d'édition : 2nd edition Editeur : Cambridge : Cambridge Univeristy Press Année de publication : 1992 Importance : 702 p. ISBN/ISSN/EAN : 978-0-521-38330-1 Note générale : Contents Prefaces List of Computer Programs References Numerical Recipes in Other Languages Table of Program Dependencies Index Catégories : Fortran (langage de programmation) Langages de programmation Index. décimale : 005.13 Langages de programmation Résumé : Preliminaries Solution of Linear Algebraic Equations Interpolation and Extrapolation Integration of Functions Evaluation of Functions Special Functions Random Numbers Sorting Root Finding and Nonlinear Sets of Equations Minimization or Maximization of Functions Eigensystems Fourier Transform Spectral Methods Statistical Description of Data Modeling of Data Integration of Ordinary Differential Equations Two Point Boundary Value Problems Partial Differential Equations

Exemplaires (1)

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

Pascal, manuel de l'utlisateur et rapport de définition : Conforme au Pascal normalisé ISO / Kathleen JENSEN

Titre : Pascal, manuel de l'utlisateur et rapport de définition : Conforme au Pascal normalisé ISO Type de document : texte imprimé Auteurs : Kathleen JENSEN ; Niklaus WIRTH Editeur : Eyrolles Année de publication : 1987 Importance : 262 p. Note générale : Avant-propos Préface Table des matières Introduction Références bibliographique Annexe Index Catégories : Langages de programmation PASCAL (langage de programmation) Index. décimale : 005.133 Langages spécifiques Résumé : Notation : Symboles et séparateurs Le concept de données : les types simples L'en-tête de programme et la partie déclaration Le concept d'action Rapport Pascal

Exemplaires (1)

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

La pratique du Fortran 77 / Patrice LIGNELET

Titre : La pratique du Fortran 77 Type de document : texte imprimé Auteurs : Patrice LIGNELET Mention d'édition : 2e éd. Editeur : Masson Année de publication : 1991 Importance : 231 p. ISBN/ISSN/EAN : 978-2-225-82480-7 Note générale : Ill. coul., schémas. Préface. Sommaire. Bibliographie. annexe. Table des matières. Catégories : Fortran (langage de programmation) Langages de programmation Index. décimale : 005.13 Langages de programmation Résumé : Les notions de base du Fortran 77. L'exécution conditionnelle : test et choix. Les boucles. Sous-programmes et fonctions. Les tableaux et leurs applications. Le type chaîne de caractères. Les fichiers binaires a accés séquentiel et direct. Les entrées/sorties avec format.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00003976	005.13 LIG	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000111	005.13 LIG	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Disponible

---

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