Détail d'une collection
Documents disponibles dans la collection (3)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
ouvrage
J. Davenport ; Y. Siret ; E. Tournier | Paris : Masson | Études et Recherches en Informatique, ERI, ISSN 0763-2770 | 1987LE CALCUL FORMEL DESIGNE LA MANIPULATION DE FORMULES ET D'EXPRESIONS MATHEMATIQUES SUR ORDINATEURS.CET OUVRAGE ECRIT PAR TROIS SPECIALISTES DU CALCUL FORMEL,PRESENTE LES PRINCIPES DE FONCTIONNEMENT DES SYSTEMES DE CALCUL NON NUMERIQUE(MANIPULATI[...]
ouvrage
R. Lalement ; M. Demazure | Paris : Masson | Études et Recherches en Informatique, ERI, ISSN 0763-2770 | 1990Ce livre présente deux paradigmes de calcul sous l'angle de la logique. La réduction, étudiée à travers le lambda-calcul et les systèmes de réécriture, est à la base de la programmation fonctionnelle, où la notion de type et les propriétés de co[...]
ouvrage
J. Carlier ; P. Chretienne | Paris : Masson | Études et Recherches en Informatique, ERI, ISSN 0763-2770 | 1988Les auteurs proposent une synthèse des problèmes d'ordonnancement, appuyée sur la théorie de la complexité. Ils montrent comment les aborder, les modéliser et les résoudre. Sont traitées notamment les méthodes de résolution classiques de la rech[...]
