Concepts fondamentaux de l'informatique [ Livre] / Alfred Vaino, Aho / Jeffrey David, Ullman

Auteur principal: Aho, Alfred VainoCo-auteur: Ullman, Jeffrey DavidLangue: Français ; de l'oeuvre originale, Français.Publication : Paris : Dunod, 1993Description : XVI-856 p. ; ill., couv. ill. en coul ; 24 cmISBN: 2100031279.Collection: Sciences sup, 2e cycle, écoles d'ingénieursClassification: 004 InformatiqueRésumé: Titre original : Foundations of computer science / Alfred V. Aho, Jeffreys D. Ullman. - New York : Computer science press : W.H. Freeman, cop. 1992. Sommaire 1. L'informatique : la mécanisation de l'abstraction 2. Itération, récurrence et récursivité 3. Le temps d'exécution des programmes 4. Modèles de données d'un ordinateur 5. Le modèle de données arbre 6. Le modèle de données liste 7. Le modèle de données ensemble 8. Le modèle de données relationnel 9. Le modèle de données graphe 10. Motifs, automates, et expressions régulières 11. Description récursive de motifs 12. Logique propositionnelle 13. La logique au service de la conception des composants d'ordinateur 14. Logique des prédicats.Sujet - Nom commun: Structures de données (informatique) | Logique | Informatique -- Manuels d'enseignement supérieur | Automates mathématiques, Théorie des | Algorithmes
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
004 AHO (Browse shelf) Exclu du prêt 004 Informatique 00000520
ENS Rennes - Bibliothèque
Informatique
004 AHO (Browse shelf) Available 004 Informatique 000005201
ENS Rennes - Bibliothèque
Informatique
004 AHO (Browse shelf) Available 004 Informatique 000005202

Notes bibliogr., ind

Titre original : Foundations of computer science / Alfred V. Aho, Jeffreys D. Ullman. - New York : Computer science press : W.H. Freeman, cop. 1992.
Sommaire
1. L'informatique : la mécanisation de l'abstraction
2. Itération, récurrence et récursivité
3. Le temps d'exécution des programmes
4. Modèles de données d'un ordinateur
5. Le modèle de données arbre
6. Le modèle de données liste
7. Le modèle de données ensemble
8. Le modèle de données relationnel
9. Le modèle de données graphe
10. Motifs, automates, et expressions régulières
11. Description récursive de motifs
12. Logique propositionnelle
13. La logique au service de la conception des composants d'ordinateur
14. Logique des prédicats

Powered by Koha