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.2.1 16 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Abstract software specifications :
proceedings of the copenhagen winter school#Jan. 22 - Feb. 2 Bjorner, D. | Springer-Verlag 1980

Congrès

- 567 p.
Call n° : 00013817
conception assistée par ordinateur # programmation # specification de programme

68-02 ; 68A05 ; 68A30 ; 68Q60

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Compiler design and construction :
tools and techniques with c and Pascal Pyster, Arthur B. | Van Nostrand Reinhold 1988

Ouvrage

- 267 p.
Call n° : 00014221
configuration des systemes informatiques # constr uction des systemes informatiques # design # langage c # langage de programmation # outil de l'informatique # pascal

68N20 ; 68Nxx ; 68Q42 ; 68Q52

Location : Ouvrage RdC (PYST)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Category theory and computer science :
the papers of this volume were presented at the fourth biennal Summer conference on category theory and computer science#Sept. 3-6 Abramsky, S. ; Curien, P. L. ; Pitt, D. H. | Springer-Verlag 1991

Congrès

- 301 p.
Call n° : 00016864
algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste[-]
algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # ...[+]

03D40 ; 18-06 ; 68-06

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proceedings international conference on algol 68 :
rechenzentrum der ruhr-universitat bochum#March 30-31 Van Vliet, J. C. ; Wupper, H. | Mathematisch Centrum 1981

Congrès

- 232 p.
Call n° : 00010510

68-06 ; 68B10 ; 68B20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Deux études de transport urbain
ordonnancement des phases d'un carrefour, modèles desagreges de déplacements dans l'agglomération grenobloise Chevrolet, Dominique | Universite Scientifique Et Medicale De Grenoble 1986

Thèse

- 300 p.
Call n° : 00010045
échantillonnage artificiel # génération des déplacements # méthode heuristique # modèle de transport urbain # modèle desagrege # modèle logit # ordonnancement # prévision # transfert

00A71 ; 68Nxx

Location : Ouvrage RdC (CHEV)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The iota progamming system :
the modular programming environment Nakajima, R. ; Yuasa, T. | Springer-Verlag 1983

Ouvrage

- 217 p.
Call n° : 00013898
constructions et carastéristique de langage # environnements de programmation # exigeneces # ingenierie de logiciels # outils et techniques # processus # specification # vérification de programme # vérification et raisonnement sur les programmes

68N05 ; 68O60 ; 68T15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The analysis of concurrent systems :
proceedings of aworkshop on... held at clare college#Sept. 12-16 Denvir, B. T. ; Harwood, W. T. ; Jackson, M. I. ; Wray, M. J. | Springer-Verlag 1985

Congrès

- 398 p.
Call n° : 00013916
langage de requète # programmation parallèle # spécification # vérification de programme

68Q10

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algebraic and logic programming :
international workshop held in gaussing#Nov. 14-18 Grabowski, J. ; Lescanne, P. ; Wechler, W. | Springer-Verlag 1988

Congrès

- 278 p.
Call n° : 00013971
algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation

68N17 ; 68Q25

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Portal language description Businger, Arnold | Springer-Verlag 1985

Ouvrage

- 197 p.
Call n° : 00013417
implementation # langage de description # langage portal # portal # standard des langages de programmation # structure de programme

68N15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Conclog :
a methodological approach to concurrent logic programming Jacquet, J. M. | Springer-Verlag 1991

Ouvrage

- 781 p.
Call n° : 00014298
conclog # parallèle # programmation logic # prolog

68N05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language