En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 68M14 8 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Tools and algorithms for the construction and analysis of systems:
6th international workshop, TACAS2000#March27-31 held as part of the ETAPS2000#March25-April2 Graf, S. ; Schwartzbach, M. | Springer-Verlag 2000

Congrès

- 552p.
Cote : 00029987
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Robust communication networks :
interconnection and survivability#papers from the DIMACS Workshop held at Rutgers University#Nov. 18-20 Dean, Nathaniel ; Hsu, D. Frank ; Ravi, R. | American Mathematical Society 2000

Congrès

- 167 p.
Cote : 00023860
nformatique # réseau informatique # combinatoire # réseau de communication # organisation des systèmes informatiques # construction de réseau

68-06 ; 68M10 ; 68M15 ; 68R05 ; 68R10 ; 68M14 ; 68W10 ; 68W15 ; 68W20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Self-stabilization Dolev, Shlomi | Mit Press 2000

Ouvrage

- 195 p.
Cote : 00025889
auto-stabilisation # informatique # algorithme # stabiliseur # convergence # algorithme distribué # réseau # système distribué

93D21 ; 68M14 ; 93-XX

Localisation : Ouvrage RdC (DOLE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Book of abstracts :
new trends in scheduling for parallel and distributed systems#CIRM#Oct. 1-5 Blasewicz, Jacek ; Coffman, Ed. ; Ecker, Klaus ; Trystram, Denis | S.N. 2001

Congrès


Cote : 00025882
système parallèle # système distribué # ordonnancement

68M14 ; 65Y05 ; 68Q10

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Tools and algorithms for the construction and analysis of systems:
first international workshop, TACAS'95#May19-20 Brinksma, E. ; Cleaveland, W. R. ; Larsen, K. G. ; Margaria, T. ; Steffen, B. | Springer-Verlag 1995

Congrès

- 289p.
Cote : 00029983
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Tools and algorithms for the construction and analysis of systems:
second international workshop, TACAS'96#March27-29 Margaria, T. ; Steffen, B. | Springer-Verlag 1996

Congrès

- 434p.
Cote : 00029984
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68N30 ; 68Q85 ; 68W15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Tools and algorithms for the construction and analysis of systems:
third international workshop, TACAS'97#April2-4 Brinksma, E. | Springer-Verlag 1997

Congrès

- 431p.
Cote : 00029985
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Tools and algorithms for the construction and analysis of systems:
5th international workshop, TACAS'99#March22-25 held as part of the ETAPS'99#March22-28 Cleaveland, W. R. | Springer-Verlag 1999

Congrès

- 443p.
Cote : 00029986
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue