Structures de données et méthodes formelles Structures de données et méthodes formelles : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
Ligne 5 : Ligne 5 :
 
|SiloRole=auteur;
 
|SiloRole=auteur;
 
|SiloLangue=fre
 
|SiloLangue=fre
|Résumé=Ce livre a pour thème principal l'étude des structures de données.
+
|Résumé=Ouvrage dont le thème principal est l'étude des structures de données.
 
|Catégorie=1.2. Structuration et contrôle de l'information, 5. Grains de mécsci
 
|Catégorie=1.2. Structuration et contrôle de l'information, 5. Grains de mécsci
|Mots-clés contrôlés=Structure de données; Elément de génie logiciel; Tableau : matrice de données; File : informatique; Langage formel;  
+
|Mots-clés contrôlés=Structure de données; Elément de génie logiciel; Tableau : matrice de données; File : informatique; Langage formel;
 
|SiloTypeDocumentaire=texte
 
|SiloTypeDocumentaire=texte
 
|SiloTypologieGenerale=ouvrage
 
|SiloTypologieGenerale=ouvrage
Ligne 16 : Ligne 16 :
 
|SiloPublicCible=enseignant
 
|SiloPublicCible=enseignant
 
|SiloUtilisationPédagogique=L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données ainsi que de leurs liens avec les méthodes formelles.
 
|SiloUtilisationPédagogique=L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données ainsi que de leurs liens avec les méthodes formelles.
|Evaluateur=Thierry; Diane Rives (indexation)
+
|Evaluateur=Thierry; Diane Rives (indexation); DB
|Statut d'évaluation=en cours d'indexation
+
|Statut d'évaluation=publiée
 
}}
 
}}

Version du 5 septembre 2011 à 14:34

Section Description
URL http://www.springer.com/computer/book/978-2-8178-0199-5
Titre Structures de données et méthodes formelles
Auteur(s) Guyomard, Marc
Fonction(s) auteur
Notes
Section Analyse
Langue fre
Résumé Ouvrage dont le thème principal est l'étude des structures de données.
Sélection(s) thématique(s) 1.2. Structuration et contrôle de l'information ; 5. Grains de mécsci
Mots-clés normalisés Structure de données« Structure de données » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Elément de génie logiciel« Elément de génie logiciel » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Tableau : matrice de données« Tableau : matrice de données » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; File : informatique« File : informatique » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Langage formel« Langage formel » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » .
Proposition autres mots-clés
Type documentaire texte
Typologie Générale ouvrage
Date de publication 2011/04/29
Structure du document atomique
Niveau d'agrégation 1.Le plus petit niveau (grain)
Exigences techniques
Section Pédagogie
Type pédagogique cours / présentation
Public cible enseignant
Utilisation pédagogique L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données ainsi que de leurs liens avec les méthodes formelles.
Section Droits
Droits du document
Section processus de validation (workflow)
Intervenants Thierry; Diane Rives (indexation); DB
Statut du workflow publiée

Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.