A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
|
Documents disponibles dans la collection
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Calcul formel / J. DAVENPORT (1987)
Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : J. DAVENPORT, Auteur ; Yvon SIRET, Auteur ; Evelyne TOURNIER, Auteur Editeur : Paris : Masson Année de publication : 1987 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : 263 p. ISBN/ISSN/EAN : 978-2-225-80990-3 Langues : Français Mots-clés : calcul formel algorithme manipulation algébrique Calcul formel : systèmes et algorithmes de manipulations algébriques [texte imprimé] / J. DAVENPORT, Auteur ; Yvon SIRET, Auteur ; Evelyne TOURNIER, Auteur . - Paris : Masson, 1987 . - 263 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80990-3
Langues : Français
Mots-clés : calcul formel algorithme manipulation algébrique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E541 DAV/CAE 666 Livre Enseignement Salle Disponible 7635 DAV/68/6167 Livre Recherche Salle Perdu
Exclu du prêtIntelligence artificielle / Harald WERTZ (DL 1984)
Titre : Intelligence artificielle : application à l'analyse de programmes Type de document : texte imprimé Auteurs : Harald WERTZ, Auteur Editeur : Paris : Masson Année de publication : DL 1984 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : XI-218 p. ISBN/ISSN/EAN : 978-2-225-80471-7 Langues : Français Mots-clés : intelligence artificielle analyse de programme Note de contenu : index, références Intelligence artificielle : application à l'analyse de programmes [texte imprimé] / Harald WERTZ, Auteur . - Paris : Masson, DL 1984 . - XI-218 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80471-7
Langues : Français
Mots-clés : intelligence artificielle analyse de programme Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10694 WER/94/5682 Livre Recherche Salle Disponible Lambda-calcul / Jean-Louis KRIVINE (DL 1990)
Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Auteurs : Jean-Louis KRIVINE, Auteur Editeur : Paris : Masson Année de publication : DL 1990 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : VIII-176 p. ISBN/ISSN/EAN : 978-2-225-82091-5 Langues : Français Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Lambda-calcul : types et modèles [texte imprimé] / Jean-Louis KRIVINE, Auteur . - Paris : Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Langues : Français
Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1044 KRI/02/6330 Livre Recherche Salle Disponible
Titre : Les séries rationnelles et leurs langages Type de document : texte imprimé Auteurs : Jean BERSTEL, Auteur ; Christophe REUTENAUER, Auteur Editeur : Paris : Masson Année de publication : Cop. 1984 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : 132 p. ISBN/ISSN/EAN : 978-2-225-80137-2 Langues : Français Mots-clés : série rationnelle langage formel Note de contenu : index, bibliogr. En ligne : http://hal.archives-ouvertes.fr/hal-00619793/ Les séries rationnelles et leurs langages [texte imprimé] / Jean BERSTEL, Auteur ; Christophe REUTENAUER, Auteur . - Paris : Masson, Cop. 1984 . - 132 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80137-2
Langues : Français
Mots-clés : série rationnelle langage formel Note de contenu : index, bibliogr. En ligne : http://hal.archives-ouvertes.fr/hal-00619793/ Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 6655 BER/40/5882 Livre Recherche Salle Disponible TEX/ web et le traitement de textes mathématiques / Yves ROY (DL 1984)
Titre : TEX/ web et le traitement de textes mathématiques Type de document : texte imprimé Auteurs : Yves ROY, Auteur ; Dominique FOATA, Préfacier, etc. Editeur : Paris : Masson Année de publication : DL 1984 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : VIII-102 p. ISBN/ISSN/EAN : 978-2-225-80249-2 Langues : Français Mots-clés : traitement de texte mathématiques TEX système de traitement de texte Note de contenu : index, références TEX/ web et le traitement de textes mathématiques [texte imprimé] / Yves ROY, Auteur ; Dominique FOATA, Préfacier, etc. . - Paris : Masson, DL 1984 . - VIII-102 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80249-2
Langues : Français
Mots-clés : traitement de texte mathématiques TEX système de traitement de texte Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1942 ROY/68/5696 Livre Recherche Salle Disponible