GEOTRUST SSL CERTIFICATE
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1 (315)
texte imprimé
Les programmes présentés dans cet ouvrage vous permettront de développer votre pratique du Basic microsoft. Quelques utilitaires faciliteront l'usage de votre micro-ordinateur.texte imprimé
Présente une gamme de programmes sur des calculatrices Sharp el 9200-9300 (graphiques, calculs, statistiques, calculs matriciels, sover d'équation), pour les étudiants, jusqu'en prépa.texte imprimé
Pierre Nayrolles, Auteur ; Thibaud Arguillère, Auteur ; Bernard Fevat, Auteur | Lormont (Gironde) : e-Node | 19994D V6.5 a pour ambition d'être un produit RAD (développement rapide d'applications), étend de façon significative les possibilités de programmation, permet de produire automatiquement et dynamiquement des documents HTML. Des conseils d'utilisati[...]texte imprimé
JOURNEES PRATIQUE DES METHODES ET OUTILS LOGICIELS D'AIDE A LA CONCEPTION DE SYSTEMES D'INFORMATION (1990), Auteur ; Henri Habrias, Metteur en scène, réalisateur ; INSTITUT UNIVERSITAIRE DE TECHNOLOGIE, Éditeur scientifique | Nantes (Loire-Atlantique) : LIANA | 1990Méthodes de conception orientées, objet et méthodes de spécifications formelles (Jackson, Abrial...).texte imprimé
Ce livre enseigne comment programmer efficacement en assembleur sur T07 et T07-70 au travers d'une cinquantaine d'exercices de difficultés croissantes.texte imprimé
JOURNEES PRATIQUE DES METHODES ET OUTILS LOGICIELS D'AIDE A LA CONCEPTION DE SYSTEMES D'INFORMATION (1990), Auteur ; Henri Habrias, Éditeur scientifique ; INSTITUT UNIVERSITAIRE DE TECHNOLOGIE, Éditeur scientifique | Nantes (Loire-Atlantique) : LIANA | 1987Présente les méthodes de conception de systèmes d'information disponibles sur le marché français ainsi que les outils logiciels qui y sont associés.texte imprimé
Pour les personnes connaissant bien les principes de l'animation sous Flash MX 2004 et souhaitant se lancer dans la programmation avec ActionScript. Propose des exercices pour connaître l'utilisation des méthodes et des propriétés de ce langage [...]texte imprimé
Pour utiliser les méthodes et les propriétés d'ActionScript, langage de programmation destiné à créer des animations, et pour découvrir les principaux objets de Flash MX à 8 (clips, temps, traitement de données, son ou texte).texte imprimé
texte imprimé
texte imprimé
Tous les possesseurs de consoles Amstrad peuvent programmer eux-mêmes leurs jeux d'action en Basic.texte imprimé
Les différentes techniques et méthodes de programmation structurées et modulaires.texte imprimé
Initiation à la conception par objet qui est une nouvelle méthode de programmation.texte imprimé
texte imprimé
texte imprimé
texte imprimé
Peter Coad, Auteur ; Edward Yourdon, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodes informatiques et pratique des systèmes, ISSN 0757-7206 | 1991Traite de l'application des techniques objets dans les phases d'analyse et de spécification du cycle de vie des systèmes. Il est la synthèse de l'analyse fonctionnelle, de la modélisation de l'information, de la modélisation sémantique des donné[...]texte imprimé
Présente une méthode de modélisation permettant d'améliorer les méthodes d'analyse et de conception de logiciel.texte imprimé
texte imprimé
texte imprimé
Ce livre a pour objectif d'expliquer comment une idée humaine peut être rendue intelligible à la machine.texte imprimé
Présentation pédagogique de ce langage de programmation simple qui permet de s'initier aux bases de la programmation. Propose de réaliser des applications simples, puis passe aux applications graphiques, à la structure et à la gestion de fichier[...]texte imprimé
Daniel Dieudonné, Auteur ; François Berthon, Auteur ; Alex Névians, Auteur | [S. l.] : CEDIC | Savoir et savoir-faire | 1985Ce livre est une solide initiation à la programmation, s'appuyant sur les recherches les plus actuelles, de façon à les rendre simples et accessibles.texte imprimé
Daniel Dieudonné, Auteur ; R. Delhaye, Auteur ; R. Vigreux, Auteur | Paris : Nathan | Savoir et savoir-faire | 1987Savoir programmer un ordinateur dans un langage évolué devient une nécessité. Les thèmes abordés sont : les procédures et les fichiers.texte imprimé
Initiation à la programmation dans un langage structuré. Pour se familiariser avec la structure des données, les opérateurs, les instructions conditionnelles, la gestion des tableaux, les bases du langage HTLM, le langage d'Internet.texte imprimé
En quelques heures, vous deviendrez familier avec la structure des données, les opérateurs, les instructions conditionnelles, la gestion des tableaux, etc. Vous apprendrez également les bases du langage HTML, le langage d'Internet.texte imprimé
Catherine Dubois, Auteur ; Valérie Ménissier-Morain, Auteur | Paris : Hermès science publications | 2004Ouvrage destiné aux débutants en programmation et support pédagogique pour les programmeurs souhaitant aborder le style fonctionnel. Utilise le langage Objective Caml, OCalm dans la suite de la famille ML. En deux parties : les éléments de progr[...]texte imprimé
Christophe Pasquier, Auteur ; Philippe Roucoulet, Auteur ; Marie-Line Lanaspèze, Auteur | Paris : Hermès science publications | 1995Regroupe, en première partie : l'analyse et la conception orientée objet ; en deuxième partie : les objets actifs ; en troisième partie : l'étude comparative des méthodes orientées objets : OOA, OOD, OMT et OOSE.texte imprimé
André Batbedat, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthode + programmes | 1990Présente les méthodes de classification arborée, qu'elle soit hiérarchique, additive ou pyramidale. Programmes rédigés en Pascal.texte imprimé
Jean-Pierre Barthélemy, Auteur ; Alain Guénoche, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthode + programmes | 1988Panorama complet sur les arbres formant une structure clé en analyse des données et dans la modélisation des phénomènes de bifurcation et d'évolution.texte imprimé
Rapport de synthèse d'un groupe de travail de l'OFTA : état de l'art des architectures logicielles à base de composants réutilisables, exposé sur les acquis du génie logiciel dans ce domaine et présentation d'expériences industrielles de mise en[...]texte imprimé
Un condensé d'Active Server : rappel des balises HTML, des objets et composants ASO, des instructions, fonctions, objets et constantes VBScript et des bibliothèques d'extension.texte imprimé
Fait le point sur les technologies objet basées sur le Modèle Objet Composant (COM) de Microsoft. Au fil des onze chapitres, permet notamment de se familiariser avec les thèmes suivants : présentation de OLE et de ActiveX, Marshaling et informat[...]texte imprimé
Pour une utilisation rapide et efficace du logiciel phare d'AutoDesk : rappel des menus, barres d'outils, fonctions, commandes et variables systèmes.texte imprimé
Présente les fonctionnalités nécessaires à la création de plans et de dessins techniques en deux et trois dimensions avec Autocad 2000. Sont détaillés la configuration requise, l'environnement de travail, les aides à la construction, les techniq[...]texte imprimé
Philippe de Larminat, Auteur ; Yves Thomas, Auteur | Paris : Flammarion médecine-sciences | Sciences | 1977texte imprimé
Philippe de Larminat, Auteur ; Yves Thomas, Auteur | Paris : Flammarion médecine-sciences | Sciences | 1977texte imprimé
texte imprimé
Claude Godart, Auteur ; François Charoy, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-industrie | 1992L'amélioration de la productivité des développeurs et de la qualité de leur produit requiert le regroupement des divers mécanismes mis en oeuvre au sein d'un même noyau de développement. Cette structure d'accueil doit fournir un système de gesti[...]texte imprimé
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é
Constitue un entraînement à la programmation en Basic pour les étudiants en comptabilité du bac ou DESCF qu'ils soient programmeurs ou non.texte imprimé
Toutes les informations nécessaires à l'écriture, à la correction, et à l'exécution des programmes en Basic, à la gestion des fichiers et des dossiers, avec un CD-ROM contenant la version shareware de Liberty Basic, langage conçu pour fonctionne[...]texte imprimé
Pour apprendre et perfectionner les langages C et C++ et exploiter la technologie objet. Avec plus de 1.000 exemples de programmes permettant d'exécuter des tâches précises, rencontrées dans le développement d'applications professionnelles.texte imprimé
Martin Koch, Auteur ; Achim Dittmar, Auteur | Paris : Micro application | Guidexpress, ISSN 1290-709X | 1999Permet de tester la compatibilité 2000 de son PC, de ses logiciels et de ses données, chaque test pouvant être effectué par l'utilisateur. Apporte aussi des infos pour résoudre les problèmes matériels et corriger les erreurs de date.texte imprimé
texte imprimé
Théorique et pratique, décrit le noyau, les variables globales prédéfinies, les 250 fonctions et macro-instructions les plus courantes.texte imprimé
Paris : O'Reilly 2006Propose un ensemble de 171 solutions sur le modèle un problème, une solution, une discussion. L'accent a été mis sur la performance, sur la portabilité et sur le recours aux nombreuses bibliothèques C++ comme Boost. Couvre des domaines comme la [...]texte imprimé
Pour apprendre et perfectionner les langages C, C++, C Dièse et exploiter la technologie objet. Le CD-Rom d'accompagnement contient plus de 1.000 exemples de programmes permettant d'exécuter des tâches précises, rencontrées dans le développement[...]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é
Yves Boudreault, Auteur ; Wacef Guerfali, Auteur | Montréal (Canada) : Presses internationales Polytechnique | 1996A pour objectif principal d'enseigner une méthode systématique de résolution de problèmes. Familiarise l'étudiant avec l'environnement informatique et une méthode de conception d'un logiciel, depuis sa définition jusqu'à sa mise au point.texte imprimé
Yves Boudreault, Auteur ; Wacef Guerfali, Auteur | Montréal (Canada) : Presses internationales Polytechnique | 2002A pour objectif principal d'enseigner une méthode systématique de résolution de problèmes. Familiarise l'étudiant avec l'environnement informatique et une méthode de conception d'un logiciel, depuis sa définition jusqu'à sa mise au point.texte imprimé
Cours d'initiation à la CAO, donnant les bases pour utiliser AutoCAD et le langage LISP, accompagné de travaux pratiques et d'exercices corrigés et d'une disquette d'exemples.texte imprimé
Initiation à la programmation : notions élémentaires, analyse, variables, interface utilisateur, graphisme, emploi des listes et des matrices, etc.document multimédia
Des outils de programmation indispensable aux électroniciens : fonctions arithmétiques et mathématiques, IEEE754, trigonométrie, traitement de signal, interfaces USB, ETHERNET, infrarouge, MIDI, etc.texte imprimé
Pour découvrir les différents circuits en ne faisant appel qu'à des notions élémentaires de logique classique. S'adresse aux étudiants en électronique et aux professionnels.texte imprimé
texte imprimé
Initiation complète au langage et référence pour le programmeur, cet ouvrage est basé sur Cobol micro focus, un compilateur qui permet de fonctionner sur des ordinateurs personnels et sur de très gros systèmes, en particulier les systèmes IBM. N[...]texte imprimé
texte imprimé
Jean-Pierre Babary, Auteur ; Wladyslaw Pelczewski, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | 1985Intéresse ingénieurs, chercheurs, étudiants de deuxième et troisième cycles et informaticiens.texte imprimé
Un ouvrage pratique qui complète les $$Systèmes temps réel$$, dans la même collection. S'adresse aux étudiants de BTS, DUT et à la formation permanente.texte imprimé
texte imprimé
Manuel pour vous permettre, en un week-end, de créer des petits programmes de niveau quasi professionnel. Présente VBA (Visual Basic for Applications), qui est intégré en standard avec les programmes de la suite bureautique Microsoft Office : cr[...]texte imprimé
L'ingénierie du logiciel utilise aujourd'hui beaucoup de composants '' sur étagère '' (COTS en anglais) pour réduire les coûts. Mais cette approche engendre un coût différent, lié à la validation de systèmes intégrant ces COTS, qui peut être trè[...]texte imprimé
Met en avant les concepts de génie logiciel orienté objet avant de présenter l'apprentissage de la syntaxe d'un langage (en l'occurrence le langage Java). L'apprentissage se fait en traitant immédiatement des projets grâce à l'environnement de d[...]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é
Exposé des principes de la programmation et de la conception par objets, la typologies des langages objets.texte imprimé
Permet d'apprendre par la pratique la résolution de problèmes de programmation formulés par des experts.texte imprimé
Thérèse Accart Hardin, Auteur ; Véronique Donzeau-Gouge Viguié, Auteur | Paris : InterEditions | IIA | 2001Bien que s'adressant à des débutants, les auteurs, forts de leur expérience pédagogique au CNAM, introduisent directement leurs lecteurs aux concepts et aux outils de programmation les plus avancés. De nombreux exemples et exercices corrigés per[...]texte imprimé
Approfondit les points essentiels de C++, en permettant de "construire des objets en C++" et développer des applications, même les plus traditionnelles, dans un "esprit orienté objet".texte imprimé
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é
Peter Wratil, Auteur ; Richard Schmidt, Auteur | Paris : Radio | Electronique et informatique | 1991Explique l'architecture matérielle et logicielle du PC et propose des applications de base dans le domaine du contrôle, de la mesure et de la régulation, sur le plan théorique et pratique.texte imprimé
Conçu pour apporter les bases d'informatique nécessaires à toute formation scientifique. Traite des principes d'analyse, de modes de raisonnement et de structures informatiques pour l'expression de la spécification des logiciels, de l'organisati[...]texte imprimé
Greg Perry, Auteur | Paris : CampusPress | Comment faire quand on n'y connaît rien et qu'on veut y arriver tout seul... | 2001Les techniques et les principaux langages de programmation pour développer rapidement et facilement : Visual Basic, C, C++, HTML, DHTML, XML, JavaScript et Java.texte imprimé
Pour développer des applications professionnelles devant répondre à des critères de performances et de productivité exigeants avec Delphi : applications Common Gateway Interface ou ISAPI sur serveur HTTP, mise en oeuvre de COM/ActiveX dans des p[...]texte imprimé
Permet de découvrir les concepts de programmation de l'environnement Delphi.texte imprimé
texte imprimé
Un catalogue de solutions simples et succinctes aux problèmes classiques survenant pendant la conception des logiciels orientés objet. Les 23 modèles (patterns) présentés permettent de créer des conceptions plus flexibles, plus élégantes et effe[...]texte imprimé
Un catalogue de solutions simples et succinctes aux problèmes classiques survenant pendant la conception des logiciels orientés objet. Les 23 modèles (patterns) présentés permettent de créer des conceptions plus flexibles, plus élégantes et effe[...]texte imprimé
Se présente comme un ouvrage de référence des développeurs travaillant sous environnement Unix/Linux. En approfondissant et en complétant la documentation existante, l'ouvrage donne des solutions détaillées qui répondent aux besoins des programm[...]texte imprimé
WilliamH. Inmon, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodes informatiques et pratique des systèmes, ISSN 0757-7206 | 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é
Une méthodologie pour se lancer dans la programmation : explication du fonctionnement de l'ordinateur, initiation à Visual Basic pour Excel, écriture de programmes simples (tris).texte imprimé
Une méthode d'apprentissage s'adressant aux débutants.texte imprimé
texte imprimé
Le dialogue homme-machine est l'échange verbal ou écrit entre un dispositif automatique, un programme informatique, un système expert ou un robot, d'une part, et un locuteur humain d'autre part. C'est un thème de recherches interdisciplinaires ([...]texte imprimé
L'API (Interface de programmation des applications) gère l'ensemble des programmes de l'interface de Windows : affichage, relation aux autres programmes, etc. Ce dictionnaire en propose une description détaillée.texte imprimé
Une collection qui propose l'essentiel pour s'en sortir.texte imprimé
Ce manuel de poche contient toutes les commandes essentielles de VI, ainsi que de nombreuses astuces permettant de l'utiliser aussi efficacement que possible. Quatre clones de VI sont également décrits : VIM, Elvis, NVI et Vile ainsi que leurs e[...]texte imprimé
Présente la conception et le développement d'applications en Visual Basic pour Pocket PC, les assistants de poche sous Windows CE de Microsoft.texte imprimé
texte imprimé
Comment créer des applications personnalisées avec les feuilles de calcul Excel, programmer en VBA (Visual Basic Application), tracer des graphiques, travailler avec des tableaux croisés dynamiques, exécuter des procédures automatiques grâce aux[...]texte imprimé
Comment créer des applications personnalisées avec les feuilles de calcul Excel, programmer en VBA (Visual Basic Application), tracer des graphiques, travailler avec des tableaux croisés dynamiques, exécuter des procédures automatiques grâce aux[...]texte imprimé
texte imprimé
M. Amirchan'y, Éditeur scientifique ; Danièle Néel, Éditeur scientifique | [S. l.] : INRIA | Cours de la Commission des communautés européennes | 1976texte imprimé
texte imprimé
Ce volume est consacré à des études de cas illustrant ou affinant la méthode proposée : modélisation et gestion des tâches dans les systèmes experts, spécification pour la supervision d'un robot, spécification de stratégies expertes pour le diag[...]texte imprimé
Le génie logiciel recouvre un ensemble de méthodes d'analyse tendant à la spécification d'un logiciel et à sa conception préliminaire. Dans le domaine industriel, sont analysés les procédures, les méthodes, les outils et langages, et leur contex[...]texte imprimé
Présente le génie logiciel orienté objet au travers de la méthode objectory.texte imprimé
Une introduction à l'élaboration et à la mise en oeuvre des logiciels d'entreprise, utilisant un langage de haut niveau (Pascal ou Ada) et prenant en compte les aspects humains. Destiné aux étudiants en informatique ou en gestion.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 | 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