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