GEOTRUST SSL CERTIFICATE
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1 (315)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![]()
texte imprimé
Dresse un panorama des solutions logicielles disponibles pour résoudre les problèmes d'allocation et de récupération dynamique de l'espace mémoire dans les langages de programmation.![]()
texte imprimé
Présente l'ensemble des pratiques de l'Extreme Programming (XP) qui couvre une grande partie des activités de réalisation d'un logiciel, les facteurs de compétitivité d'un projet XP et des études de cas (projet Web, projet industriel).![]()
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é
![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
Traite des réseaux informatiques entre les ordinateurs avec les dernières recherches en simulation informatique. Un cours de mathématiques appliquées en informatique pour les élèves-ingénieurs et les spécialistes.![]()
texte imprimé
Qu'est-ce que le CMM (capability maturity model for software)? C'est un ensemble de pratiques logiciel, dans un cadre évolutif, où les processus utilisés pour développer et maintenir le logiciel se perfectionnent de manière permanente. Le CMM es[...]![]()
texte imprimé
Décrit la façon de créer les produits qui optimisent l'interaction entre utilisateurs et ordinateurs Macintosh.![]()
texte imprimé
Part de l'architecture interne de la machine et s'achève par les langages que le programmeur peut manipuler et lui appliquer.![]()
texte imprimé
Pour apprendre à créer des commandes personnalisées, des menus, des boîtes de dialogue, des messages et des boutons mais aussi à composer et afficher les aides en ligne correspondant à tous ces éléments.![]()
texte imprimé
SQL Windows est un logiciel professionnel permettant de construire des applications d'interrogation de bases de données avec une interface graphique (de type Windows). Cet outil, conçu pour les environnements de type client-serveur, est produit [...]![]()
texte imprimé
![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; GROUPE PROGRAMMATION EN LOGIQUE, Auteur ; ÉCOLE POUR LES ÉTUDES ET LA RECHERCHE EN INFORMATIQUE ET ÉLECTRONIQUE, Auteur | Bessières (Haute Garonne) : Teknea | 1993Thèmes abordés : programmation séquentielle, Prolog, langage naturel, représentation de la connaissance, lambda-calcul, transformation de programmes, contraintes.![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
28 séries d'exercices correspondant chacun à une séance de cours.![]()
texte imprimé
Ouvrage à but pédagogique pour BTS, IUT, classes préparatoires et écoles d'ingénieurs.![]()
texte imprimé
Méthodes et outils utilisés pour contrôler la précision des calculs en arithmétique à virgule flottante.![]()
texte imprimé
Présente les concepts de base de la programmation. L'accent est mis sur la méthodologie de l'analyse et de la programmation.![]()
texte imprimé
Les grands thèmes de la programmation sous forme de résumés de cours et de nombreux exercices de niveau progressif avec des corrections très détaillées.![]()
texte imprimé
Cours de programmation destiné aux scientifiques, économistes et gestionnaires non informaticiens.![]()
texte imprimé
Michèle Soria, Auteur ; Anne Brygoo, Auteur ; Michelle Morcrette, Auteur | Paris : Vuibert informatique | Passeport pour l'informatique | 1998Cette étude repose sur la découverte de notions fondamentales de l'informatique (codage de l'information, initiation à la programmation) au travers de la pratique et de l'observation de logiciels d'usage courant, un traitement de texte et un tab[...]![]()
texte imprimé
Michèle Soria, Auteur ; Anne Brygoo, Auteur ; Michelle Morcrette, Auteur | Paris : International Thomson publishing France | 1997Cette étude repose sur la découverte de notions fondamentales de l'informatique (codage de l'information, initiation à la programmation) au travers de la pratique et de l'observation de logiciels d'usage courant, un traitement de texte et un tab[...]![]()
texte imprimé
Nathalie Lopez, Auteur ; Jorge Migueis, Auteur ; Emmanuel Pichon, Auteur | Paris : Eyrolles | Informatiques magazine | 2000Les quatre phases de la modélisation UML (analyse à l'aide des uses cases, modèle statique, modèle dynamique et conception) sont expliquées à travers une étude de cas à la fois riche et concrète : une application de gestion des prêts d'une média[...]![]()
texte imprimé
Expose les principes généraux de conception des interfaces.![]()
texte imprimé
Plus de 20 montages pour réaliser un système complet d'entrées-sorties pour le PC.![]()
texte imprimé
![]()
texte imprimé
Yves Lecourtier, Auteur ; Bernard Saint-Jean, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Technologies de l'université à l'industrie | 1989Une présentation du Grafcet, outil de description de tout automatisme de nature séquentielle et de sa matérialisation par circuit électronique.![]()
texte imprimé
La théorie de la calculabilité répond à la question des limites de l'informatique. Pour les professionnels et les étudiants.![]()
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é
Les résultats les plus récents sur la théorie des langages et des automates, les notions de machines de Turing et de calculabilité. Destiné aux étudiants des 2e et 3 cycles en informatique.![]()
texte imprimé
Gilles Clavel, Auteur ; Joëlle Biondi, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Manuels informatiques Masson | 1989Fait suite à $$Algorithmique et langages$$.![]()
texte imprimé
Gilles Clavel, Auteur ; Joëlle Biondi, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Manuels informatiques Masson | 1985Destiné aux débutants en programmation.![]()
texte imprimé
S'adresse à des étudiants en administration, sciences comptables, recherche opérationnelle et aux gestionnaires et cadres d'entreprises.![]()
texte imprimé
Un manuel d'apprentissage de la programmation par objets.![]()
texte imprimé
![]()
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é
Présentation de la classe "thread", des techniques visant à éviter les problèmes de synchronisation (deadlocks, pénurie de verrous), des différentes méthodes d'ordonnancement des threads Java, de la notion de groupe de threads, ilustrée par de n[...]![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Olivier Ridoux, Metteur en scène, réalisateur | Paris : Hermès science publications | 1998Ces 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 en informatique fondamentale.![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Michel Rueher, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002La programmation logique avec contraintes est le fruit de recherches menées depuis plusieurs décennies dans le domaine de la logique, la démonstration automatique, la recherche opérationnelle et l'intelligence artificielle.![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Jean-Louis Imbert, Metteur en scène, réalisateur | Paris : Hermès science publications | 1996La programmation logique apparue dans les années 70 est reconnue comme un paradigme de programmation simple et déclaratif. La programmation par contraintes s'est beaucoup développée et conjointement à la programmation logique permet d'attaquer e[...]![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), 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é
![]()
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é
L'ouvrage d'apprentissage du langage Caml, avec ses particularités d'implémentation (Caml light). Ecrit par les auteurs de ce langage.![]()
texte imprimé
Présente les principales techniques de programmation par objets en informatique et les principes fondamentaux des langages à objets avec leurs grandes familles : typés (Simula), non typés (Smalltalk), de prototypes, d'acteurs.![]()
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é
Pour les débutants qui désirent s'initier à la programmation avec le langage Java comme support d'apprentissage.![]()
texte imprimé
Des programmes sophistiqués sont derrière toute application informatique, du traitement de texte à la navigation spatiale.![]()
texte imprimé
Une méthode de description des problèmes et de conception des logiciels scientifiques qui insiste particulièrement sur la modélisation et sur la phase critique de l'architecture.![]()
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.![]()
texte imprimé
Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Farinas Del Cerro, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1990Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation.![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
Un ordinateur exploré à travers 20 leçons progressives.![]()
texte imprimé
Barbara Liskov, Auteur ; John Guttag, Auteur | Paris : Ed. d'Organisation | Ingénierie des systèmes d'information | 1990![]()
texte imprimé
Comment gérer et créer soi-même les programmes présents dans l'ordinateur.![]()
texte imprimé
Ulrich Hack, Auteur ; Markus Hoffmann, Auteur ; Denis Meyer, Metteur en scène, réalisateur | Paris : Publitronic | 1994Introduction aux principes de base de la logique numérique moderne. Description des circuits intégrés à GAL, de la conception du circuit logique et de la programmation des GAL, illustrée d'exemples : décodeur binaire, horloges. Description de la[...]![]()
texte imprimé
S'adresse à tous les utilisateurs du langage Caml et notamment aux étudiants du CNAM et à ceux des premiers cycles universitaires.![]()
texte imprimé
Introduction aux fonctionnalités du logiciel MATLAB : les thèmes abordés couvrent l'essentiel de ce qu'il faut connaître pour l'utiliser efficacement : types et structures de données, opérations et fonctions sur les matrices, représentations gra[...]![]()
texte imprimé
La méthodologie MCO permet de définir de bout en bout, depuis les schémas directeurs jusqu'au logiciel, des systèmes d'objets fiables et adaptés à des besoins spécifiques. L'accent est mis sur la réutilisation des composants de ces systèmes d'ob[...]![]()
texte imprimé
Formation à la programmation et préparation à la certification MCP (Microsoft certified professional) et à l'examen MCSD (Microsoft certified solution developer) : leçons, exercices et travaux pratiques pour connaître parfaitement les mécanismes[...]![]()
texte imprimé
Décrit tous les standards, techniques et frameworks qui composent MDA (Model Driven Architecture) et présente son architecture socle, qui définit les concepts de modèle, métamodèle et méta-métamodèle.![]()
texte imprimé
Décrit les différents types de systèmes existants : système par proposition, système utilisant la notion de mot isolé, système par prévision et système par recherche de mot clé.![]()
texte imprimé
Un ouvrage qui précise les étapes d'une analyse organique et celles de la programmation d'une application.![]()
texte imprimé
Propose des solutions concrètes et faciles à mettre en oeuvre pour résoudre les problèmes liés à la pratique de l'objet en informatique d'entreprise. Destiné aussi bien à l'étudiant qui cherche à comprendre la pratique de la modélisation et du d[...]![]()
texte imprimé
Bertrand Meyer, Auteur ; Claude Baudoin, Auteur | Paris : Eyrolles | Direction des études et recherches d'Electricité de France, ISSN 0399-4198 | 1984Tous les langages de programmation les plus usités, accompagnés d'un lexique anglais-français de 200 termes.![]()
texte imprimé
![]()
texte imprimé
SYS P.O. (Système projet objet) est une méthode de conception de logiciels pour des applications industrielles, concurrente de la méthode OOA (Objet oriented analysis). A partir de cas concrets, les auteurs décrivent les différentes étapes du dé[...]![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
Pour programmer efficacement Excel et profiter de ses puissantes ressources : de l'enregistreur de macros à l'exploitation des contrôles ActiveX, une exploration pas à pas des éléments clefs du langage.![]()
texte imprimé
Après quelques principes généraux sur la gestion de projets, ce manuel pratique permet de découvrir la création et la gestion des tâches, le suivi logistique et financier du projet, la gestion des ressources humaines et matérielles, ainsi que l'[...]![]()
texte imprimé
Destiné aux chefs de projets et aux planificateurs afin de gérer les ressources et d'organiser et anticiper les actions à mener dans le futur pour parvenir aux objectifs fixés dans les délais prévus.![]()
texte imprimé
Notions de base et avancées pour créer et déployer des applications puissantes et rapides avec Visual Basic 6.![]()
texte imprimé
Complément à la documentation fournie avec Microsoft Windows 3.1, ce guide de référence technique fournit un grand nombre d'informations pour installer, configurer et optimiser ce logiciel utilitaire sur un poste de travail. Disquette d'utilitai[...]![]()
texte imprimé
![]()
texte imprimé
![]()
texte imprimé
Ouvrage pédagogique sur la conception des bases de données relationnelles depuis le schéma conceptuel jusqu'à l'implantation proprement dite.![]()
texte imprimé
![]()
texte imprimé
Présentation d'UML (Unified Modeling Language) et de son utilisation dans le cadre d'une démarche globale de gestion de projet, inspirée du Rational Unified Process et illustrée par deux études de cas complètes : contrôle d'accès à un bâtiment, [...]![]()
texte imprimé
Présentation d'UML (Unified Modeling Language) et de son utilisation dans le cadre d'une démarche globale de gestion de projet, inspirée du Rational Unified Process et illustrée par deux études de cas complètes : contrôle d'accès à un bâtiment, [...]![]()
texte imprimé
[S. l.] : INRIA 1988Rassemble l'essentiel des textes des exposés effectués aux cours MODULEF tenus en novembre 1984 et mars 1985 au Centre INRIA.![]()
texte imprimé
J.M. Spivey, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodologie pour le logiciel | 1993Notation utilisée dans la méthode informatique de spécification Z, dont les outils d'aide à l'écriture et à la manipulation (analyseurs syntaxiques, éditeurs structurels, vérificateurs de type...) ont connu un développement croissant.![]()
texte imprimé
![]()
texte imprimé
Atelier franco-japonais sur la programmation orientée objet parallèle et distribuée, comportant cinq sessions : formalismes, calcul parallèle, programmation simultanée et distribuée, architecture logicielle, et gestion des ressources.![]()
texte imprimé
Robert Orfali, Auteur ; Dan Harkey, Auteur ; Jeri Edwards, Auteur | Paris : International Thomson publishing France | 1996Propose : une étude approfondie des architectures CORBA, OLE et Open Doc, ainsi que leur comparaison ; comment les objets répartis, les composants et le client/serveur se marient ; une analyse des suites de composants, des objets de métiers, des[...]![]()
texte imprimé
Une présentation détaillée de tous les nouveaux concepts de la programmation objet, de leur mise en oeuvre. Offre une bibliothèque d'objets standards.![]()
texte imprimé
Issy-les-Moulineaux (Hauts-de-Seine) : Masson Méthodes informatiques et pratique des systèmes, ISSN 0757-7206 1996Solutions (sans reprise des énoncés) des 244 exercices proposés dans OMT.![]()
texte imprimé
OOM, démarche globale de conception de systèmes d'information, orientée objet, inspirée de MERISE, propose des techniques de modélisation sans rupture, basées sur le modèle des besoins, le modèle des objets, le modèle des processus et le modèle [...]![]()
texte imprimé
Kaddour Najim, Auteur ; Gérard Muratet, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Automatique | 1987Exposé des théories sur lesquelles s'appuient les méthodes d'optimisation et de commande.![]()
texte imprimé
Igor Gumowski, Auteur ; Christian Mira, Auteur | Paris : Dunod | Monographies universitaires de mathématiques | 1970