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
Material Type:
Livre
Ajouter à Mon espace

Séminaire d'Informatique Théorique. ANNEE 1985-1986

S.L. : s.n., 1986

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

THE BYZANTINE GENERALS PROBLEM.

New York : ACM, 1982

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

PARALLELISATION SEMANTIQUE.

S.L. : s.n., 1988

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

APPLICATIONS OF FORMAL METHODS : DEVELOPING VIRTUOSO SOFTWARE.(Special Issue)

New York : IEEE, 1990

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Attributed term induction : A Proof principle for attribute grammars

Müchen : s.n., 1994

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

FUNKTIONALE MODELLIERUNG EINES POSTSYSTEMS.

S.L. : s.n., 1991

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

MULTIPROCESSOR SCHEDULING OF UNIT-TIME JOBS WITH ARBITRARY RELEASE TIMES AND DEADLINES.

Philadelphia : SIAM, 1983

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

Full abstraction for sequential languages : the state of the art

Berry, Gérard (1948-....) ; Curien, Pierre-Louis ; Lévy, Jean-Jacques

Le Chesnay : INRIA, 1983

Voir les exemplaires

9
Groupes finis et monoïdes syntaxiques
Material Type:
Thèse
Ajouter à Mon espace

Groupes finis et monoïdes syntaxiques

Rindone, Giuseppina

S.l., 1983

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

FORMAL SEMANTICS OF PROGRAMMING LANGUAGES:VDL.

NewYork : IBM, 1981

Voir les exemplaires

11
Material Type:
Livre
Ajouter à Mon espace

COMPUTATIONAL SEMANTICS OF TERMS REWRITING SYSTEMS.

ROCQUENCOURT : INRIA, 1983

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

ON SCHEDULING TASKS WITH EXPONENTIAL SERVICE TIMES AND IN-TREE PRECEDENCE CONSTRAINTS.

Berlin Heidelberg : Springer, 1985

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

List schedules for cyclic scheduling

Paris : s.n., 1996

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

The complexity of the boundedness, coverability, and selfcoverability problems for commutative semigroups

München : Technische Universität München, 1995

Voir les exemplaires

15
Material Type:
Thèse
Ajouter à Mon espace

Méthode exacte pour les problèmes d'ordonnancement avec délais de communication

Paris : Université Paris VI Pierre & Marie-Curie, 1997

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

Another facet of LIG parsing (extended version) : Thème 3 - Interaction homme-machine, images, données, connaissnces Projet Atoll

RoquencourtFRA : INRIA, 1996

Voir les exemplaires

17
Material Type:
Livre
Ajouter à Mon espace

THE STRUCTURE OF PERIODIC STORAGE SCHEMES FOR PARALLEL MEMORIES.

New York : IEEE, 1985

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

Tiling with squares and square-tileable surfaces

Lyon : Ecole normale supérieure de Lyon, 1993

Voir les exemplaires

19
Material Type:
Thèse
Ajouter à Mon espace

Contributions à l'étude et à la résolution de problèmes d'ordonnancement disjonctif

Sourd, Francis ; Chrétienne, Philippe (1947-....) ; Université Pierre et Marie Curie Paris

S. l. : s. n., 2000

Voir les exemplaires

20
Material Type:
Livre
Ajouter à Mon espace

MICROPROGRAMMING.

BOULAYE, Guy G. ; Mermet, Jean P.

Paris : Hermann, 1972

Voir les exemplaires

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (55)

Affiner les résultats

Type de ressource 

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

Date de publication 

À partir de jusqu'à
  1. Avant 1968  (39)
  2. 1968 à 1977  (85)
  3. 1978 à 1987  (452)
  4. 1988 à 1998  (437)
  5. Après 1998  (104)
  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é