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 68W15 9 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

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

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:
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

Approximations paraxiales et conditions aux limites absorbantes. Le problème de l'exclusion mutuelle en algorithmique distribuée : thèse de doctorat d'état ès Sciences mathématiques présentée à l'Université Pierre et Marie Curie - Paris 6 - Halpern, Laurence | Universite Pierre Et Marie Curie 1986

Thèse

- 395 p.
Cote : 00035892
équation aux dérivées partielles # équation d'onde. # problème de valeur aux limites

35Q30 ; 35J55 ; 35L50 ; 68W15

Localisation : Ouvrage RdC (HALP)

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.
y

Variational and optimal control problems on unbounded domains.
A workshop in memory of Arie Leizarowitz
Haifa # January 9-12, 2012 Wolansky, Gershon ; Zaslavski, Alexander J. | American Mathematical Society ; Bar-Ilan University 2014

Congrès

- xvi; 247 p.
Cote : 00038465
équations différentielles # optimisation mathématique # solution optimale # stabilité des systèmes # processus de diffusion

49-06 ; 49Jxx ; 49Kxx ; 49Nxx ; 49J99 ; 93Dxx ; 93E20 ; 34D20 ; 60J60 ; 68W15 ; 90C46 ; 91A05 ; 00B25 ; 34-XX ; 35-XX ; 49-XX ; 60-XX ; 68-XX ; 78-XX ; 90-XX ; 91-XX ; 92-XX ; 93-XX

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:
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:
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
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Trends in theoretical computer science Börger, Egon | Computer Science Press 1988

Ouvrage

- vii; 380 p.
Cote : 00039061
traitement réparti # informatique théorique # base de données # concurrence # algorithme distribué

68-06 ; 68Q15 ; 68Q25 ; 00B25 ; 68Q10 ; 68W15 ; 68Q99

Localisation : Ouvrage RdC (TREN)

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