A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Collection Etudes et recherches en informatique
- Editeur : Masson
- ISSN : 0763-2770
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externesIntelligence artificielle (DL 1984) / Harald WERTZ
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 (fre) 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 . - Masson, DL 1984 . - XI-218 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80471-7
Langues : Français (fre)
Mots-clés : intelligence artificielle analyse de programme Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10694 WER/94/5682 Livre Recherche Salle Disponible Calcul formel (1987) / J. DAVENPORT
Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : J. DAVENPORT, Auteur ; Yvon SIRET, Auteur ; E. 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 (fre) 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 ; E. Tournier, Auteur . - Masson, 1987 . - 263 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80990-3
Langues : Français (fre)
Mots-clés : calcul formel algorithme manipulation algébrique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E541 DAV/CAE 666 Livre Enseignement Salle Disponible 7635 DAV/68/6167 Livre Recherche Salle Exclu du prêt
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 (fre) 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 . - Masson, Cop. 1984 . - 132 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80137-2
Langues : Français (fre)
Mots-clés : série rationnelle langage formel Note de contenu : index, bibliogr. En ligne : http://hal.archives-ouvertes.fr/hal-00619793/ Réservation
Réserver ce document
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 (DL 1984) / Yves ROY
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 (fre) 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. . - Masson, DL 1984 . - VIII-102 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80249-2
Langues : Français (fre)
Mots-clés : traitement de texte mathématiques TEX système de traitement de texte Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1942 ROY/68/5696 Livre Recherche Salle Disponible Lambda-calcul (DL 1990) / Jean-Louis KRIVINE
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 (fre) 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 . - Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Langues : Français (fre)
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. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1044 KRI/02/6330 Livre Recherche Salle Disponible