m

Documents  Böhm, C. | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 508 p.
ISBN 978-3-540-08860-8

Lecture notes in computer science , 0062

Localisation : Collection 1er étage

combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX ; 68N15 ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 364 p.
ISBN 978-3-540-10828-3

Lecture notes in computer science , 0112

Localisation : Collection 1er étage

algèbre # arbres # grammaire # programmation

68B15 ; 68E10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 370 p.
ISBN 978-3-540-07416-8

Lecture notes in computer science , 0037

Localisation : Collection 1er étage

calcul lambda # sémantique des langages programmation # théorème de Church-Rosser # logique combinatoire

00Bxx ; 03-06

... Lire [+]

Z