|
|
|
|
| LEADER |
01761nam a22003617a 4500 |
| 001 |
87403 |
| 008 |
950515t19941994xxe ||| |||| 00| 0 fre d |
| 009 |
PPN003540707 |
| 020 |
|
|
|a 2212016425 (br.) :
|c 170 FRF
|
| 024 |
|
|
|a 9782212016420
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 67
|
| 082 |
|
|
|a 670
|
| 084 |
|
|
|a ENS - 420
|
| 100 |
1 |
|
|a Bourda, Yolaine,
|d 19..-
|
| 245 |
1 |
0 |
|a Introduction à l'informatique théorique
|c Yolaine Bourda,... Nicolas Graner,... Marie-Christine Rousset,... [et al.] ; préface de Marie-Claude Gaudel,...
|
| 260 |
|
|
|a Paris :
|b Eyrolles,
|c 1994, cop. 1994
|e (Paris) :
|f (Impr. Jouve).
|
| 300 |
|
|
|a 1 vol. (XX-214 p.) :
|b ill. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Collection de la Direction des études et recherches d'Électricité de France. SUPÉLEC
|x 0292-6903
|v 11
|
| 504 |
|
|
|a Bibliogr. p. [203]-206. Index
|
| 505 |
0 |
|
|a Chapitre 1. Langages, automates et machines -- Chapitre 2. Complexité des algorithmes -- Chapitre 3. Complexité des problèmes -- Chapitre 4. Outils mathématiques -- Chapitre 5. Spécification des données -- Chapitre 6. Correction des programmes
|
| 650 |
|
|
|a Automates programmables
|
| 650 |
|
|
|a Programmation (mathématiques)
|
| 650 |
|
|
|a Résolution de problème
|x Informatique
|
| 650 |
|
|
|a Complexité de calcul (informatique)
|
| 650 |
|
|
|a Langages formels
|
| 650 |
|
|
|a Ordinateurs
|x Programmation
|
| 700 |
1 |
|
|a Graner, Nicolas,
|d 19..-
|4 aut
|
| 700 |
1 |
|
|a Rousset, Marie-Christine,
|c auteur en informatique.
|4 aut
|
| 700 |
1 |
|
|a Gaudel, Marie-Claude,
|d 1946-
|4 aui
|
| 917 |
|
|
|5 452342104:006226000
|a aaxx
|
| 997 |
|
|
|0 87403
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/BU Sciences, Technologies, STAPS/
|z Orléans, BU Sciences, Technologies, STAPS, C37-11
|
| 999 |
|
|
|5 452342104:006226000
|c BU
|d ORLE04
|a S 95-495
|
