skip to main content
Filtré par : Afficher: Disponible supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Versions multiples

JFLA 09 : actes des vingtièmes journées francophones des langages applicatifs

Journées francophones des langages applicatifs 20, 2009, Saint-Quentin sur Isère ; Mayero, Micaela (1971-....) ; Schmitt, Alan

Plusieurs versions trouvées
Il y a 2 versions

2
Programmation fonctionnelle en Sheme[sic] : de la conception à la mise en oeuvre
Material Type:
Livre
Ajouter à Mon espace

Programmation fonctionnelle en Sheme[sic] : de la conception à la mise en oeuvre

Hufflen, Jean-Michel ; Jorrand, Philippe

Paris Milan Barcelone : Masson, DL 1996

Disponible(Obtenir)

3
Mise en oeuvre des langages fonctionnels de programmation
Material Type:
Livre
Ajouter à Mon espace

Mise en oeuvre des langages fonctionnels de programmation

Peyton Jones, Simon L

Paris London : Masson Prentice-Hall, 1990

Disponible(Obtenir)

4
Studia Informatica Universalis : JFLA 2011. Vol. 9.2
Material Type:
Livre
Ajouter à Mon espace

Studia Informatica Universalis : JFLA 2011. Vol. 9.2

Journées francophones des langages applicatifs, 22, 2011 22, 2011, [La Bresse, Vosges] ; Institut national de recherche en informatique et en automatique, France

Paris : Hermann, impr. 2011

Disponible(Obtenir)

5
La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul
Material Type:
Livre
Ajouter à Mon espace

La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul

Saint-James, Emmanuel (1956-....)

Paris : Hermès, 1993

Disponible  et autres localisations(Obtenir)

6
Initiation à la programmation de l'analyse numérique : listes et récursivité OCAML-ERLANG
Material Type:
Livre
Ajouter à Mon espace

Initiation à la programmation de l'analyse numérique : listes et récursivité OCAML-ERLANG

Jean-Baptiste, Gérald

Toulouse : Cépaduès, impr. 2012

Disponible(Obtenir)

7
JFLA 2010 : actes des vingt-et-unièmes journées francophones des langages applicatifs
Material Type:
Livre
Ajouter à Mon espace

JFLA 2010 : actes des vingt-et-unièmes journées francophones des langages applicatifs

Journées francophones des langages applicatifs 21, 2010, [Vieux-Port La Ciotat] ; Mayero, Micaela (1971-....) ; Conchon, Sylvain (1972-....)

Paris : Hermann éd., cop. 2010

Disponible(Obtenir)

8
Programmation fonctionnelle : cours + exos corrigés
Material Type:
Livre
Ajouter à Mon espace

Programmation fonctionnelle : cours + exos corrigés

Violard, Eric

Paris : Dunod, DL 2014, cop. 2014

Disponible(Obtenir)

9
Material Type:
Versions multiples

Programming languages : concepts and constructs

Sethi, Ravi

Plusieurs versions trouvées
Il y a 2 versions

10
Apprentissage de la programmation avec OCaml
Material Type:
Livre
Ajouter à Mon espace

Apprentissage de la programmation avec OCaml

Dubois, Catherine, informaticienne ; Ménissier-Morain, Valérie

Paris : Hermès science publ. Lavoisier, DL 2004

Disponible(Obtenir)

11
Apprendre à programmer avec OCaml : algorithmes et structures de données
Material Type:
Livre
Ajouter à Mon espace

Apprendre à programmer avec OCaml : algorithmes et structures de données

Conchon, Sylvain (1972-....) ; Filliâtre, Jean-Christophe (1971-....)

Paris : Eyrolles, DL 2014, cop. 2014

Disponible(Obtenir)

12
Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la compléxité
Material Type:
Livre
Ajouter à Mon espace

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

Carrier, Fabienne (19..) ; Lafourcade, Pascal (1977-....) ; Mounier, Laurent

Paris : Ellipses, DL 2014, cop. 2014

Disponible(Obtenir)

13
Initiation à l'informatique : programmation, algorithmique, architectures
Material Type:
Livre
Ajouter à Mon espace

Initiation à l'informatique : programmation, algorithmique, architectures

Charles, Henri-Pierre

Paris : Eyrolles, DL 1999

Disponible(Obtenir)

14
Tools and notions for program construction : an advanced course
Material Type:
Livre
Ajouter à Mon espace

Tools and notions for program construction : an advanced course

Néel, D.

Cambridge New York : Cambridge University Press, 1982

Disponible  et autres localisations(Obtenir)

15
Material Type:
Thèse
Ajouter à Mon espace

Quelques résultats de symétrie pour des solutions de problèmes de minimisation

Bouguecha, Mohamed (19..-....) ; Esteban Galarza, Maria Jesus (1956-....) ; Université Paris-Dauphine

1999

Disponible(Obtenir)

16
Raisonner pour programmer
Material Type:
Livre
Ajouter à Mon espace

Raisonner pour programmer

Gram, Anna

Paris : Dunod, 1986

Disponible  et autres localisations(Obtenir)

17
Analyse non linéaire : [actes du congrès franco-québecois 22-26 juin 1987, Perpignan] contributions en l'honneur de J.-J. Moreau
Material Type:
Livre
Ajouter à Mon espace

Analyse non linéaire : [actes du congrès franco-québecois 22-26 juin 1987, Perpignan] contributions en l'honneur de J.-J. Moreau

Attouch, Hedy ; Aubin, Jean-Pierre ; Clarke, Frank H. ; Ekeland, Ivar (1944-....) ; Centre de coopération interuniversitaire franco-québécoise ; Université de Perpignan 1971-....

Montréal Paris Paris : Centre de recherches mathématiques, Université de Montréal Gauthier-Villars Bordas, 1989

Disponible  et autres localisations(Obtenir)

18
Material Type:
Thèse
Ajouter à Mon espace

Un point de vue linéaire sur la programmation dynamique : détecteur de ruptures dans le cadre des problèmes de fiabilité

Bellalouna, Faouzi (19..-....) ; Lions, Pierre-Louis (1956-....) ; Université Paris-Dauphine

S.l. : s.n., 1992

Disponible(Obtenir)

19
Conception assistée des applications informatiques. 1. Étude d'opportunité et analyse conceptuelle
Material Type:
Livre
Ajouter à Mon espace

Conception assistée des applications informatiques. 1. Étude d'opportunité et analyse conceptuelle

Bodart, François ; Pigneur, Yves

Paris New York Barcelone : Masson, 1983

Disponible  et autres localisations(Obtenir)

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Livres  (17)
  2. Thèses  (2)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1989  (3)
  2. 1989 à 1992  (4)
  3. 1993 à 2003  (4)
  4. 2004 à 2011  (4)
  5. Après 2011  (4)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré