GEOTRUST SSL CERTIFICATE
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1 (315)
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 | 1990texte 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