skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

GENERALIZATION (A) OF DIJKSTRA'S CALCULUS.

PALO-ALTO : DIGITAL, 1987

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

WIN AND SIN : PREDICATE TRANFORMERS FOR CONCURRENCY

PALO-ALTO : DIGITAL, 1987

Voir les exemplaires

3
SCIENCE (THE) OF PROGRAMMING.
Material Type:
Livre
Ajouter à Mon espace

SCIENCE (THE) OF PROGRAMMING.

Berlin, Heidelberg : Springer, 1981

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

CAN FAIR CHOICE BE ADDED TO DIJKSTRA'S CALCULUS?.

PALO-ALTO : DIGITAL, 1989

Voir les exemplaires  et autres localisations

5
Material Type:
Livre
Ajouter à Mon espace

RAPPORT DE DEA.

S.L. : s.n., 1982

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

Les fondements logiques des mathématiques

Beth, E.W.

Louvain., 1955

Disponible

7
Le champ sémiologique : perspectives internationales
Material Type:
Livre
Ajouter à Mon espace

Le champ sémiologique : perspectives internationales

Helbo, André

Bruxelles : Editions Complexe, 1979

Disponible

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Date de publication 

À partir de jusqu'à
  1. Avant 1979  (1)
  2. 1979 à 1980  (1)
  3. 1981 à 1981  (1)
  4. 1982 à 1987  (3)
  5. Après 1987  (1)
  6. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Helbo, A
  2. Beth, E

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é