Indexation 005.1
005 Logiciels et utilisations de l'ordinateur : langages de programmation (Basic, C, Pascal, Fortran, Cobol...), programmation des calculatrices et jeux informatiques, systèmes d'exploitation (DOS, Windows, Linux...), logiciels (tableurs, traitements de texte, publication assistée par ordinateur = PAO, intégrés, systèmes de gestion de bases de données = SGBD, dessin assisté par ordinateur = DAO), infographie (images virtuelles), multimédia et cédéroms (du point de vue de leur contenu documentaire)Ouvrages de la bibliothèque en indexation 005.1 (37)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
texte imprimé
Manuel de programmation complet et didactique qui présente les outils et les méthodes actuellement à la disposition du programmeur. S'adresse aux étudiants en informatique et aux professionnels de l'informatique.
texte imprimé
Présentation de C++ couvrant toutes les fonctionnalités fondamentales du langage, toutes les fonctions des bibliothèques, toutes les classes d'entrée - sortie. Résumé en langage courant traduisant tous les mots clés, tous les noms des bibliothèq[...]
texte imprimé
Bernard Quément, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-algorithmique, programmation | 1992Une initiation aux concepts objet à travers l'étude des structures de données (liste, pile, file, arbre, graphe), ainsi que les algorithmes qui leur sont liés. Les notions délicates de modularité, d'encapsulation, de généricité, de ligature dyna[...]
texte imprimé
Permet d'apprendre par la pratique la résolution de problèmes de programmation formulés par des experts.
texte imprimé
RolandC. Backhouse, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-algorithmique, programmation | 1989Une approche thématique de la vérification de la programmation. Expose les bases mathématiques (logique des prédicats de 1er ordre) à partir desquelles deux méthodes de vérification sont applicables.
texte imprimé
WilliamH. Inmon, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodes informatiques et pratique des systèmes | 1993La définition et la mise en oeuvre des principes de base qui doivent gouverner tout environnement client-serveur sont décrits d'un point de vue à la fois fondamental, indépendamment de technologies spécifiques, et proche de leur finalité pratiqu[...]
texte imprimé
Ouvrage destiné aux programmeurs en langage C qui apprendront la programmation d'applications Gnome, l'outil de développement pour programmation objet de GNU, et l'utilisation de sa bibliothèque graphique GTK +.
texte imprimé
La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique ; il s'agit d'informatique théorique, directement issue de la logique mathématique et qui s'enseigne en 2e cycle. Cette nouvelle éditio[...]
texte imprimé
Henri Habrias, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodologie pour le logiciel | 1993Expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réaliser. A partir du modèle conceptuel de données et de la sémantique, les méthodes de spécification les plus[...]
texte imprimé
Les concepts de base : programmation orientée objet appliquée au langage Java, bases du langage, API (bibliothèques) de base ; le développement d'applications professionnelles : interfaces graphiques, accès aux bases de données, entrées/sorties [...]
texte imprimé
MNF JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES, Auteur ; François Fages, Éditeur scientifique | Paris : Hermès science publications | 1999Ces journées ont pour but de faire le point sur les relations entre les multiples aspects qui composent la programmation logique, la démonstration automatique, la résolution de contraintes et les domaines d'application.
texte imprimé
Pour apprendre rapidemment et simplement le langage C++ par l'exemple. Ce guide contient de nombreux petits programmes autonomes et très facilement réutilisables. Des fonctions aux classes, en passant par les algorithmes standards, l'essentiel d[...]
texte imprimé
Pour les débutants qui désirent s'initier à la programmation avec le langage Java comme support d'apprentissage. Cette 2e édition s'est enrichie de deux nouveaux chapitres, l'un sur la librairie Swing, l'autre sur Java et Internet (JavaServer Pa[...]
texte imprimé
texte imprimé
Après un rappel des bases de la logique booléenne, expose de façon didactique tout ce qu'il faut connaître pour concevoir des nouveaux composants : architectures de FPGA et CPLD, méthodes de conception et langage de programmation VHDL.
