الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005
Affiner la recherche Interroger des sources externes
Théorie des programmes / C. Livercy
Titre : Théorie des programmes : schémas, preuves, sémantique Type de document : texte imprimé Auteurs : C. Livercy, Auteur Editeur : Paris : Dunod Année de publication : 1978 Collection : Dunod informatique. Phase formation Sous-collection : Phase formation num. 5 Importance : XII-328 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010516-7 Prix : 110 F Note générale : Bibliogr. p. 315-322. Index Langues : Français (fre) Mots-clés : programmes informatiques langages de programmation Index. décimale : 005 Théorie des programmes : schémas, preuves, sémantique [texte imprimé] / C. Livercy, Auteur . - Paris : Dunod, 1978 . - XII-328 p. ; 24 cm. - (Dunod informatique. Phase formation. Phase formation; 5) .
ISBN : 978-2-04-010516-7 : 110 F
Bibliogr. p. 315-322. Index
Langues : Français (fre)
Mots-clés : programmes informatiques langages de programmation Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité CF2-000908 005-064.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-000841 005-064.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-000842 005-064.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-000843 005-064.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-000844 005-064.5 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Transductions rationnelles / Jean-Michel Autebert
Titre : Transductions rationnelles : Application aux langages algébriques Type de document : texte imprimé Auteurs : Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur Editeur : Paris : Masson Année de publication : 1988 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 num. 12 Importance : 1 vol. (133 p.) Format : 25 cm ISBN/ISSN/EAN : 2-225-81604-6 Langues : Français (fre) Mots-clés : langages algébriques transductions rationnelles cône rationnel Index. décimale : 005 Transductions rationnelles : Application aux langages algébriques [texte imprimé] / Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur . - Paris : Masson, 1988 . - 1 vol. (133 p.) ; 25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770; 12) .
ISSN : 2-225-81604-6
Langues : Français (fre)
Mots-clés : langages algébriques transductions rationnelles cône rationnel Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité CF2-000551 005-166.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001040 005-166.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001041 005-166.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Turbo Pascal et son environnement / Jacques Rivière
Titre : Turbo Pascal et son environnement Type de document : texte imprimé Auteurs : Jacques Rivière (1943-....), Auteur Editeur : Paris : Dunod Année de publication : 1988 Autre Editeur : Paris : Bordas Collection : Dunod informatique num. 33 Importance : XV-388 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-04-018645-6 Note générale : Bibliogr. p. 353-354. Index Langues : Français (fre) Mots-clés : programmation informatique langage PASCAL environnement de développement intégré Turbo PASCAL Index. décimale : 005 Turbo Pascal et son environnement [texte imprimé] / Jacques Rivière (1943-....), Auteur . - Paris : Dunod : Paris : Bordas, 1988 . - XV-388 p. : ill. ; 24 cm.. - (Dunod informatique; 33) .
ISBN : 978-2-04-018645-6
Bibliogr. p. 353-354. Index
Langues : Français (fre)
Mots-clés : programmation informatique langage PASCAL environnement de développement intégré Turbo PASCAL Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité CF2-000935 005-091.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-000932 005-091.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-000933 005-091.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Variétés de langages formels / Jean Eric Pin
Titre : Variétés de langages formels Type de document : texte imprimé Auteurs : Jean Eric Pin Editeur : Paris : Masson Année de publication : 1984 Collection : Etudes et recherches en informatique Importance : 160 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-80266-9 Note générale : Includes index. Langues : Français (fre) Mots-clés : théorie des automates théorème des variétés langages formels semigroupes calculs explicites Index. décimale : 005 Résumé : Includes index. Variétés de langages formels [texte imprimé] / Jean Eric Pin . - Paris : Masson, 1984 . - 160 p. : ill. ; 24 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-80266-9
Includes index.
Langues : Français (fre)
Mots-clés : théorie des automates théorème des variétés langages formels semigroupes calculs explicites Index. décimale : 005 Résumé : Includes index. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité CF2-000578 005-195.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001085 005-195.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001086 005-195.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001087 005-195.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Windows 3.1 / Judd Robbins
Titre : Windows 3.1 Type de document : texte imprimé Auteurs : Judd Robbins, Compositeur ; François Saluden, Traducteur ; Francis Pierrot, Traducteur ; Sybex France, Editeur commercial Editeur : [Paris] : Sybex Année de publication : [1992 (cop)] Collection : Collection dirigée par Lucien Lamarre, ISSN 0990-2856 Importance : XX-925 p. Présentation : couv. ill. Format : 23 cm ISBN/ISSN/EAN : 978-2-7361-1158-8 Note générale : Cop. 1992 Langues : Français (fre) Mots-clés : Windows 3.1 architecture Windows applications DOS Index. décimale : 005 Note de contenu : Glossaire p.873-907. Index. Windows 3.1 [texte imprimé] / Judd Robbins, Compositeur ; François Saluden, Traducteur ; Francis Pierrot, Traducteur ; Sybex France, Editeur commercial . - [Paris] : Sybex, [1992 (cop)] . - XX-925 p. : couv. ill. ; 23 cm. - (Collection dirigée par Lucien Lamarre, ISSN 0990-2856) .
ISBN : 978-2-7361-1158-8
Cop. 1992
Langues : Français (fre)
Mots-clés : Windows 3.1 architecture Windows applications DOS Index. décimale : 005 Note de contenu : Glossaire p.873-907. Index. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité CF2-000580 005-197.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001088 005-197.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001089 005-197.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Windows NT programmation / Brian Myers
Permalinkهندسة البرمجيات / المهداوي؛ سعد عبد الستار
Permalink