GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (8)
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é
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é
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é
André Arnold, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1992Ces programmes séquentiels itératifs permettent de modéliser un processus, son état et son évolution dans le temps. Cette étude insiste sur le produit synchronisé, et présente des langages formalisés logiques et leurs propriétés, précisant la no[...]
texte imprimé
Philippe Krief, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1992L'auteur examine le formalisme découlant des langages à objets, puis propose un système interactif de construction d'environnement de prototypage. Basée sur une approche tripartite (modèle, point de vue, contrôleur), cette méthode privilégie la [...]
