Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1 (67)
Affiner la recherche Interroger des sources externes
Calculateurs, Calculs, calculabilié / Olivier Ridoux
Titre : Calculateurs, Calculs, calculabilié Type de document : texte imprimé Auteurs : Olivier Ridoux ; Gilles Lesventes Editeur : PARIS : DUNOD Année de publication : 2008 Collection : SCIENCES SUP Importance : 204 p. Format : 24 x17 cm. ISBN/ISSN/EAN : 978-2-10-051588-2 Note générale : index Langues : Français (fre) Mots-clés : Calculateurs, Calculs, calculabilitØ Index. décimale : 005.1 Résumé : Cet ouvrage s'adresse aux étudiant ayant une expérience, meme légLre, de la programation,qu'ils soient en licence ou master d'informatique ou en écoles d'ingénieurs. Calculateurs, Calculs, calculabilié [texte imprimé] / Olivier Ridoux ; Gilles Lesventes . - PARIS : DUNOD, 2008 . - 204 p. ; 24 x17 cm.. - (SCIENCES SUP) .
ISBN : 978-2-10-051588-2
index
Langues : Français (fre)
Mots-clés : Calculateurs, Calculs, calculabilitØ Index. décimale : 005.1 Résumé : Cet ouvrage s'adresse aux étudiant ayant une expérience, meme légLre, de la programation,qu'ils soient en licence ou master d'informatique ou en écoles d'ingénieurs. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité E026583 E000-005.1-50/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 004 Informatique, traitement des données Disponible E026582 E000-005.1-50/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 004 Informatique, traitement des données Disponible COMPREHENSION AUTOMATIQUE DU LANGAGE NATUREL / JAYEZ.J.H
Titre : COMPREHENSION AUTOMATIQUE DU LANGAGE NATUREL : LE CAS DU GROUPE NOMINAL EN Francais Type de document : texte imprimé Auteurs : JAYEZ.J.H, Auteur Editeur : PARIS : MASSON Année de publication : 1985 Importance : 186 p. Présentation : illus. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-78815-4 Note générale : index. Mots-clés : méthode rigoureuse.developpement.logiciel. Index. décimale : 005.1 Résumé : cet livre: logique des oripositions.raisonnons avec des prédicats.fonctions et opérations.notation ensembliste.objets compositions et invariants.notation pour les correspondances.notation pour les séquences.réfication de données.pour en savoir plus sur les types de données.décomposotion d'opération.une petite etude de cas. COMPREHENSION AUTOMATIQUE DU LANGAGE NATUREL : LE CAS DU GROUPE NOMINAL EN Francais [texte imprimé] / JAYEZ.J.H, Auteur . - PARIS : MASSON, 1985 . - 186 p. : illus. ; 24 cm.
ISBN : 978-2-225-78815-4
index.
Mots-clés : méthode rigoureuse.developpement.logiciel. Index. décimale : 005.1 Résumé : cet livre: logique des oripositions.raisonnons avec des prédicats.fonctions et opérations.notation ensembliste.objets compositions et invariants.notation pour les correspondances.notation pour les séquences.réfication de données.pour en savoir plus sur les types de données.décomposotion d'opération.une petite etude de cas. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité E00303 E000-005.1-12/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible Conception objet en Java avec BlueJ / David J. Barnes
Titre : Conception objet en Java avec BlueJ : une approche interactive Type de document : texte imprimé Auteurs : David J. Barnes, Auteur ; Michael Kolling, Auteur Mention d'édition : 2e Ød. Editeur : Paris : Pearson Education Année de publication : 2005 Importance : XXXIV-532 p. Présentation : ill. Format : 24 x 18 cm Accompagnement : 1 CD-ROM ISBN/ISSN/EAN : 978-2-7440-7093-8 Prix : 39 EUR Note générale : Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : programmation orientØe objets (informatique) Java (langage de programmation) Index. décimale : 005.1 Résumé : Met en avant les concepts de gØnie logiciel orientØ objet avant de prØsenter l'apprentissage de la syntaxe d'un langage (en l'occurrence le langage Java). L'apprentissage se fait en traitant immØdiatement des projets grÐce ? l'environnement de dØveloppement interactif BlueJ. Conception objet en Java avec BlueJ : une approche interactive [texte imprimé] / David J. Barnes, Auteur ; Michael Kolling, Auteur . - 2e Ød. . - Paris : Pearson Education, 2005 . - XXXIV-532 p. : ill. ; 24 x 18 cm + 1 CD-ROM.
ISBN : 978-2-7440-7093-8 : 39 EUR
Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : programmation orientØe objets (informatique) Java (langage de programmation) Index. décimale : 005.1 Résumé : Met en avant les concepts de gØnie logiciel orientØ objet avant de prØsenter l'apprentissage de la syntaxe d'un langage (en l'occurrence le langage Java). L'apprentissage se fait en traitant immØdiatement des projets grÐce ? l'environnement de dØveloppement interactif BlueJ. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité E026536 E000-005.1-51/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 004 Informatique, traitement des données Disponible CONCEPTION ET PROGRAMMATION PAR OBJETS / MEYER.B
Titre : CONCEPTION ET PROGRAMMATION PAR OBJETS : POUR DU LOGICIEL DE QUALITE Type de document : texte imprimé Auteurs : MEYER.B, Auteur Editeur : PARIS : INTEREDITIONS Année de publication : 1990 Importance : 622p. Présentation : illus. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7296-0272-7 Note générale : index. Mots-clés : logiciel de qualité.programmation. Index. décimale : 005.1 Résumé : ce livre:les facettes de la qualité du logiciel. la modularité.réutilisabilité.laroute vers les objets.eléments de base de laprommation en eiffel. la généricité.approches systématiques de la construction de logiciel.autres aspects d'eiffel.concevoir des interface entre classes.introduction a la notion d'héritage....... CONCEPTION ET PROGRAMMATION PAR OBJETS : POUR DU LOGICIEL DE QUALITE [texte imprimé] / MEYER.B, Auteur . - PARIS : INTEREDITIONS, 1990 . - 622p. : illus. ; 24 cm.
ISBN : 978-2-7296-0272-7
index.
Mots-clés : logiciel de qualité.programmation. Index. décimale : 005.1 Résumé : ce livre:les facettes de la qualité du logiciel. la modularité.réutilisabilité.laroute vers les objets.eléments de base de laprommation en eiffel. la généricité.approches systématiques de la construction de logiciel.autres aspects d'eiffel.concevoir des interface entre classes.introduction a la notion d'héritage....... Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité E01793 E000-005.1-04/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible E013486 E000-005.1-04/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible CONSTRUCTION ET VERIFICATION DE PROGRAMMES / BACKHOUSE.R.C
Titre : CONSTRUCTION ET VERIFICATION DE PROGRAMMES : Manuels informatiques masson Type de document : texte imprimé Auteurs : BACKHOUSE.R.C, Auteur Editeur : U.K : PRENTICE HALL INT Année de publication : 1989 Importance : 276 P. Présentation : illus. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81660-4 Note générale : INDEX.bibliographiques. Mots-clés : vérification.programmes Index. décimale : 005.1 Résumé : ce livre:une science de la programmation.le calcul propasitionnel.le calcul des orédicats. vérification.construction de prigrammes. CONSTRUCTION ET VERIFICATION DE PROGRAMMES : Manuels informatiques masson [texte imprimé] / BACKHOUSE.R.C, Auteur . - U.K : PRENTICE HALL INT, 1989 . - 276 P. : illus. ; 24 cm.
ISBN : 978-2-225-81660-4
INDEX.bibliographiques.
Mots-clés : vérification.programmes Index. décimale : 005.1 Résumé : ce livre:une science de la programmation.le calcul propasitionnel.le calcul des orédicats. vérification.construction de prigrammes. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité R01220 E000-005.1-02/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible Débuter en programmation / perry. GREG
PermalinkDelphi 6 de A à Z / chahid khichane
PermalinkDICO REFERENCE API NATIVES WINDOWS NT / GARY NEBBET
PermalinkDictionnaire encyclopédique du génie logiciel / HABRIAS HENRI
PermalinkEléments de programmation en Scheme / PASCAL GRIBOMONT
PermalinkExercices et problémes d'algorithmique / Flasque,Nicolas
PermalinkGENIE LOGICIEL ET GENIE COGNITIF POUR LES SYSTEMES A BASE DE CONNAISSANCE / JEAN-LOUIS ERMINE
PermalinkGENIE LOGICIEL ET GENIE COGNITIF POUR LES SYSTEMES A BASE DE CONNAISSANCES / JEAN-LOUIS ERMINE
PermalinkLE GENIE LOGICIEL ET SES APPLICATIONS / IAN SOMMERVILLE
PermalinkGnome-GTK + / Arthur Griffith
Permalink