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.3.3 35 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

Micro-prolog
programmer en logique Clark, K. L. ; Mc Cabe, F. G. | Editions Eyrolles 1984

Ouvrage


Cote : 00009655
micro-prolog # programmation logique prolog

68N15 ; 68T25

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 en prolog
programmer en logique Clocksin, W. F. ; Mellish, C. S. ; Kruchten , Anne | Editions Eyrolles 1984

Ouvrage


Cote : 00009664
programmation prolog

68N15 ; 68T25

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

Proceedings of the international logic programming conference held in marseille#Sept. 14-17 Van Caneghem, M. | Faculte Des Sciences 1985

Congrès

- 431 p.
Cote : 00010532

68-06 ; 68N15 ; 68T25

Localisation : Colloque 1er étage (MARS)

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

Algol68 transput. Part 1 :
historical review and discussion of the implementation model Van Vliet, J. C. | Mathematisch Centrum 1985

Ouvrage

- 59 p.
Cote : 00010391
algol68 # conception # histoire de l'informatique # système superviseur # traitement

01A99 ; 68-03 ; 68B20

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

Associations and the closure statement Rem, M. | Mathematisch Centrum 1985

Ouvrage

- 115 p.
Cote : 00010377
informatique # langage de programmation # programmation # système informatique

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

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

Seminar on concurrency :
carnegie-mellon university#July 9-11 Brookes, S. D. ; Roscoe, A. W. ; Winskel, G. | Springer-Verlag 1985

Congrès

- 523 p.
Cote : 00013419
algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware

68Q40 ; 68Q60 ; 68Q65

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

Mathematical foudations of computer science 1998 :
proceding of the 13th symposium on ...#Aug. 29 - Sept. 2 Chytil, M. P. ; Janiga, L. ; Koubec, V. | Springer-Verlag 1988

Congrès

- 562 p.
Cote : 00022084
caractéristique sémantique # construction de langage # langage de programmation # langage formel # logique de programmation # logique mathématiques # mathématiques discrètes # théorie des graphes

68N15 ; 68N17 ; 68Q35 ; 68Q45 ; 68R10 ; 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

Advances in data base theory. Vol. 2
workshop held at C.E.R.T.
Dec. 14-17 Gallaire, Herve ; Minker, Jack ; Nicolas, J. M. | Plenum Press 1984

Congrès


Cote : 00007063
base de donnée # conception de schéma de BD # contrainte d'intégrité # cycle et décomposition # information incomplète # langage de questionnement # spéficication formelle # type de donnée abstraite

68GXX

Localisation : Colloque 1er étage (TOUL)

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

Abc algol ,a portable language for formula manipulation systems. Part 1 :
the language Van De Riet, R. P. | Mathematisch Centrum 1985

Ouvrage

- 173 p.
Cote : 00010457
abc algol # calcul symbolique # compatibilité des langages # langage de programmation # transferabilité

68A15

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