Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Outils logiques pour le traitement du temps : de la linguistique à l'intelligence artificielle
Éditeur(s): Elsevier Masson
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. ©Electre 2024
42,50 €
Chargement...
Arithmétique des ordinateurs : opérateurs et fonctions élémentaires
Éditeur(s): Elsevier Masson
Les bases nécéssaires à la mise au point d'algorithmes performants pour effectuer les quatre opérations et calculer les fonctions élémentaires. ©Electre 2024
45,60 €
Chargement...
Aspects mathématiques des réseaux de Pétri
Éditeur(s): Elsevier Masson
Recherche sur un outil mathématique largement utilisé en informatique. ©Electre 2024
33,00 €
Chargement...
Informatique et calcul. Computers and computing : actes
Éditeur(s): Elsevier Masson
Des actes rendant compte des tendances importantes en calcul numérique et formel, génie logiciel et logiciel... ©Electre 2024
28,97 €
Chargement...
Systèmes de transitions finis et sémantique des processus communicants
Éditeur(s): Elsevier Masson
Ces 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 notion d'indiscernabilit...
30,45 €
Chargement...
Logique, réduction, résolution
Éditeur(s): Elsevier Masson
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. ©Electre 2024
40,00 €
Chargement...
Utilisation des langages objets pour le prototypage
Éditeur(s): Elsevier Masson
L'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 multiplicité des outil...
46,25 €
Chargement...
Prolog : l'implantation
Éditeur(s): Elsevier Masson
Les problèmes d'implantation, étude et comparaison des diverses solutions et réalisations de trois interprètes. ©Electre 2024
54,73 €
Chargement...
Génération automatique de textes en langues naturelles
Éditeur(s): Elsevier Masson
Les 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. ©Electre 2024
37,10 €
Chargement...
Algorithmes et architectures systoliques
Éditeur(s): Elsevier Masson
Synthè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. ©Electre 2024
52,75 €
Chargement...
Communications dans les réseaux de processeurs
Éditeur(s): Elsevier Masson
Ré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éveloppées : le produit matr...
41,16 €
Chargement...
Transductions rationnelles : application aux langages algébriques
Éditeur(s): Elsevier Masson
Prolongement vers le 3e cycle et la recherche de l'ouvrage du même auteur sur le thème des langages algébriques. ©Electre 2024
42,50 €
Chargement...
Problèmes d'ordonnancement : modélisation, complexité, algorithmes
Éditeur(s): Elsevier Masson
Intéresse les ingénieurs de production, enseignants, chercheurs en informatique. ©Electre 2024
63,00 €
Chargement...
Codage symbolique
Éditeur(s): Elsevier Masson
Etude 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èmes physiques. Propos...
43,00 €
Chargement...
Algorithmique parallèle
Éditeur(s): Elsevier Masson
Regroupe 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 conception d'algorithmes, d'...
48,48 €
Chargement...
Logique temporelle : sémantique et validation de programmes parallèles
Éditeur(s): Elsevier Masson
Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation. ©Electre 2024
22,50 €
Chargement...
Calcul formel : systèmes et algorithmes de manipulations algébriques
Éditeur(s): Elsevier Masson
Pour faciliter l'apprentissage et l'utilisation de ces systèmes et faire connaître les algorithmes spécifiques au calcul formel. ©Electre 2024
48,70 €
Chargement...