Programmation fonctionnelle : :: SCD d'Orléans

Programmation fonctionnelle : spécifications & applications

Programmation fonctionnelle : spécifications & applications

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Couturier, Alain, 1938-, Jean-Baptiste, Gérald (Autor)
Médium:	Livre papier
Jazyk:	Français
Vydáno:	Toulouse : Cépadues DL 2003.
Témata:	Programmation fonctionnelle (informatique) Analyse numérique matricielle > Informatique
Poznámka:	La couv. porte en plus : "Isetl - Clean - Haskell - Poly/ML"
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Approche fonctionnelle des calculs scientifiques : méthodes numériques et applications : langage Python
Autor: Jean-Baptiste, Gérald
Vydáno: (2016)

Mini manuel de programmation fonctionnelle : cours + exos
Autor: Violard, Éric, 19..-
Vydáno: (2014)

Programmation fonctionnelle, générique et objet : une introduction avec le langage OCaml
Autor: Narbel, Philippe, 1963-
Vydáno: (2005)

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
Autor: Tesson, Julien, 1982-
Vydáno: (2011)

Rounding errors in algebraic processes
Autor: Wilkinson, James Hardy, 1919-1986
Vydáno: (1963)

La programmation fonctionnelle : introduction et applications en Haskell à l'usage de l'étudiant et du développeur
Autor: Dehos, Julien, 1983-
Vydáno: (2019)

La programmation fonctionnelle : introduction et applications en Haskell à l'usage de l'étudiant et du développeur
Autor: Dehos, Julien, 1983-
Vydáno: (2019)

Mini manuel de programmation fonctionnelle : cours + exos corrigés
Autor: Violard, Éric, 19..-
Vydáno: (2014)

Sémantique de langages de programmation fonctionnels réactifs avec effets
Autor: Ischard, Jordan, 1998-
Vydáno: (2025)

Génération automatique d'interfaces pour langages fonctionnels
Autor: El Amrani, Younès
Vydáno: (1996)

Computational mathematics : an introduction to numerical analysis and scientific computing with Python
Autor: Mitsotakis, Dimitrios, 19..-
Vydáno: (2023)

Techniques d'optimisation. Optimisation discrète et fonctionnelle
Autor: Cerf, Max, 1967-...., mathématicien
Vydáno: (2022)

La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul
Autor: Saint-James, Emmanuel, 1956-
Vydáno: (1993)

Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité
Autor: Carrier, Fabienne, a další
Vydáno: (2014)

Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
Autor: Accart Hardin, Thérèse, a další
Vydáno: (1992)

Matrix computation for engineers and scientists
Autor: Jennings, Alan
Vydáno: (1980)

Functional programming : application and implementation
Autor: Henderson, Peter
Vydáno: (1980)

Introduction à l'analyse numérique matricielle et à l'optimisation : cours et exercices corrigés
Autor: Ciarlet, Philippe Gaston, 1938-...., mathématicien
Vydáno: (2024)

Direct methods for sparse matrices
Autor: Østerby, Ole, a další

Analyse numérique matricielle
Autor: Amodei, Luca, 19..-, a další

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation
Autor: Pinsard, Thomas, 1984-
Vydáno: (2014)

Java pour les professionnels : outils et méthodes
Autor: Molière, Jérôme
Vydáno: (2023)

Java pour les professionnels : outils et méthodes
Autor: Molière, Jérôme
Vydáno: (2023)

Analyse numérique matricielle appliquée à l'art de l'ingénieur. [Méthodes directes]
Autor: Lascaux, Patrick, 1943-2010, a další
Vydáno: (1993)

Matrix iterative analysis
Autor: Varga, Richard S., 1928-2022
Vydáno: (1962)

Industrialiser le test fonctionnel : pour maîtriser les risques métier et accroître l'efficacité du test
Autor: Legeard, Bruno, 1961-, a další
Vydáno: (2011)

La technique informatique. principes généraux et programmation
Autor: Bestougeff, Hélène, a další
Vydáno: (1975)

Analyse numérique matricielle appliquée à l'art de l'ingénieur.
Autor: Lascaux, Patrick, 1943-2010, a další
Vydáno: (1987)

Analyse numérique matricielle : méthodes et algorithmes, exercices et problèmes corrigés
Autor: Benhamadou, Mongi, 19..-, a další
Vydáno: (2020)

Analyse numérique matricielle : méthodes et algorithmes, exercices et problèmes corrigés
Autor: Benhamadou, Mongi, 19..-, a další
Vydáno: (2020)

Analyse numérique
Autor: Baranger, Jacques, 1940-...., mathématicien
Vydáno: (1991)

Analyse numérique
Autor: Baranger, Jacques, 1940-...., mathématicien
Vydáno: (1991)

Advanced functional programming : Third International School, AFP 98, Braga, Portugal, September 12-19, 1998 : revised lectures

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures

Real world OCaml : functional programming for the masses
Autor: Madhavapeddy, Anil, a další
Vydáno: (2022)

Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15 17, 2002 : proceedings

Functional and logic programming : ; proceedings 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7 9, 2001 : proceedings

© 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