GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (11)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Présente de nouveaux ordinateurs à caractéristique RISC (Reduced instruction set computer) ou Ordinateur à jeu d'instructions réduit. Ils permettent l'exécution d'une instruction par cycle machine et répondent ainsi à une exigence croissante de [...]
texte imprimé
Une base de données déductive est une base de données qui permet de déduire des faits nouveaux à partir de ceux qu'elle contient. Après une présentation de Datalog, qui est le langage standard issu de Prolog dans le domaine des bases de données,[...]
texte imprimé
Le développement de l'informatique a entraîné l'apparition de données complexes à gérer et à manipuler (textes, calculs, images, sons...); cette complexité explique le recours aux techniques de programmation orientée objet pour de tels systèmes [...]
texte imprimé
Présente les principales techniques de programmation par objets en informatique et les principes fondamentaux des langages à objets avec leurs grandes familles : typés (Simula), non typés (Smalltalk), de prototypes, d'acteurs.
texte imprimé
Décrit les différents algorithmes utilisés aujourd'hui et analyse trois applications de ces méthodes : aux fractales, à la turbulence, à l'astronomie. Pour les étudiants de 2e cycle en informatique, électronique et les ingénieurs et chercheurs e[...]
texte imprimé
Une nouvelle collection qui rassemble des acquis avancés en informatique.
texte imprimé
Le parallélisme est un élément central de l'informatique actuelle. A l'inverse de la programmation séquentielle qui décompose une tâche en une suite d'opérations effectuées par un processeur unique, la programmation parallèle décompose la tâche [...]
texte imprimé
L'ouvrage couvre les techniques neuronales et non neuronales, avant d'aborder les méthodes structurelles. Chaque méthode est décrite et son algorithme correspondant exposé.
texte imprimé
La compréhension des langues naturelles et son exploitation dans les interfaces homme-machines est l'un des défis majeurs de l'informatique. Le problème est de décrire la façon dont les constituants (les mots par exemple) se combinent pour forme[...]
texte imprimé
Les neurones dont il est question ici sont des automates élémentaires dont le mode de fonctionnement s'inspire de celui des vrais neurones. Ces modèles de réseaux de neurones formels reposent sur deux motivations : la modélisation du cerveau et [...]
texte imprimé
Comment garantir qu'un programme assure de manière correcte l'ensemble des fonctionnalités pour lesquelles il a été construit? Les réseaux de Petri constituent l'un des outils mathématiques de spécification et de description des systèmes fonctio[...]
