Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail d'une collection
Sous-collection Phase formation
- Éditeur : Dunod
- Collection : Dunod informatique
- ISSN : pas d'ISSN
Documents disponibles dans la sous-collection
Faire une suggestion Affiner la rechercheEmploi des ordinateurs / Jean-Claude Faure
Titre : Emploi des ordinateurs : introduction au software Type de document : texte imprimé Auteurs : Jean-Claude Faure, Auteur ; Bernard Lorho, Collaborateur Editeur : Paris : Dunod Année de publication : 1979 Collection : Dunod informatique Sous-collection : Phase formation Importance : XI-124 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010481-8 Mots-clés : Logiciels
Langages de programmation
Algorithmes
Ordinateurs -- Programmation
Microordinateurs -- ProgrammationIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Note de contenu : Au sommaire:
1. Introduction à l'informatique
2. les langages de programmation
3. Les traducteurs de langages de programmation
4. Les fichiers
5. Système d'exploitation-MoniteurEmploi des ordinateurs : introduction au software [texte imprimé] / Jean-Claude Faure, Auteur ; Bernard Lorho, Collaborateur . - Dunod, 1979 . - XI-124 p. : ill. ; 24 cm. - (Dunod informatique. Phase formation) .
ISBN : 978-2-04-010481-8
Mots-clés : Logiciels
Langages de programmation
Algorithmes
Ordinateurs -- Programmation
Microordinateurs -- ProgrammationIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Note de contenu : Au sommaire:
1. Introduction à l'informatique
2. les langages de programmation
3. Les traducteurs de langages de programmation
4. Les fichiers
5. Système d'exploitation-MoniteurExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 019121 681.3 FAU Papier Bibliothèque Centrale Informatique Disponible Consultation sur place
Titre : Théorie des programmes : schémas, preuves, sémantique Type de document : texte imprimé Auteurs : C. Livercy, Auteur ; Jean-Pierre Finance, Collaborateur ; C. Pair, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 1978 Collection : Dunod informatique Sous-collection : Phase formation Importance : XII-328 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010516-7 Note générale : Bibliogr. p. [315]-322. Index Langues : Français (fre) Mots-clés : Informatique
Ordinateurs -- Programmation
Electronic digital computers -- ProgrammingIndex. décimale : 681.3.06 Logiciels. Software Résumé :
La construction des programmes s'accommode de moins en moins d'empirisme et d'imprécision, et il devient vital pour l'analyste et le programmeur d'avoir un certain recul par rapport à cette technique qu'est la programmation. Cet ouvrage, le premier en langue française traitant de ce sujet, répond à ce souci en donnant une présentation synthétique et approfondie des principaux aspects de la théorie des programmes.Note de contenu : Au sommaire :
1. Problèmes, algorithmes et programmes.
2. Problèmes récursifs et théorie du point fixe.
3. Schémas de programmes.
4. Vérification et conception de programmes.
5. Sémantique d'un langage de programmation.Théorie des programmes : schémas, preuves, sémantique [texte imprimé] / C. Livercy, Auteur ; Jean-Pierre Finance, Collaborateur ; C. Pair, Préfacier, etc. . - Dunod, 1978 . - XII-328 p. : ill. ; 24 cm. - (Dunod informatique. Phase formation) .
ISBN : 978-2-04-010516-7
Bibliogr. p. [315]-322. Index
Langues : Français (fre)
Mots-clés : Informatique
Ordinateurs -- Programmation
Electronic digital computers -- ProgrammingIndex. décimale : 681.3.06 Logiciels. Software Résumé :
La construction des programmes s'accommode de moins en moins d'empirisme et d'imprécision, et il devient vital pour l'analyste et le programmeur d'avoir un certain recul par rapport à cette technique qu'est la programmation. Cet ouvrage, le premier en langue française traitant de ce sujet, répond à ce souci en donnant une présentation synthétique et approfondie des principaux aspects de la théorie des programmes.Note de contenu : Au sommaire :
1. Problèmes, algorithmes et programmes.
2. Problèmes récursifs et théorie du point fixe.
3. Schémas de programmes.
4. Vérification et conception de programmes.
5. Sémantique d'un langage de programmation.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 020593 681.3.06 LIV Papier Bibliothèque Centrale Informatique Disponible En bon état 019122 681.3.06 LIV Papier Bibliothèque Centrale Informatique Disponible Consultation sur place
Titre : Let's talk D.P. : lexique d'informatique Type de document : texte imprimé Auteurs : J. P. Drieux, Auteur ; A. Jarlaud, Auteur Mention d'édition : 5e éd. rév. Editeur : Paris : Dunod Année de publication : 1981 Autre Editeur : Paris : Bordas Collection : Dunod informatique Sous-collection : Phase formation Importance : 138 p. Format : 18 cm ISBN/ISSN/EAN : 978-2-04-011483-1 Note générale : La couv. porte en plus : "Français/ Anglais, Américain. English, American/ French" Langues : Français (fre) Anglais (eng) Mots-clés : Electronic data processing -- Dictionaries
English language -- Dictionaries -- French
Electronic data processing -- Dictionaries -- French
French language -- Dictionaries -- EnglishIndex. décimale : 681.3(038) Appareils et matériel de traitement de données. Informatique. (Dictionnaire) Résumé :
Lexique d'informatique destiné aux étudiants, techniciens et cadres, spécialisés ou non en informatique, Let's Talk D.P. veut être un outil de travail clair, maniable et facilement utilisable. Il propose environ 4000 mots (2000 en anglais et américain, 2000 en français) regroupés par centres d'intérêt en 34 chapitres numérotés de 01 à 34. Certains de ces mots ou expressions sont éclairés par une courte définition rédigée en deux langues, anglo/ américain et français.Let's talk D.P. : lexique d'informatique [texte imprimé] / J. P. Drieux, Auteur ; A. Jarlaud, Auteur . - 5e éd. rév. . - Dunod : Paris : Bordas, 1981 . - 138 p. ; 18 cm. - (Dunod informatique. Phase formation) .
ISBN : 978-2-04-011483-1
La couv. porte en plus : "Français/ Anglais, Américain. English, American/ French"
Langues : Français (fre) Anglais (eng)
Mots-clés : Electronic data processing -- Dictionaries
English language -- Dictionaries -- French
Electronic data processing -- Dictionaries -- French
French language -- Dictionaries -- EnglishIndex. décimale : 681.3(038) Appareils et matériel de traitement de données. Informatique. (Dictionnaire) Résumé :
Lexique d'informatique destiné aux étudiants, techniciens et cadres, spécialisés ou non en informatique, Let's Talk D.P. veut être un outil de travail clair, maniable et facilement utilisable. Il propose environ 4000 mots (2000 en anglais et américain, 2000 en français) regroupés par centres d'intérêt en 34 chapitres numérotés de 01 à 34. Certains de ces mots ou expressions sont éclairés par une courte définition rédigée en deux langues, anglo/ américain et français.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 022412 681.3(038) DRI Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 022413 681.3(038) DRI Papier Bibliothèque Centrale Informatique Disponible En bon état 022414 681.3(038) DRI Papier Bibliothèque Centrale Informatique Disponible En bon état 022415 681.3(038) DRI Papier Bibliothèque Centrale Informatique Disponible En bon état
