Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 719 p.
ISBN 978-3-540-55719-7
Lecture notes in computer science , 0623
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 p.
ISBN 978-0-387-13716-2
Eatcs monographs on theoretical computer science , 0005
Localisation : Ouvrage RdC (KUIC);Réserve
algèbre linéaire # informatique théorique # langage # langage formel
68A25 ; 68D30 ; 68DXX ; 68F05
... Lire [+]