skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A course in convexity
Material Type:
Livre
Ajouter à Mon espace

A course in convexity

Barvinok, Alexander (1963-....)

Providence, Rhode Island : American mathematical society, 2002

Voir les exemplaires

2
Material Type:
Thèse
Ajouter à Mon espace

A synchronous functional language with integer clocks

Guatto, Adrien (1987-....) ; Cohen, Albert Henri (1973-....) ; Pouzet, Marc ; Berry, Gérard (1948-....) ; Sheeran, Mary ; Simone, Robert de (1957-....) ; Edwards, Stephen A. (1970-....) ; Ghica, Dan ; Duranton, Marc ; Mandel, Louis (1978-....) ; Université de Recherche Paris Sciences et Lettres - PSL Research University ; École doctorale de Sciences mathématiques de Paris Centre, Paris ; École normale supérieure, Paris 1985-.... ; École normale supérieure, Département d'informatique, Paris ; 1985-....

2016

Accessible en ligne. Accessible en version papier

3
Abstract data types in standard ML.
Material Type:
Livre
Ajouter à Mon espace

Abstract data types in standard ML.

Harrison, Rachel.

Chichester New York NY Brisbane : J. Wiley, 1993

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROFFS.

New York : ACM, 1983

Voir les exemplaires

5
Material Type:
Versions multiples

Abstraction and specification in program development

Liskov, Barbara ; Guttag, John

Plusieurs versions trouvées
Il y a 2 versions

6
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)

7
Material Type:
Versions multiples

Annual ACM symposium on principles of programming languages : proceedings ..

ACM Symposium on principles of programming languages 16 1989 Austin, TX.

Plusieurs versions trouvées
Il y a 3 versions

8
Material Type:
Livre
Ajouter à Mon espace

APPLICATION (AN) ANALYZER.

Ambrosetti, R. ; Ciriani, Tito A. ; Pennacchi, R.

Armonk : IBM, 1984

Voir les exemplaires(Obtenir)

9
Applicative high order programming : the standard ML perspective
Material Type:
Livre
Ajouter à Mon espace

Applicative high order programming : the standard ML perspective

Sokołowski, S. Stefan

London : Chapman & Hall Computing, 1991

Voir les exemplaires(Obtenir)

10
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. ; Filliâtre, Jean-Christophe.

Paris : Eyrolles, 2014

Voir les exemplaires(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
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)

13
Material Type:
Versions multiples

Approche fonctionnelle de la programmation

Cousineau, Guy ; Mauny, Michel

Plusieurs versions trouvées
Il y a 2 versions

14
Automata, languages and programming : ICALP' 91 proceedings ..
Material Type:
Acte de conférence
Ajouter à Mon espace

Automata, languages and programming : ICALP' 91 proceedings ..

International Colloquium on Automata, Languages, and Programming 018 Madrid 1991. ; Albert, Javier Leach ; Monien, Burkhard ; Artalejo, Mario Rodriguez

Berlin New York NY London Paris : Springer, 1991

Voir les exemplaires(Obtenir)

15
Material Type:
Versions multiples

Categorical combinators, sequential algorithms, and functional programming

Curien, Pierre-Louis

Plusieurs versions trouvées
Il y a 3 versions

16
Combinators and functional programming languages : proceedings
Material Type:
Livre
Ajouter à Mon espace

Combinators and functional programming languages : proceedings

École de printemps d'informatique théorique 13 1985 Le Val-d'Ajol, Vosges. ; Cousineau, Guy ; Curien, Pierre-Louis ; Robinet, Bernard (1941-2009)

Berlin Heidelberg Paris etc. : Springer-Verlag, 1986

Voir les exemplaires(Obtenir)

17
Material Type:
Thèse
Ajouter à Mon espace

Compilation des langages fonctionnels dans les combinateurs catégoriques : application au langage ML

Mauny, Michel ; Université Paris Diderot - Paris 7

S.l. : s.n., 1985

Voir les exemplaires(Obtenir)

18
Material Type:
Livre
Ajouter à Mon espace

Compilation of functional languages by program transformation

Fradet, Pascal (1963-....) ; Le Métayer, Daniel

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989

Voir les exemplaires(Obtenir)

19
Material Type:
Livre
Ajouter à Mon espace

COMPILATION OF NONPROCEDURAL SPECIFICATIONS INTO COMPUTER PROGRAMS.

S.L. : s.n., 1981

Voir les exemplaires(Obtenir)

20
Computer-aided specification techniques
Material Type:
Livre
Ajouter à Mon espace

Computer-aided specification techniques

Demetrovics, János ; Knuth, E. (1943-) ; Radó, Péter

Singapore : World Scientific, 1985

Voir les exemplaires(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. Actes de conférence  (9)
  2. Livres  (123)
  3. Thèses  (12)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1985  (20)
  2. 1985 à 1991  (54)
  3. 1992 à 1998  (37)
  4. 1999 à 2007  (17)
  5. Après 2007  (16)
  6. Plus d’options open sub menu

Langue 

  1. Anglais  (100)
  2. Français  (43)
  3. 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é