GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (21)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Patrice Quinton, Auteur ; Yves Robert, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1989Synthèse sur les architectures parallèles dans les ordinateurs composés d'un grand nombre de processeurs évoluant de manière synchrone. Les caractéristiques du modèle systolique et ses avantages.
texte imprimé
Michel Cosnard, Auteur ; Maurice Nivat, Auteur ; Yves Robert, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1992Regroupe les textes des exposés de la 20e école de printemps du Laboratoire d'informatique de l'Université de Paris 7 (mai 1992, Sables-d'Or-les-Pins). Le non-spécialiste y trouvera un panorama complet : résulats en matière de modèles, de concep[...]
texte imprimé
Jean-Michel Muller, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1989Les bases nécéssaires à la mise au point d'algorithmes performants pour effectuer les quatre opérations et calculer les fonctions élémentaires.
texte imprimé
Christophe Reutenauer, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1988Recherche sur un outil mathématique largement utilisé en informatique.
texte imprimé
JamesH. Davenport, Auteur ; Yvon Siret, Auteur ; Evelyne Tournier, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1993Pour faciliter l'apprentissage et l'utilisation de ces systèmes et faire connaître les algorithmes spécifiques au calcul formel.
texte imprimé
Marie-Pierre Béal, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1993Etude des codages de modulation. Les codages symboliques, par opposition aux codages algébriques, permettent de transformer une suite de symboles en une autre dont les symboles satisfont diverses contraintes imposées le plus souvent par les syst[...]
texte imprimé
Jean de Rumeur, Auteur ; Denys Trystam, Metteur en scène, réalisateur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1994Résultats des travaux actuels du groupe Rumeur sur les algorithmes et les réseaux de communication entre processeurs, visant à accélérer le traitement de l'information dans les machines massivement parallèles. Deux avancées majeures sont dévelop[...]
texte imprimé
Laurence Danlos, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1985Les principaux travaux réalisés dans ce domaine ainsi que la présentation d'un modèle théorique permettant de structurer un texte à des fins de programme de génération automatique.
texte imprimé
Patrick Chenin, Auteur ; Claire Di Crescenzo, Auteur ; François Robert, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1986Des actes rendant compte des tendances importantes en calcul numérique et formel, génie logiciel et logiciel...
texte imprimé
Présente deux paradigmes de calcul sous l'angle de la logique : la réduction, base de la programmation logique, est étudiée à travers le lambda-calcul; pour la résolution, ce sont la validité, la complétude, voire l'équité du calcul, qui importent.
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é
Les structures et formalismes logiques qui permettent la représentation et le traitement de données temporelles sont étudiés au travers des résultats de diverses recherches.
texte imprimé
Jacques Carlier, Auteur ; Philippe Chretienne, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1988Intéresse les ingénieurs de production, enseignants, chercheurs en informatique.
texte imprimé
Patrice Boizumault, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1988Les problèmes d'implantation, étude et comparaison des diverses solutions et réalisations de trois interprètes.
