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 68Q10 101 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

Calcul formel et paralleéisme, l'architecture du système pac et son arithmétique rationnelle Roch, Jean-Louis | Institut National Polytechnique De Grenoble 1989

Thèse

- 192 p.
Cote : 00013281
arithmétique # calcul formel # division d'entiers # parallélisme # pgcd d'entiers # polynômes # précision infinie # système de calcul formel # vectorisation

68Mxx ; 68Q10 ; 68Qxx

Localisation : Ouvrage RdC (ROCH)

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

Concur '91 :
2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 Baeten, J. C. M. ; Groote, J. F. | Springer-Verlag 1991

Congrès

- 540 p.
Cote : 00014025
constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications

68N05 ; 68N15 ; 68Q10 ; 68Q60

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

Real-time :
REX workshop#June 3-7 De Bakker, J.W. ; De Roever, W. P. ; Huizing, C. ; Rozenberg, G. | Springer-Verlag 1992

Congrès

- 723 p.
Cote : 00015255
calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel

68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx

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

The impact of vector and parallel architectures on the Gaussian elimination algorithm Robert, Yves | Halsted Press ; Manchester University Press 1990

Ouvrage

- 194 p.
Cote : 00016153
algorithme # algorithme distribué # algorithmique # architecture parallèle # calcul

68Q10 ; 68Q22

Localisation : Ouvrage RdC (ROBE)

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

Trees in algebra and programming-CAAP '94 :
19th international colloquium trees in algebra and programming-CAAP '94#April 11-13 Tison, Sophie | Springer-Verlag 1994

Congrès

- 351 p.
Cote : 00017369
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # transducteur d'arbres[-]
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # tr...[+]

68P05 ; 68Q10 ; 68Qxx ; 68R10

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

Logique et complexité Lassaigne, Richard ; De Rougemont, Michel | Hermes 1996

Ouvrage

- 322 p.
Cote : 00019725
approximation # calcul parallèle # classe de complexité # classe probabiliste # complexité # complexité en espace # définissabilité # définissabilité de Beth # définition explicite # définition implicite # définition inductive # interpolation de Craig # jeux d'Ehrenfeucht- Fraissé # logique # logique du second ordre # logique et calculabilité # loi 0-1 # structure finie # structure relationnelle # temps et espace # test de Los-Vaugt

03C40 ; 03D15 ; 03D70 ; 68N17 ; 68Q10

Localisation : Ouvrage RdC (LASS)

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

Models of massive parallelism :
analysis of cellular automata and neural networks Garzon, Max | Springer 1995

Ouvrage

- 266 p.
Cote : 00021537
analyse d'automate cellulaire # calcul en parallèle # informatique théorique # réseau neuronal # traitement parallèle

68Q10 ; 68Q68 ; 68Q80

Localisation : Ouvrage RdC (GARZ)

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

STACS 93 :
10th annual symposium on theoretical aspects of computer science#Feb. 25-27 Enjalbert, P. ; Finkel, A. ; Wagner, K.W. | Springer-Verlag 1993

Congrès

- 723 p.
Cote : 00021718
algorithme efficient # analyse numérique # arithmétique de l'informatique # calcul distribué # calcul informatique # calcul parallèle # calcul réparti # complexité de calcul informatique # conception logique # géométrie de l'informatique # informatique théorique # logique # mathématique discrète # sous-algorithmique # structure logique # système d'exploitation # technique de programmation # théorie des automates # théorie du langage

68N05 ; 68N25 ; 68Q10 ; 68Q22 ; 68Q68

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

Combinatorics on traces Diekert, Volker | Springer-Verlag 1990

Ouvrage

- 164 p.
Cote : 00022074
algorithmique de graphe # combinatoire # générateur # informatique théorique # mode de calcul # problème de mots # relation # réécriture des systèmes # semi-groupe libre # théorie des graphes

05C85 ; 20M05 ; 68Q10 ; 68Q42 ; 68R15

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

Networks in distributed computing :
Dimacs workshop held at rutgers university#Oct. 27-29 Mavronicolas, Marios ; Merritt, Michael ; Shavit, Nir | American Mathematical Society 1999

Congrès

- 160 p.
Cote : 00022132
algorithme # analyse # application # combinatoire # cryptographie # graphe # industrie # mathématique appliquée # mobile # passage # protocole réseau # réseau ATM # réseau de communication # réseau radio # système distribué # théorie des graphes # traitement des données # électronique

05C05 ; 05C10 ; 05C38 ; 05C85 ; 05C90 ; 68M07 ; 68M10 ; 68M20 ; 68Q05 ; 68Q10

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