005.133 (OCaml)

>> Retour

Nouvelle recherche

Détail de l'indexation

005.133 (OCaml)

005 Programmation, programmes, organisation des données, logiciel

005.13 Langages de programmation

005.133 (C)

005.133 (Java)

005.133 (Python)

005.136 Langage machine et assembleurs

005.2 Programmation par type d'ordinateur

005.4 Programmation et programme système

005.43 Programme système et programme d'exploitation

005.432 (Ubuntu Linux)

005.44 Système d'exploitation par type d'ordinateur

005.5 Programmes d'application

005.52 (Microsoft Word)

005.6 Microprogrammation

005.7 Organisation de données

005.73 Structure des données

005.74 Fichiers et système de gestion de bases de données. Compression des données

005.8 Sécurité des données. Protection contre le piratage informatique

Ouvrages de la bibliothèque en indexation 005.133 (OCaml) (1)

Faire une suggestion Affiner la recherche

texte imprimé

Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorythmique, la preuve et la complexité

Fabienne Carrier, Auteur ; Pascal Lafourcade, Auteur ; Laurent Mounier, Auteur | Paris : Ellipses | Technosup | DL 2014

Plus d'information...

CDU

Détail de l'indexation

005.133 (OCaml)

Ouvrages de la bibliothèque en indexation 005.133 (OCaml) (1)

Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorythmique, la preuve et la complexité

Accueil

Sélection de la langue

Se connecter

Adresse

CDU

Rechercher

Détail de l'indexation

005.133 (OCaml)

Ouvrages de la bibliothèque en indexation 005.133 (OCaml) (1)

Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorythmique, la preuve et la complexité

Accueil

Sélection de la langue

Se connecter

Adresse