Des services pour PMB
Collection Etudes et recherches en informatique
Documents disponibles dans la collection (4)
Affiner la recherche Interroger des sources externesLambda-calcul
Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Editeur : Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : VIII-176 p. Présentation : couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-82091-5 Note générale : Bibliogr. p. 167-170. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Lambda-calcul Index. décimale : 511.3 Lambda-calcul : types et modèles [texte imprimé] . - , 1990 . - VIII-176 p. : couv. ill. en coul. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-82091-5
Bibliogr. p. 167-170. Index
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Lambda-calcul Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité FIN 5889 21-12-E-11/01 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 5890 21-12-E-11/02 Livre Bibliothèque Universitaire Centrale MI Disponible FIN 5891 21-12-E-11/03 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Editeur : Année de publication : 1990 Collection : Etudes et recherches en informatique Importance : 234 p. Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 224-232. Index Mots-clés : Programmation logique Programmation parallèle ( informatique) Index. décimale : 005.1 Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] . - , 1990 . - 234 p. : ill., couv. ill. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81967-4
Bibliogr. p. 224-232. Index
Mots-clés : Programmation logique Programmation parallèle ( informatique) Index. décimale : 005.1 Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité FIN 5852 21-12-E-05/01 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 5853 21-12-E-05/02 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Problèmes d'ordonnancement : modélisation, complexité, algorithmes Type de document : texte imprimé Editeur : Année de publication : 1987 Collection : Etudes et recherches en informatique num. 10 Importance : 326 p. Présentation : graph., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81275-0 Note générale : Bibliogr. p. 314-321. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Ordonnancement ( gestion) Informatique Index. décimale : 003.5 Problèmes d'ordonnancement : modélisation, complexité, algorithmes [texte imprimé] . - , 1987 . - 326 p. : graph., couv. ill. ; 24 cm. - (Etudes et recherches en informatique; 10) .
ISBN : 978-2-225-81275-0
Bibliogr. p. 314-321. Index
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Ordonnancement ( gestion) Informatique Index. décimale : 003.5 Réservation
Réserver ce document
Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité FIN 5512 21-08-E-B10/1 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt FIN 5513 21-08-E-B10/2 Livre Bibliothèque Universitaire Centrale MI Disponible
Titre : Utilisation des langages objets pour le prototypage Type de document : texte imprimé Editeur : Année de publication : 1992 Collection : Etudes et recherches en informatique Importance : XVII-248 p. Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-82654-2 Note générale : Bibliogr. p. 233-242. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Prototypage (informatique) Langages orientés objets ( informatique) Index. décimale : 005.1 Utilisation des langages objets pour le prototypage [texte imprimé] . - , 1992 . - XVII-248 p. : ill., couv. ill. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-82654-2
Bibliogr. p. 233-242. Index
Catégories : Sciences Exactes 2026:Informatique Mots-clés : Prototypage (informatique) Langages orientés objets ( informatique) Index. décimale : 005.1 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité FIN 4220 21-02-E-F 01/01 Livre Bibliothèque Universitaire Centrale MI Exclu du prêt
