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 D.1 50 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

Third international conference on logic programming :
proceedings at imperial college of science and technology#July 14-18 Shapiro, Ehud | Springer-Verlag 1986

Congrès

- 720 p.
Cote : 00011524
algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique

68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX

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

Caap '83 :
trees in algebra and programming,8th colloquium,l'aquila#March 9-11 Ausiello, G. ; Protasi, M. | Springer-Verlag 1983

Congrès

- 416 p.
Cote : 00013877
algèbre # algorithme # arbre # langage de programmation # programmation # programme # représentation de données # structure des données # techniques de programmation

68Nxx ; 68Q40 ; 68Q42 ; 68Qxx

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

Transputer applications Harp, Gordon | Pitman 1989

Ouvrage

- 237 p.
Cote : 00013752
architecture parallèle # gestion des systèmes informatiques # processeur en parallèle # programmation parallèle # réseaux # système informatique # traitement parallèle # transputer

68M10 ; 68Q22 ; 68Q30

Localisation : Ouvrage RdC (Tran)

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 art of computer programming. Vol. 1 :
fundamental algorithms Knuth, Donald E. | Addison-Wesley Publishing Company 1969

Ouvrage

- 634 p.
Cote : 00037190
algorithme # arbre # liste linéaire # programmation # théorie des nombres élémentaires

11B39 ; 11B68 ; 68N05 ; 68P05

Localisation : Ouvrage RdC (KNUT)

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

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

Automata, languages and programming :
21th international colloquium, ICALP 94#July 11-14 Abiteboul, Serge ; Shamir, Eli | Springer-Verlag 1994

Congrès

- 782 p.
Cote : 00021722
algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # logique # mathématique discrète # réseau d'interconnection # réécriture des systèmes # structure des données # sémantique # technique de programmation # vérification de programme[-]
algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # ...[+]

68P05 ; 68Pxx ; 68Q25 ; 68Q68 ; 68Q80

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

Théorie des programmes :
shcémas, preuves, sémantique Livercy, C. ; Pair, C. | Bordas 1978

Ouvrage

- 328 p.
Cote : 00009248
théorie des programmes # schéma # preuve # sémantique

68N15

Localisation : Ouvrage RdC (LIVE)

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

Topics in several complex variables
workshop on... was held in the centro vacacional "la trinidad",santa cruz,tlax cala,mexico,aug. 15-19,1983 Arsac, Jacques | Bordas 1985

Ouvrage


Cote : 00009249

68N05

Localisation : Disparu

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

Programmer's problem solver for the ibm pc,xt,& at Jourdain, Robert | Brady Book ; Prentice Hall Press 1985

Ouvrage


Cote : 00010699
intelligence artificielle # programmation

68T20

Localisation : Disparu

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