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

Fifth generation computer systems 1984
proceedings of the international conference on...
Nov. 6-9 | North-Holland ; Ohmsha Ltd 1984

Congrès


Cote : 00009647
Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini

68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx

Localisation : Colloque 1er étage (TOKY)

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 fifth generation challenge
proceedings of the association for computational machinery 1984,annual conference acm'84,san francisco, california,8-14 oct.,1984 Pottmer, J. J. | North-Holland 1984

Congrès


Cote : 00009649

68-02 ; 68Mxx ; 68Nxx

Localisation : Colloque 1er étage (SAN)

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

Formalization of programming concepts :
proceedings of the international colloquium on...#April 19-16 Diaz, J. ; Ramos, I. | Springer-Verlag 1981

Congrès

- 478 p.
Cote : 00013859
informatique théorique # langage de programmation # programmation # structure de données # techniques de programmation # théorie de la programmation

68-02 ; 68A05 ; 68A30

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

Foundations of software technology and theoretical computer science :
fifth conference#Dec. 16-18 Maheshwari, S. N. | Springer-Verlag 1985

Congrès

- 521 p.
Cote : 00013424
algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme

68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 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

Automata, languages, and programming :
19th international colloquium#July 13-17 Kuich, W. | Springer-Verlag 1992

Congrès

- 719 p.
Cote : 00015257
algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 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

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

Logique réduction, résolution Lalement, René ; Demazure, Michel | Masson 1990

Ouvrage

- 370 p.
Cote : 00017455
algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution

03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17

Localisation : Ouvrage RdC (LALE)

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