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 Kuich, W. 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00010594
algèbre linéaire # informatique théorique # langage # langage formel

68A25 ; 68D30 ; 68DXX ; 68F05

Localisation : Ouvrage RdC (KUIC);Réserve

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 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 Signaler une erreur

Filtrer

Type
Auteurs
Langue