BIBLIOTHÈQUE - ACCÈS LIBRE
000 - Informatique - Bibliothéconomie
Dans le rayon 000 - Informatique - Bibliothéconomie il y a différentes étagères, cliquez dessus pour les explorer...Non classé | Techniques (Sciences appliquées) |
Affiner la recherche
A Guided Tour of Artificial Intelligence Research: 3., Interfaces and Applications of Artificial Intelligence / Pierre MARQUIS ; Odile PAPINI ; Henri PRADE
Titre : A Guided Tour of Artificial Intelligence Research: 3., Interfaces and Applications of Artificial Intelligence Type de document : texte imprimé Auteurs : Pierre MARQUIS, Éditeur scientifique ; Odile PAPINI, Éditeur scientifique ; Henri PRADE, Éditeur scientifique Editeur : Springer Nature Switzerland Année de publication : 2020 Importance : 803 p. Note générale : General Presentation of the Guided Tour of Artificial Intelligence Reasearch
Contents
Preface
Foreword
IndexCatégories : Intelligence artificielle
Intelligence computationnelleIndex. décimale : 006.3 Intelligence artificielle Résumé : / Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014580 006.3 MAR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Handbook of Model Checking / Edmund M. CLARKE
Titre : Handbook of Model Checking Type de document : texte imprimé Auteurs : Edmund M. CLARKE, Directeur de publication ; Thomas A. HENZINGER, Directeur de publication ; Helmut VEITH, Directeur de publication ; Roderick BLOEM, Directeur de publication Editeur : Springer Nature Switzerland Année de publication : 2018 Importance : 1210 p. ISBN/ISSN/EAN : 978-3-319-10574-1 Note générale : Foreword
Preface
Acknowledgements
Contributors
Contents
IndexCatégories : Logiciels:Vérification
Vérification de modèles (informatique)Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Introduction to Model Checking
Temporal Logic and Fair Discrete Systems
Modeling for Verification
Automata Theory and Model Checking
Explicit-State Model Checking
Partial-Order Reduction
Binary Decision Diagrams
BDD-Based Symbolic Model Checking
Propositional SAT Solving
SAT-Based Model Checking
Satisfiability Modulo Theories
Compositional Reasonning
Abstraction and Abstraction Refinement
Interpolation and Model Checking
Predicate Abstraction for Program Verification
Combining Model Checking and Data-Flow Analysis
Model Checking Procedural Programs
Model Checking Concurrent Programs
Combining Model Checking and Testing
Combining Model Checking and Deduction
Model Checking Parameterized Systems
Model Checking Security Protocols
Transfer of Model Checking to Industrial Practice
Functionnal Specification of Hardware via Temporal Logic
Symbolic Trajectory Evaluation
The mu-Calculus and Model Checking
Graph Games and Reactive Synthesis
Model Checking Probabilistic Systems
Model Checking Real-Time Systems
Verification of Hybrid Systems
Symbolic Model Checking in Non-Boolean Domains
Process Algebra and Model Checking
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014650 004.2 CLA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible HyperCard : Hypertalk : Guide d'utilisation et de programmation / Danny GOODMAN
Titre : HyperCard : Hypertalk : Guide d'utilisation et de programmation Autre titre : The Complete HyperCard Handbook Type de document : texte imprimé Auteurs : Danny GOODMAN ; Isabelle LEVY, Traducteur Editeur : Bordas Année de publication : 1988 Importance : 689 p. ISBN/ISSN/EAN : 978-2-04-018686-9 Note générale : Table des matières
Dédicace
Remerciements
Note à propos de la version française
Avant-propos de John Sculley
Une conversation avec Bill Atkinson
Introduction
Annexe A : Importation et exportation de données
Annexe B : Références
IndexCatégories : HyperCard (logiciel)
HyperTalk (langage de programmation)
Hypertextes
Macintosh (ordinateur)
Macintosh (ordinateur):ProgrammationIndex. décimale : 005.13 Langages de programmation Résumé : UTILISER HYPERCARD
Naviguer dans des blocs construits
Chercher et rentrer des informations
Lier et imprimer avec HyperCard
L'ENVIRONNEMENT AUTEUR
Introduction au mode auteur
Tout sur les piles
Tour sur les couches, les plans
Tout sur les fonds
Tout sur les cartes
Tout sur les champs
Tout sur les boutons
Introduction aux liens
Introduction aux outils de dessin
Les palettes graphiques d'HyperCard
Le menu dessin
Le menu options
Stratégies de dessin
Construire une pile
L'ENVIRONNEMENT PROGRAMMATION
Introduction à HyperTalk
Messages, hiérarchie et héritage
Introduction aux commandes HyperTalk
Les commandes de navigation
Les commandes d'action
Commandes arithmétiques
Commandes de manipulation d'objets
Commandes de manipulation d'écrans
Commandes sonores
Commandes de manipulation de fichiers
Propriétés
Introduction aux fonctions d'HyperTalk
Heure et date
Fonctions clavier et souris
Fonctions texte
Fonctions mathématiques
Fonctions diverses
Opérateurs mathématiques
Constantes
Structures de contrôle
UTILISER HYPERCARD ET HYPERTALK
Introduction aux applications
Une pile de numérotation téléphonique
Une pile "mémo-perso" améliorée
Une pile pour organiser votre travailExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000357 005.13 GOO 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
IndexCatégories : Apprentissage automatique
Exploration de données
Intelligence computationnelle
Langages de programmation
Réseaux neuronaux (informatique)
Séries chronologiquesIndex. 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 chronologiquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00011331 006.3 FLE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie 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
IndexCaté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 PASCALExemplaires (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
BibliographieCatégories : Automatisation
Données
Données:Transmission
Informatique
Ordinateurs
Productique
TéléinformatiqueIndex. 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émoireExemplaires (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
BibliographieCatégories : Automatisation
Informatique
OrdinateursIndex. 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 processusExemplaires (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
BibliographieCatégories : Commande automatique
Informatique
OrdinateursIndex. 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 fluidesExemplaires (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
BibliographieCatégories : Industrie
Informatique
Ordinateurs
TéléinformatiqueIndex. 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-commandeExemplaires (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 sommaireCatégories : Equations
InformatiqueIndex. 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 partiellesExemplaires (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 : 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
BibliographieCatégories : Approxiamtion numérique
Approximation, Théorie de l'
Equations, Systèmes d'
Informatique
Informatique:MathématiquesIndex. 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égralesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005745 004.015 COU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Informatique. De la programmation linéaire à la programmation par contraintes / Éric BOURREAU
Titre : Informatique. De la programmation linéaire à la programmation par contraintes Type de document : texte imprimé Auteurs : Éric BOURREAU, Auteur ; Matthieu GONDRAN, Auteur ; Philippe LACOMME, Auteur ; Marina VINOT, Auteur Editeur : Ellipses Année de publication : 2019 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 350 p. ISBN/ISSN/EAN : 978-2-340-02946-0 Note générale : Préface
Avant-propos
À qui s'adresse ce livre ?
Remerciements
Table des matières
Annexes - Compléments
IndexCatégories : Programmation linéaire
Programmation par contraintesIndex. décimale : 005.1 Programmation Résumé : Modélisation linéaire et outils de résolution
Choco et CPLEX pour la programmation par contraintes
Notions de base PPC pour le RCPSP et le Job-Shop
Modélisations spécifiques à la PPCExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014708 005.1 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/09/2025 Informatique. Programmation par contraintes : Démarches de modélisation pour l'optimisation / Éric BOURREAU
Titre : Informatique. Programmation par contraintes : Démarches de modélisation pour l'optimisation Type de document : texte imprimé Auteurs : Éric BOURREAU, Auteur ; Matthieu GONDRAN, Auteur ; Philippe LACOMME, Auteur ; Marina VINOT, Auteur Editeur : Ellipses Année de publication : 2020 Collection : Technosup (Paris), ISSN 1275-3955 Importance : 232 p. ISBN/ISSN/EAN : 978-2-340-03585-0 Note générale : Préface
Avant-propos
À qui s'adresse ce livre ?
Table des matières
IndexCatégories : Optimisation mathématique
Programmation par contraintesIndex. décimale : 005.1 Programmation Résumé : Notions fondamentales en PPC
Modélisations de problèmes de type VRP
Modélisations de problèmes de type IRP
Modélisations de problèmes de type Job-Shop
Modélisations de problèmes de type VRP avec synchronisationExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014701 005.1 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/09/2025 B00011324 005.1 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Ingénierie du logiciel avec Ada : De la conception à la réalisation / Grady BOOCH
Titre : Ingénierie du logiciel avec Ada : De la conception à la réalisation Autre titre : Software Engineering with Ada Type de document : texte imprimé Auteurs : Grady BOOCH ; Jean-Pierre ROSEN, Traducteur Mention d'édition : 3e tirage Editeur : InterEditions Année de publication : 1991 Importance : 680 p. ISBN/ISSN/EAN : 978-2-7296-0192-8 Note générale : Table des matières
Avant-propos
Préface
Préface du traducteur
Annexes
Glossaire
Notes
Bibliographie
IndexCatégories : Ada (langage de programmation)
Génie logicielIndex. décimale : 005.133 Langages spécifiques Résumé : Premier paquetage : le domaine de problème
Second paquetage : présentation d'Ada
Troisième paquetage : structures de données
Quatrième paquetage : algorithmes et contrôle
Cinquième paquetage : concepts d'empaquetage
Sixième paquetage : traitement parallèle en temps réel
Septième paquetage : développement de systémes
Huitième paquetage : programmer pour AdaExemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité B00000465 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000466 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000460 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000651 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00000650 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00002015 005.133 BOO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Initiation à la bibliographie scientifique / Marie-France SUCH
Titre : Initiation à la bibliographie scientifique Type de document : texte imprimé Auteurs : Marie-France SUCH ; Dominique PEROL Editeur : Editions du Cercle de la Librairie Année de publication : 1987 Importance : 303 p. ISBN/ISSN/EAN : 978-2-903181-59-8 Note générale : Sommaire
Intro.
Glossaire
Liste des sigles et acronymes utilisés
Index
Table des matièresCatégories : Bibliographie
Recherche documentaireIndex. décimale : 028.7 Le livre et les média, sources d'information Résumé : Les ouvrages de références
Les documents primaires
Les documents secondaires
Bibliographie personnelle et localisation des documentsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001837 028.7 SUC Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Initiation à LabVIEW : les bases de la programmation / Francis COTTET
Titre : Initiation à LabVIEW : les bases de la programmation Type de document : texte imprimé Auteurs : Francis COTTET, Auteur Editeur : Dunod Année de publication : 2018 Collection : Sciences sup Sous-collection : Sciences de l'ingénieur Importance : 278 p. ISBN/ISSN/EAN : 978-2-10-077077-9 Note générale : Table des matières
Avant-propos
Les bonnes pratiques de la programmation LabVIEW
Solutions
IndexCatégories : LabVIEW (langage de programmation) Index. décimale : 005.13 Langages de programmation Résumé : LES BASES DE LA PROGRAMMATION AVEC LABVIEW
Les grands paradigmes de la programmation graphique
L'environnement spécifique de la programmation LabVIEW
L'édition d'un programme LabVIEW
L'exécution et la création d'un instrument virtuel
UTILISATION DES FONCTIONS DE BASES DE LABVIEW
Les données
Les structures de programmation Les traitements alphanumériques et booléens
Le traitement des tableaux et des clusters
Les affichages graphiques : menus et graphes
L'aspect "acquisition et restitution de données"Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité B00014436 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014448 005.13 COT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible B00014442 005.13 COT 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
IntroductionCatégories : Fortran (langage de programmation)
Langages de programmationIndex. décimale : 005.133 Langages spécifiques Résumé : Initiation à la programmation
Initiation au fortran
Conversation homme-machine
Langage de commandeExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00003985 005.133 GRO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Intelligence artificielle : 2., Représentation des connaissances / J.-L. LAURIERE
Titre : Intelligence artificielle : 2., Représentation des connaissances Type de document : texte imprimé Auteurs : J.-L. LAURIERE Editeur : Eyrolles Année de publication : 1988 Importance : 267 p. Note générale : Préface
Plan général
Conclusion
Index
BibliographieCatégories : Information, Théorie de l'
Intelligence artificielle
Représentation des connaissances
Systèmes experts (informatique)Index. décimale : 006.3 Intelligence artificielle Résumé : Les systèmes exprets
Le langage SNARK
Les règles en SNARK
La métaconnaissance
Le moteur d'inférences
Exemples de bases de connaissances
Problèmes d'optimisation
Définition syntaxique du langage SNARKExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000660 006.3 LAU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Intelligent Autonomous Systems : Foundations and Applications / Dilip, Kumar PRATIHAR
Titre : Intelligent Autonomous Systems : Foundations and Applications Type de document : texte imprimé Auteurs : Dilip, Kumar PRATIHAR, Éditeur scientifique ; Lakhmi C. JAIN, Éditeur scientifique Editeur : Heidelberg : Springer Année de publication : 2010 Importance : 265 p. ISBN/ISSN/EAN : 978-3-642-26256-2 Note générale : Foreword
Preface
Contents
Author Index
AppendixCatégories : Apprentissage automatique
Intelligence artificielleIndex. décimale : 006.3 Intelligence artificielle Résumé : / Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014832 006.3 PRA Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Interface homme-ordinateur : conception et réalisation / Joëlle COUTAZ
Titre : Interface homme-ordinateur : conception et réalisation Type de document : texte imprimé Auteurs : Joëlle COUTAZ Editeur : Dunod Informatique Année de publication : 1990 Importance : 455 p. ISBN/ISSN/EAN : 978-2-04-019635-6 Note générale : Table des matières
Intro.
Conclusion
Annexes
Bibliographie
IndexCatégories : Systèmes homme-machine
Traitement de l'informationIndex. décimale : 004.6 Interfaces et communication Résumé : Apport des sciences cognitives :
Le modèle du processeur humain
Les modèles GOM et Keystroke
Modélisation de l'action
Principes pratiques ergonomiques
Méthodes de conception
Architecture logicielle :
Composants fonctionnels
Modèles d'architecture
Le modèle PAC
Applications du modèle PAC
Outils pour la construction d'interfaces :
Boîte à outils
Machines à images abstraites
Squelette d'application
Générateurs d'interfaceExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001766 004.6 COU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Internet : Mode d'emploi pour l'enseignant / Dominique RUHLMANN
Titre : Internet : Mode d'emploi pour l'enseignant Type de document : texte imprimé Auteurs : Dominique RUHLMANN Editeur : CRDP de Bretagne Année de publication : 1997 Importance : 191 p. ISBN/ISSN/EAN : 978-2-86634-283-8 Note générale : Sommaire
Avant-propos
Noms de domaines par pays
Glossaire
IndexCatégories : Internet Index. décimale : 004.678 Internet Résumé : Présentation de l'Internet
Utiliser le web
Utiliser le transfert de fichier
Utiliser la messagerie
Utiliser les forums de discussion
Le multimédia en local
Problèmes liés à l'utilisation des ressources en pédagogie
Comment faire des économies de téléphone
Configurer une connexion à l'Internet sous Windows 95
Configuration des logiciels
Fiches pratiquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001830 004.678 RUH Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Introduction à la calculabilité / Pierre WOLPER
Titre : Introduction à la calculabilité Type de document : texte imprimé Auteurs : Pierre WOLPER Editeur : InterEditions Année de publication : 1991 Collection : IIA Importance : 268 p. ISBN/ISSN/EAN : 978-2-7296-0372-4 Note générale : Table des matières
Préface
Exercices
Bibliographie
IndexCatégories : Automates mathématiques, Théorie des
Calcul formel
Fonctions calculables
Langages formelsIndex. décimale : 005.13 Langages de programmation Résumé : Les automates finis
Les grammaires régulières
Automates à pile et langage hors-contexte
Les machines de Turing
Les fonctions récursives
La non-calculabilité
La complexitéExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002170 005.13 WOL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Introduction à l'informatique scientifique et technique / Bernard ANCELLE
Titre : Introduction à l'informatique scientifique et technique Type de document : texte imprimé Auteurs : Bernard ANCELLE Editeur : Hermès Science Publications Année de publication : 1984 Importance : 154 p. ISBN/ISSN/EAN : 978-2-86601-038-6 Note générale : Table des matières
Préface
Index ordinateurs et analyse
Index FORTRAN
BibliographieCatégories : Informatique
Informatique:Applications scientifiquesIndex. décimale : 004 Traitement de données. Informatique Résumé : Les ordinateurs :
Composants des ordinateurs
Représentation des informations
Méthodes d'analyse :
Algorithmes et métalangage
Structure des données
Quelques structures de données courantes
Architecture du logiciel
Méthodologie du logiciel
Programmation en FORTRAN :
Structure des programmes
Données et déclarations
Opérations
Structures de contrôle
Les sous-programmes
Les transferts périphériquesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001814 004 ANC Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Introduction à l'informatique théorique / Yolaine BOURDA
Titre : Introduction à l'informatique théorique Type de document : texte imprimé Auteurs : Yolaine BOURDA ; Nicolas GRANER ; Marie-Christine ROUSSET ; Guy VIDAL-NAQUET ; Philippe VOLLE ; Marie-Claude GAUDEL, Préfacier, etc. Editeur : Eyrolles Année de publication : 1994 Collection : Supélec num. 11 Importance : 214 p. ISBN/ISSN/EAN : 978-2-212-01642-0 Note générale : Sommaire général
Préface
Avant-propos
Table des matières
Bibliographie
IndexCatégories : Informatique
Ordinateurs
Ordinateurs:ProgrammationIndex. décimale : 004.1 Ouvrages généraux par types d'ordinateurs Résumé : Langages, automates et machines
Complexité des algorithmes
Complexité des problèmes
Outils mathématiques
Spécification des données
Correction des programmesExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000724 004.1 INT Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Introduction au Machine Learning / Chloé-Agathe AZENCOTT
Titre : Introduction au Machine Learning Type de document : texte imprimé Auteurs : Chloé-Agathe AZENCOTT, Auteur Mention d'édition : 2e édition Editeur : Dunod Année de publication : 2022 Importance : 263 p. ISBN/ISSN/EAN : 978-2-10-083476-1 Note générale : Table des matières
Avant-propos
Annexes
Index
Catégories : Apprentissage automatique
Apprentissage supervisé (intelligence artificielle)
Forêts d'arbres de décision
Optimisation convexe
Réseaux neuronaux (informatique)
Statistique bayésienneIndex. décimale : 006.3 Intelligence artificielle Résumé : Présentation du Machine Learning
Apprentissage supervisé
Sélection de modèle et évaluation
Inférence bayésienne
Régressions paramétriques
Régularisation
Réseaux de neurones artificiels
Méthodes des plus proches voisins
Arbres et forêts
Machines à vecteurs de support et méthodes à noyaux
Réduction de dimension
Clustering
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00011752 006.3 AZE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Sorti jusqu'au 15/05/2026