Bibliothèque de Faculté des mathématiques et de l'informatique
Détail d'une collection
|
|
Documents disponibles dans la collection (5)
Affiner la recherche Interroger des sources externes
Titre : Aspects mathématiques des réseaux de Pétri Type de document : texte imprimé Auteurs : Christophe Reutenauer, Auteur Editeur : Paris : Masson Année de publication : 1988 Autre Editeur : 45-Saint-Jean-de-Braye : Impr. nouvelle Collection : études et recherches en informatique, ISSN 0763-2770 num. 13 Importance : 117 p. Présentation : couv. ill. en coul., ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81492-1 Note générale : Bibliogr. p. 111-114. Index. Langues : Français (fre) Index. décimale : 04-07-Logique mathématique Aspects mathématiques des réseaux de Pétri [texte imprimé] / Christophe Reutenauer, Auteur . - Paris : Masson : 45-Saint-Jean-de-Braye : Impr. nouvelle, 1988 . - 117 p. : couv. ill. en coul., ill. ; 24 cm.. - (études et recherches en informatique, ISSN 0763-2770; 13) .
ISBN : 978-2-225-81492-1
Bibliogr. p. 111-114. Index.
Langues : Français (fre)
Index. décimale : 04-07-Logique mathématique Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 62058 04-07-16 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
Titre : Lambda-calcul : Types et modèles Type de document : texte imprimé Auteurs : Jean-Louis Krivine, Auteur Editeur : Paris : Masson Année de publication : 1990 Autre Editeur : 53-Mayenne : Impr. Floch Collection : études et recherches en informatique, ISSN 0763-2770 Importance : 176 p. Présentation : couv. ill. en coul., ill. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-82091-5 Note générale : Bibliogr. p. 167-170. Index. Langues : Français (fre) Index. décimale : 04-08-Mathématiques appliquées Lambda-calcul : Types et modèles [texte imprimé] / Jean-Louis Krivine, Auteur . - Paris : Masson : 53-Mayenne : Impr. Floch, 1990 . - 176 p. : couv. ill. en coul., ill. ; 25 cm.. - (études et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Bibliogr. p. 167-170. Index.
Langues : Français (fre)
Index. décimale : 04-08-Mathématiques appliquées Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 61213 04-08-46 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
Titre : Langages algébriques Type de document : texte imprimé Auteurs : Jean-Michel Autebert, Auteur Editeur : Paris : Masson Année de publication : 1987 Autre Editeur : 05-Gap : impr. Louis-Jean Collection : études et recherches en informatique, ISSN 0763-2770 num. 9 Importance : 278 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81087-9 Note générale : Index. Langues : Français (fre) Index. décimale : 04-03-Algèbre Langages algébriques [texte imprimé] / Jean-Michel Autebert, Auteur . - Paris : Masson : 05-Gap : impr. Louis-Jean, 1987 . - 278 p. : ill., couv. ill. en coul. ; 24 cm.. - (études et recherches en informatique, ISSN 0763-2770; 9) .
ISBN : 978-2-225-81087-9
Index.
Langues : Français (fre)
Index. décimale : 04-03-Algèbre Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 28875 04-03-144 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
Titre : Problèmes d'ordonnancement : Modélisation, complexité, algorithmes Type de document : texte imprimé Auteurs : Jacques Carlier (1949-....), Auteur ; Philippe Chrétienne (1947-....), Auteur ; C. Girault, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1987 Autre Editeur : 05-Gap : impr. Louis-Jean Collection : études et recherches en informatique, ISSN 0763-2770 num. 10 Importance : 326 p. Présentation : graph., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81275-0 Note générale : Bibliogr. p. 314-321. Index. Langues : Français (fre) Index. décimale : 04-08-Mathématiques appliquées Problèmes d'ordonnancement : Modélisation, complexité, algorithmes [texte imprimé] / Jacques Carlier (1949-....), Auteur ; Philippe Chrétienne (1947-....), Auteur ; C. Girault, Préfacier, etc. . - Paris : Masson : 05-Gap : impr. Louis-Jean, 1987 . - 326 p. : graph., couv. ill. en coul. ; 24 cm.. - (études et recherches en informatique, ISSN 0763-2770; 10) .
ISBN : 978-2-225-81275-0
Bibliogr. p. 314-321. Index.
Langues : Français (fre)
Index. décimale : 04-08-Mathématiques appliquées Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 61218 04-08-120 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
Titre : Transductions rationnelles : Application aux langages algébriques Type de document : texte imprimé Auteurs : Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur Editeur : Paris : Masson Année de publication : 1988 Autre Editeur : 05-Gap : impr. Louis-Jean Collection : études et recherches en informatique, ISSN 0763-2770 num. 12 Importance : 133 p. Présentation : couv. en coul. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81504-1 Note générale : Bibliogr. p. 125-127. Index. Langues : Français (fre) Index. décimale : 04-03-Algèbre Transductions rationnelles : Application aux langages algébriques [texte imprimé] / Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur . - Paris : Masson : 05-Gap : impr. Louis-Jean, 1988 . - 133 p. : couv. en coul. ; 25 cm.. - (études et recherches en informatique, ISSN 0763-2770; 12) .
ISBN : 978-2-225-81504-1
Bibliogr. p. 125-127. Index.
Langues : Français (fre)
Index. décimale : 04-03-Algèbre Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 62063 04-03-106 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
