Exercices de programmation fonctionnelle en OCaml : :: SCD d'Orléans

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

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

保存先:

書誌詳細
主要な著者:	Carrier, Fabienne, Lafourcade, Pascal, 1977- (著者), Mounier, Laurent, 19..-...., auteur en informatique (著者)
フォーマット:	Livre papier
言語:	Français
出版事項:	Paris : Ellipses DL 2014.
シリーズ:	Technosup : les filières technologiques des enseignements supérieurs
主題:	Objective Caml (langage de programmation) > Manuels d'enseignement supérieur Programmation fonctionnelle (informatique) > Manuels d'enseignement supérieur
注記:	Avant-titre : "Programmation"
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Programmation :, exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité

類似資料

Apprendre à programmer avec OCaml : algorithmes et structures de données
著者:: Conchon, Sylvain, 1972-, 等
出版事項: (2014)

Apprendre à programmer avec OCaml : algorithmes et structures de données
著者:: Conchon, Sylvain, 1972-, 等
出版事項: (2014)

Apprentissage de la programmation avec OCaml
著者:: Dubois, Catherine, 19..-...., informaticienne, 等
出版事項: (2004)

OCaml from the very beginning
著者:: Whitington, John
出版事項: (2013)

Real world OCaml : functional programming for the masses
著者:: Madhavapeddy, Anil, 等
出版事項: (2022)

Programmation fonctionnelle, générique et objet : une introduction avec le langage OCaml
著者:: Narbel, Philippe, 1963-
出版事項: (2005)

Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
著者:: Hains, Gaétan, 1963-
出版事項: (2018)

Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
著者:: Hains, Gaétan
出版事項: (2018)

Éléments de mathématiques discrètes : cours, exercices résolus, implémentations avec les langages Python et OCaml
著者:: Jaume, Mathieu, 1968-2023
出版事項: (2016)

Mini manuel de programmation fonctionnelle : cours + exos
著者:: Violard, Éric, 19..-
出版事項: (2014)

Bases en algorithmique et en programmation : cours et 120 exercices corrigés
著者:: Lienhardt, Pascal, 1958-, 等
出版事項: (2021)

Bases en algorithmique et en programmation : cours et 120 exercices corrigés : [L1]
著者:: Lienhardt, Pascal, 1958-, 等
出版事項: (2021)

Développement d'applications avec Objective Caml
著者:: Chailloux, Emmanuel, 1959-, 等
出版事項: (2000)

Informatique MP2I : cours, programmes en C et OCaml, exercices corrigés
著者:: Mallet, Olivier, 1982-...., enseignant-chercheur en informatique
出版事項: (2023)

Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
著者:: Accart Hardin, Thérèse, 等
出版事項: (1992)

Mini manuel de programmation fonctionnelle : cours + exos corrigés
著者:: Violard, Éric, 19..-
出版事項: (2014)

Option informatique : cours complet pour la Sup MPSI
著者:: Monasse, Denis, 1950-
出版事項: (1996)

Manuel de référence du langage Caml
著者:: Leroy, Xavier, 1968-...., chercheur en informatique, 等
出版事項: (1993)

Éléments de programmation : de l'algorithme au programme Python
著者:: Peschanski, Frédéric, 1973-, 等
出版事項: (2020)

Formation au langage CAML : cours
著者:: Marché, Claude, 19..-..., chercheur en informatique, 等

Le langage Caml
著者:: Weis, Pierre, 等
出版事項: (1999)

Éléments de programmation : de l'algorithme au programme Python
著者:: Peschanski, Frédéric, 1973-, 等
出版事項: (2020)

Éléments d'analyse fonctionnelle : fondements et applications aux sciences de l'ingénieur
著者:: Gilsinger, Jean-marc, 等
出版事項: (2010)

Algorithmique et programmation en Java
著者:: Granet, Vincent, 1959-
出版事項: (2018)

Analyse fonctionnelle : théorie et applications
著者:: Brézis, Haïm, 1944-2024
出版事項: (2005)

Initiation à l'algorithmique et à la programmation en C
著者:: Malgouyres, Rémy, 等
出版事項: (2015)

Mini manuel d'algorithmique et de programmation : cours + exos corrigés
著者:: Granet, Vincent, 1959-
出版事項: (2012)

Algorithmes et structures de données génériques : cours et exercices corrigés en langage C
著者:: Divay, Michel, 19..-...., auteur en informatique
出版事項: (2004)

Programmer en Java
著者:: Delannoy, Claude, 1946-
出版事項: (2017)

Quelques grands théorèmes d'analyse fonctionnelle : licence, master
著者:: Chemin, Jean-Yves, 1959-...., mathématicien
出版事項: (2025)

Quelques grands théorèmes d'analyse fonctionnelle : licence, master
著者:: Chemin, Jean-Yves, 1959-...., mathématicien
出版事項: (2025)

1001 codes Python pour la modélisation : spécial prépas
著者:: Uhl, Lionel, 1977-
出版事項: (2014)

Initiation à l'algorithmique et à la programmation en C : cours avec 129 exercices corrigés
著者:: Malgouyres, Rémy, 等
出版事項: (2014)

Analyse fonctionnelle : théorie et applications
著者:: Brézis, Haïm, 1944-2024
出版事項: (1999)

Algorithmique et programmation en Java : cours et exercices corrigés
著者:: Granet, Vincent, 1959-
出版事項: (2014)

Analyse fonctionnelle appliquée
著者:: Choulli, Mourad, 1962-
出版事項: (2023)

Programmation logique par contraintes
著者:: Fages, François, 1959-
出版事項: (1996)

Introduction à l'algorithmique et à la programmation en Pascal : cours et exercices corrigés
著者:: Cousot, Patrick, 1948-...., informaticien
出版事項: (1987)

Programmation en Python pour les mathématiques
著者:: Casamayou-Boucau, Alexandre, 19..-, 等
出版事項: (2022)

Programmation en Python pour les mathématiques
著者:: Casamayou-Boucau, Alexandre, 19..-, 等
出版事項: (2022)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales