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

ETUDE DE L'APPLICATION DU MODELE CSP A LA DESCRIPTION DES PROTOCOLES DE COMMUNICATION.

S.L. : CNRS IMAG, 1983

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

THEORY (A) OF COMMUNICATING SEQUENTIAL PROCESSES.

S.L. : s.n., 1981

Voir les exemplaires

3
Contribution à l'étude du raisonnement temporel : intégration des informations qualitatives et quantitatives et propagation de contraintes
Material Type:
Thèse
Ajouter à Mon espace

Contribution à l'étude du raisonnement temporel : intégration des informations qualitatives et quantitatives et propagation de contraintes

S.L. : s.n., 1992

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

COMMUNICATING SEQUENTIAL PROCESSES.

New York : ACM, 1978

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

The first World congress on formal methods in the development of computing systems (FM'99) : special issue

New York : IEEE Computer society, 2000

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

COMPARAISON DES LANGAGES ADA ET CSP.

S.L. : s.n., 1981

Voir les exemplaires

7
Material Type:
Thèse
Ajouter à Mon espace

Application des langages infinitaires à l'étude du langage C.S.P. de C.A.R. HOARE

Fauconnier, Hugues ; Université Paris Diderot - Paris 7

S.l. : s.n., 1982

Voir les exemplaires

8
Material Type:
Thèse
Ajouter à Mon espace

Intégration des paradigmes de programmation parallèle, fonctionnelle et impérative : fondements sémantiques

Orsay FRA : UNIV.PARIS 11, 1994

Voir les exemplaires

9
MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS.
Material Type:
Livre
Ajouter à Mon espace

MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS.

Berlin Heidelberg : Springer, 1990

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

THEORY (A) OF COMMUNICATING SEQUENTIAL PROCESSES.

S.L. : s.n., 1983

Voir les exemplaires

11
The origin of concurrent programming : from semaphores to remote procedure calls
Material Type:
Livre
Ajouter à Mon espace

The origin of concurrent programming : from semaphores to remote procedure calls

Brinch Hansen, Per (1938-)

New York : Springer, 2002

Voir les exemplaires

12
Material Type:
Versions multiples

Communicating sequential processes

Hoare, Charles Antony Richard (1934-....)

Plusieurs versions trouvées
Il y a 2 versions

13
Portable programs for parallel processors
Material Type:
Livre
Ajouter à Mon espace

Portable programs for parallel processors

PARIS : Larousse, 1987

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

ETUDE COMPARATIVE DE CERTAINS CONCEPTS DU PARALLELISME.

S.L. : s.n., 1982

Voir les exemplaires

15
Material Type:
Versions multiples

Algorithmes distribués et protocoles

Raynal, Michel, informaticien (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

16
Material Type:
Livre
Ajouter à Mon espace

DISTRIBUTED COMPUTING SYSTEMS.

S.L. : COMPUTER SOCIETY PRESS, 1981

Voir les exemplaires

17
Automata, languages and programming : 10th Colloquium, Barcelona, Spain, July 18-22, 1983 the European Association for Theoretical Computer Science (EATCS)
Material Type:
Livre
Ajouter à Mon espace

Automata, languages and programming : 10th Colloquium, Barcelona, Spain, July 18-22, 1983 the European Association for Theoretical Computer Science (EATCS)

Diaz, Josep ; International colloquium on automata, languages and programming International colloquium on automata, languages and programming 10 1983 Barcelona, Spain

Berlin New York Paris : Springer, 1983

Voir les exemplaires

18
CONTROL FLOW AND DATA FLOW : CONCEPTS OF DISTRIBUTED PROGRAMMING
Material Type:
Livre
Ajouter à Mon espace

CONTROL FLOW AND DATA FLOW : CONCEPTS OF DISTRIBUTED PROGRAMMING

Berlin, Heidelberg : Springer, 1986

Voir les exemplaires

19
Material Type:
Livre
Ajouter à Mon espace

Informatique théorique : séminaire d'informatique théorique, année 1984-1985

Séminaire d'Informatique Théorique Séminaire d'Informatique Théorique Paris, France 1984-1985 ; Laboratoire informatique théorique et programmation France ; Université de Paris VII UER de mathématiques ; Centre national de la recherche scientifique France

Paris : LITP, 1985

Voir les exemplaires

20
Material Type:
Livre
Ajouter à Mon espace

COLLOGUE C3.

Angoulême : A. Arnold, 1985

Voir les exemplaires

Résultats 1 2 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Documents et objets physiques (30)
  2. Disponible (1)

Affiner les résultats

Type de ressource 

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

Date de publication 

À partir de jusqu'à
  1. Avant 1982  (5)
  2. 1982 à 1984  (9)
  3. 1985 à 1986  (6)
  4. 1987 à 1991  (5)
  5. Après 1991  (6)
  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é