Structures de données et méthodes formelles Structures de données et méthodes formelles : Différence entre versions
De Sciencinfolycee
m (Remplacement du texte — « 1.2. Structuration et contrôle de l'information » par « Structuration et contrôle de l'information ») |
|||
| Ligne 6 : | Ligne 6 : | ||
|SiloLangue=fre | |SiloLangue=fre | ||
|Résumé=Ouvrage dont le thème principal est 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= | + | |Catégorie=Structuration et contrôle de l'information, 5. Culture Scientifique |
|Mots-clés contrôlés=structure de données; élément de génie logiciel; tableau : matrice de données; file : informatique; langage formel; | |Mots-clés contrôlés=structure de données; élément de génie logiciel; tableau : matrice de données; file : informatique; langage formel; | ||
|SiloTypeDocumentaire=texte | |SiloTypeDocumentaire=texte | ||
Version du 23 janvier 2012 à 12:35
| 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) | Structuration et contrôle de l'information ; 5. Culture Scientifique |
| Mots-clés normalisés | structure de données ; élément de génie logiciel ; tableau : matrice de données ; file : informatique ; langage formel |
| 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.
