Résultat de la recherche
3 recherche sur le mot-clé 'ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
BASES DE DONNEES ET MODELES DE CALCUL / JEAN-LUC HAINAUT
Titre : BASES DE DONNEES ET MODELES DE CALCUL : OUTILS ET METHODES POUR L'UTILISATEUR Type de document : texte imprimé Auteurs : JEAN-LUC HAINAUT, Auteur Editeur : PARIS : DUNOD Année de publication : 2000 Collection : SCIENCE SUP-INFORMATIQUE Importance : 402 p. Présentation : COUV,ILL.ILL. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-004553-2 Note générale : BIBLIOGR. INDEX Langues : Français (fre) Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : ETUDIE LES CONCEPTS, LES OUTILS ET LES METHODES DE CONSTRUCTION DANS LE DOMAINE DES BASES DE DONNEES ET DES TABLEURS. CHAQUE PARTIE SE TERMINE PAR DES ETUDES DE CAS ET L'OUVRAGE SE CONCLUT PAR UNE SERIE D'EXERCICES..1er ET 2e CYCLE-PREPAS DEUG. PUBLIC MOTIVE. BASES DE DONNEES ET MODELES DE CALCUL : OUTILS ET METHODES POUR L'UTILISATEUR [texte imprimé] / JEAN-LUC HAINAUT, Auteur . - , 2000 . - 402 p. : COUV,ILL.ILL. ; 24 cm.. - (SCIENCE SUP-INFORMATIQUE) .
ISBN : 978-2-10-004553-2
BIBLIOGR. INDEX
Langues : Français (fre)
Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : ETUDIE LES CONCEPTS, LES OUTILS ET LES METHODES DE CONSTRUCTION DANS LE DOMAINE DES BASES DE DONNEES ET DES TABLEURS. CHAQUE PARTIE SE TERMINE PAR DES ETUDES DE CAS ET L'OUVRAGE SE CONCLUT PAR UNE SERIE D'EXERCICES..1er ET 2e CYCLE-PREPAS DEUG. PUBLIC MOTIVE. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité E05543 E000-005.5-03/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible BASES DE DONNEES ET MODELES DE CALCUL / JEAN-LUC HAINAUT
Titre : BASES DE DONNEES ET MODELES DE CALCUL : OUTILS ET METHODES POUR L'UTILISATEUR Type de document : texte imprimé Auteurs : JEAN-LUC HAINAUT, Auteur Mention d'édition : 3e éd. Editeur : PARIS : DUNOD Année de publication : 2002 Collection : SCIENCE SUP-INFORMATIQUE Importance : 403p. Présentation : COUV,ILL.ILL. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-006688-9 Note générale : BIBLIOGR. INDEX Langues : Français (fre) Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : ETUDIE LES CONCEPTS, LES OUTILS ET LES METHODES DE CONSTRUCTION DANS LE DOMAINE DES BASES DE DONNEES ET DES TABLEURS. CHAQUE PARTIE SE TERMINE PAR DES ETUDES DE CAS ET L'OUVRAGE SE CONCLUT PAR UNE SERIE D'EXERCICES..1er ET 2e CYCLE-PREPAS DEUG. PUBLIC MOTIVE. BASES DE DONNEES ET MODELES DE CALCUL : OUTILS ET METHODES POUR L'UTILISATEUR [texte imprimé] / JEAN-LUC HAINAUT, Auteur . - 3e éd. . - , 2002 . - 403p. : COUV,ILL.ILL. ; 24 cm.. - (SCIENCE SUP-INFORMATIQUE) .
ISBN : 978-2-10-006688-9
BIBLIOGR. INDEX
Langues : Français (fre)
Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : ETUDIE LES CONCEPTS, LES OUTILS ET LES METHODES DE CONSTRUCTION DANS LE DOMAINE DES BASES DE DONNEES ET DES TABLEURS. CHAQUE PARTIE SE TERMINE PAR DES ETUDES DE CAS ET L'OUVRAGE SE CONCLUT PAR UNE SERIE D'EXERCICES..1er ET 2e CYCLE-PREPAS DEUG. PUBLIC MOTIVE. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité E011536 E000-005.5-14/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible E011535 E000-005.5-14/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible INTRODUCTION AUX METHODES FORMELLES / JEAN-FRANCOIS MONIN
Titre : INTRODUCTION AUX METHODES FORMELLES Type de document : texte imprimé Auteurs : JEAN-FRANCOIS MONIN, Auteur Editeur : PARIS : HERMES SCIENCE PUBLICATIONS Année de publication : 2000 Importance : 352 p. Présentation : COUV,ILL.ILL. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-0140-8 Note générale : BIBLIOGR. INDEX Langues : Français (fre) Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : PRESENTATION DES BASES THEORIQUES ET DES FONDEMENTS MATHEMATIQUES DE LA SPECIFICATION FORMELLE. REVUE DES TECHNIQUES GENERALES DE LA SPECIFICATION, DU DEVELOPPEMENT MODULAIRE DE LOGICIEL PAR RAFFINEMENTS PROGRESSIFS ET DE LA PREUVE FORMELLE. EXPLICATION DE LA MISE EN OEUVRE EFFECTIFS. ETUDE DES SYSTEMES DE TRANSITION ET DE LA LOGIQUE TEMPORELLE.. PROFESSIONNEL, SPECIALISTE.3e CYCLE-RECHERCHE. INTRODUCTION AUX METHODES FORMELLES [texte imprimé] / JEAN-FRANCOIS MONIN, Auteur . - PARIS : HERMES SCIENCE PUBLICATIONS, 2000 . - 352 p. : COUV,ILL.ILL. ; 24 cm.
ISBN : 978-2-7462-0140-8
BIBLIOGR. INDEX
Langues : Français (fre)
Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : PRESENTATION DES BASES THEORIQUES ET DES FONDEMENTS MATHEMATIQUES DE LA SPECIFICATION FORMELLE. REVUE DES TECHNIQUES GENERALES DE LA SPECIFICATION, DU DEVELOPPEMENT MODULAIRE DE LOGICIEL PAR RAFFINEMENTS PROGRESSIFS ET DE LA PREUVE FORMELLE. EXPLICATION DE LA MISE EN OEUVRE EFFECTIFS. ETUDE DES SYSTEMES DE TRANSITION ET DE LA LOGIQUE TEMPORELLE.. PROFESSIONNEL, SPECIALISTE.3e CYCLE-RECHERCHE. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité E05360 E000-005.5-02/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible E07092 E000-005.5-02/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible