Apprendre à programmer avec OCaml : algorithmes et structures de données

Apprendre à programmer avec OCaml : algorithmes et structures de données

Enregistré dans:

Détails bibliographiques
Auteur principal:	Conchon, Sylvain (1972-....). (Auteur)
Autres auteurs:	Filliâtre, Jean-Christophe (1971-....). (Auteur)
Support:	E-Book
Langue:	Français
Publié:	Paris : Eyrolles, cop. 2014.
Sujets:	Objective Caml (langage de programmation) > Manuels d'enseignement supérieur. Programmation fonctionnelle (informatique) > Manuels d'enseignement supérieur.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-book

Documents similaires

Mini manuel de programmation fonctionnelle : cours + exos
par: Violard, Éric (19..-....).
Publié: (2014)

Bases en algorithmique et en programmation : cours et 120 exercices corrigés
par: Lienhardt, Pascal (1958-....).
Publié: (2021)

Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
par: Hains, Gaétan.

Introduction aux transferts thermiques
par: Marchio, Dominique (19..-....).

Électrotechnique : physique appliquée à la conversion et à la distribution de l'énergie électrique
par: Gaude, Daniel (19..-....).
Publié: (2015)

Algorithmes : notions de base
par: Cormen, Thomas H. (19..-....).
Publié: (2014)

Biotechnologies : en 27 fiches
par: Cézard, Fabien.
Publié: (2013)

Initiation à la cryptographie
par: Dubertret, Gilles.

Calcul des ouvrages : résistance des matériaux et fondements du calcul des structures
par: Ringot, Erick (1956-....).
Publié: (2017)

Ingénierie bio-inspirée : principes et transition énergétique
par: Merlin, Gérard (1956-....; auteur en biologie).

Nanosciences et nanomatériaux : rappels de cours et apprentissage par exercices corrigés
par: Muller, Pierre (1986-....).

Energétique Concepts et applications - Cours et exercices corrigés
par: Feidt, Michel (1945-....).

Thermomécanique des milieux fluides : application aux machines hydrauliques et thermiques
par: Lallemand, André (1942-....; Professeur en énergétique thermique).

Traitements statistiques et programmation avec R
par: Hunault, Gilles (19..-....).
Publié: (2017)

Noyaux et radioactivité : une introduction à la physique des particules et à la physique nucléaire
par: Debu, Pascal (19..-....).

Électronique analogique basse fréquence : composants, circuits, amplification, filtrage : cours et exercices corrigés
par: Canet, Pierre (1963-....).

Biodiversité et évolution du monde végétal
par: Garon, David (1973-....; enseignant-chercheur en biotechnologies et mycologie).
Publié: (2014)

Traitement du signal et automatique.
par: Egon, Hubert.
Publié: (2001)

Traitement du signal et automatique.
par: Egon, Hubert.
Publié: (2000)

Prépa-maths : cours et exercices corrigés : ECE1
par: Laurent-Reig, Céline (19..-....).
Publié: (2018)

Fonctions de transfert et circuits linéaires : introduction aux techniques de calcul rapide
par: Basso, Christophe (1965-....).
Publié: (2017)

Écologie générale : structure et fonctionnement de la biosphère
par: Barbault, Robert (1943-2013).
Publié: (2008)

Physique des semiconducteurs et des composants électroniques : cours et exercices corrigés
par: Mathieu, Henry (1940-....).
Publié: (2009)

Structure de la matière : atomes, liaisons chimiques et cristallographie
par: Guymont, Michel.
Publié: (2003)

Informatique avec Python : prépas scientifiques : exercices incontournables
par: Beury, Jean-Noël (19..-....).
Publié: (2018)

Probabilités : variables aléatoires réelles et vectorielles : cours et exercices
par: Maisonneuve, Francis.

Cristallographie et diffraction : application à la diffraction électronique : cours et exercices corrigés
par: Esnouf, Claude.

Algèbre et arithmétique fondamentales
par: Gras, Georges (1944-....; mathématicien).

Physique pour les sciences de la vie et de la santé : cours et exercices corrigés
par: Santamaria, Clément (19..-....).
Publié: (2012)

Electrostatique et électrocinétique 1re et 2e années : cours et exercices corrigés
par: Amzallag, Émile (1932-....).
Publié: (2006)

Electrostatique et magnétostatique.
par: Bruneaux, Janine (1940-....).
Publié: (2002)

Manuel de mécanique des roches. barrages, versants instables, tunnels profonds, infrastructures linéaires, fondations et terrassements

Logique séquentielle : modélisation des systèmes, bascules, compteurs, décompteurs, registres, mémoires, convertisseurs : cours et exercices corrigés
par: Sbaï, Mouloud.

Pétrographie et environnements sédimentaires : cours et exercices corrigés
par: Deconinck, Jean-François (19..-....).
Publié: (2019)

La mécanique des roches appliquée au génie civil : ingéneries des roches
par: Gasc-Barbier, Muriel (1973-....; géologue).
Publié: (2019)

Commande PID des systèmes linéaires : principes, détermination d'un correcteur PID, performances, applications concrètes : cours et problèmes corrigés
par: Jacob, Dominique R. (1961-....).

Biodiversité et évolution du monde vivant
par: Garon, David (1973-....; enseignant-chercheur en biotechnologies et mycologie).
Publié: (2013)

Probability, statistics, and stochastic processes
par: Olofsson, Peter.

Précis de neutronique
par: Reuss, Paul (1940-....; physicien).
Publié: (2003)

Thermodynamique de la chimie
par: Lemarchand, Hervé.
Publié: (1999)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1