Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 567 p.
Cote : 00013817
conception assistée par ordinateur # programmation # specification de programme
68-02 ; 68A05 ; 68A30 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 267 p.
Cote : 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
Localisation : Ouvrage RdC (PYST)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 301 p.
Cote : 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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 232 p.
Cote : 00010510
68-06 ; 68B10 ; 68B20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 300 p.
Cote : 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
Localisation : Ouvrage RdC (CHEV)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 217 p.
Cote : 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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 398 p.
Cote : 00013916
langage de requète # programmation parallèle # spécification # vérification de programme
68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 278 p.
Cote : 00013971
algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation
68N17 ; 68Q25
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 197 p.
Cote : 00013417
implementation # langage de description # langage portal # portal # standard des langages de programmation # structure de programme
68N15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 781 p.
Cote : 00014298
conclog # parallèle # programmation logic # prolog
68N05
Localisation : Collection 1er étage
English