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