GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (96)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
texte imprimé
texte imprimé
texte imprimé
Intéresse les personnes ayant déjà une certaine pratique de la programmation et qui désirent acquérir des connaissances plus approfondies, en particulier sur la preuve de la correction des programmes et sur leur évaluation.
texte imprimé
texte imprimé
Les résultats essentiels de ce problème de l'exclusion mutuelle qui constitue une difficulté majeure dans la programmation parallèle ou distribuée
texte imprimé
texte imprimé
texte imprimé
texte imprimé
Liliane Gallet-Blanchard, Auteur ; Jean Brossard, Auteur | Paris : Dunod | Dunod informatique | 1990A partir de textes tirés de la presse professionnelle et de brochures de constructeurs, propose un panorama de l'anglais pour l'informatique.
texte imprimé
texte imprimé
Poursuit l'étude des concepts et des méthodes de l'intelligence artificielle en prenant la logique comme ligne directrice. S'adresse aux étudiants, enseignants, ingénieurs et chercheurs désireux de se doter de bases solides en intelligence artif[...]
texte imprimé
Termine l'étude des concepts, méthodes et applications de l'IA. S'adresse aux développeurs industriels des applications de l'IA.
texte imprimé
En prônant la simplicité, le concept RISC (Reduced Instruction Set Computer) révolutionne l'informatique.
