Détail d'une collection
|
|
Documents disponibles dans la collection (3)
Affiner la recherche Interroger des sources externes
Titre : Bases de données déductives : présentation de Datalog Type de document : texte imprimé Auteurs : Nicole Bidoit, Auteur Editeur : Paris : A. Colin Année de publication : 1991 Collection : 2AI Importance : 146 p. Présentation : couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-200-42047-5 Note générale : Bibliogr. p. 135-141. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Bases de données déductives Datalog ( langage de programmation) Résumé : introduire datalog.comprendredatalog.généraliserdatalog.implémenter datalog et ses extensions. Bases de données déductives : présentation de Datalog [texte imprimé] / Nicole Bidoit, Auteur . - Paris : A. Colin, 1991 . - 146 p. : couv. ill. en coul. ; 21 cm. - (2AI) .
ISBN : 978-2-200-42047-5
Bibliogr. p. 135-141. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Bases de données déductives Datalog ( langage de programmation) Résumé : introduire datalog.comprendredatalog.généraliserdatalog.implémenter datalog et ses extensions. Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité m8/596--1 m8/596 Périodique Mathématiques et 'informatique indéterminé Disponible m8/596--2 m8/596 Périodique Mathématiques et 'informatique indéterminé Disponible m8/596--3 m8/596 Périodique Mathématiques et 'informatique indéterminé Disponible m8/596--4 m8/596 Périodique Mathématiques et 'informatique indéterminé Disponible m8/596--5 m8/596 Périodique Mathématiques et 'informatique indéterminé Disponible m8/596--6 m8/596 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Les langages à objets : principes de base, techniques de programmation Type de document : texte imprimé Auteurs : Michel Beaudouin-Lafon, Auteur Editeur : Paris : A. Colin Année de publication : 1992 Collection : 2AI Importance : 148 p. Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-200-42051-2 Note générale : Bibliogr. p. 141-144. Index Langues : Français (fre) Mots-clés : Programmation orientée objets ( informatique) Langages orientés objets ( informatique) Résumé : introduction.principes de base.langages a objets typés.smalltalk et ses dérivés.prototypes et acteurs.programmer avec objets. Les langages à objets : principes de base, techniques de programmation [texte imprimé] / Michel Beaudouin-Lafon, Auteur . - Paris : A. Colin, 1992 . - 148 p. : ill., couv. ill. ; 21 cm. - (2AI) .
ISBN : 978-2-200-42051-2
Bibliogr. p. 141-144. Index
Langues : Français (fre)
Mots-clés : Programmation orientée objets ( informatique) Langages orientés objets ( informatique) Résumé : introduction.principes de base.langages a objets typés.smalltalk et ses dérivés.prototypes et acteurs.programmer avec objets. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité m8/578--1 m8/578 Périodique Mathématiques et 'informatique indéterminé Disponible m8/578--2 m8/578 Périodique Mathématiques et 'informatique indéterminé Disponible m8/578--3 m8/578 Périodique Mathématiques et 'informatique indéterminé Disponible m8/578--4 m8/578 Périodique Mathématiques et 'informatique indéterminé Disponible
Titre : Programmes parallèlles : modèles et validation Type de document : texte imprimé Auteurs : André Arnold, Auteur Editeur : Paris : A. Colin Année de publication : 1991 Collection : 2AI Importance : 164 p. Présentation : ill., couv. ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-200-21080-9 Note générale : Bibliogr. p. 157-160. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Parallélisme ( informatique) Résumé : introduction.atomicité.modéles fondés sur des états.modéles fonés sur un ordre sur un ordre partiel.vérification de propriétés Programmes parallèlles : modèles et validation [texte imprimé] / André Arnold, Auteur . - Paris : A. Colin, 1991 . - 164 p. : ill., couv. ill. ; 21 cm. - (2AI) .
ISBN : 978-2-200-21080-9
Bibliogr. p. 157-160. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Parallélisme ( informatique) Résumé : introduction.atomicité.modéles fondés sur des états.modéles fonés sur un ordre sur un ordre partiel.vérification de propriétés Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité m8/561--1 m8/561 Périodique Mathématiques et 'informatique indéterminé Disponible m8/561--2 m8/561 Périodique Mathématiques et 'informatique indéterminé Disponible
