GEOTRUST SSL CERTIFICATE
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1 (315)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Rédigé comme support de cours, l'ouvrage décrit les fondements théoriques de la programmation fonctionnelle, l'étude de la spécification formelle et sa réalisation, ainsi que l'algorithme. Nombreux exemples utilisant divers langages (Istel, Clea[...]texte imprimé
S'adresse aux programmeurs en C sous Windows 3.texte imprimé
texte imprimé
texte imprimé
Comment exploiter les servlets Java et les JSP (JavaServer Pages) pour insérer du contenu personnalisable et dynamique dans des clients Web, de façon portable, sûre et bien conçue. Examen des interfaces Java Entreprise qui communiquent avec les [...]texte imprimé
Un ouvrage qui explique les concepts de base et présente des exemples construits et détaillés.texte imprimé
Pour découvrir les notions de base nécessaires à la compréhension et à la création de jeux en 3D.texte imprimé
texte imprimé
texte imprimé
texte imprimé
Met l'accent sur la modélisation de problèmes concrets et donne un aperçu sur la mise en oeuvre de ces modèles avec des outils informatiques actuels. Puis, montre comment utiliser le serveur d'Excel.texte imprimé
Michel Prévot, Auteur ; Sylvain Holin, Auteur | [S. l.] : Université de Dijon, Institut de mathématiques économiques | 1986texte imprimé
Présentation de la boîte à outils GTK+, une bibliothèque "libre" de fonctions destinées à développer des interfaces graphiques sous Linux/XFree86, écrite en langage C mais possédant une structure objet, au coeur de l'environnement de bureau GNOM[...]texte imprimé
C. John Hogger, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Manuels informatiques Masson | 1987Introduction exhaustive au formalisme de base de la cinquième génération d'ordinateurs.texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Philippe Codognet, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Présente les problèmes de satisfaction de contraintes, la programmation avec contraintes, la logique, les agents intelligents et les environnements de programmation.