Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 723 p.
Call n° : 00015255
calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel
68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 457 p.
Call n° : 00015260
arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog
68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 506 p.
Call n° : 00015261
calcul par dispositif abstraits # fondement mathématique de la sémantique de programmation # langage de programmat ion # lo gique mathématique et langage formel # logique et signification des programmes
68-06 ; 68N15 ; 68Q45 ; 68Q55 ; 68S05
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 406 p.
Call n° : 00018832
3- colorabilité # NC algorithme pour approche de problème NP- dur # VC-dimension pour graphe # base de données à relation d'entité # croissance méristématique # décomposition modulaire d'hypergraphe # feuille défectueuse en arbre binaire # forêt induite # graphe acyclique # graphe cordal # graphe de chemin diamétral # graphe de clique # graphe de permutation # graphe en essaim incrémental # graphe ordonnable homogénément # graphe plongé sur surface # informatique et théorie des graphes # isomorphisme de graphes # mailles de dimension 2 et 3 # malléabilité # reconnaissance de graphe de droites # réécriture de graphe # schéma de routage # sous-graphe induit # structure de données compactes
[-] 3- colorabilité # NC algorithme pour approche de problème NP- dur # VC-dimension pour graphe # base de données à relation d'entité # croissance méristématique # décomposition modulaire d'hypergraphe # feuille défectueuse en arbre binaire # forêt induite # graphe acyclique # graphe cordal # graphe de chemin diamétral # graphe de clique # graphe de permutation # graphe en essaim incrémental # graphe ordonnable homogénément # graphe plongé sur ...
[+] 05-06 ; 05Cxx ; 68Rxx
Location : Collection 1er étage
Français