Documents  03-04 | enregistrements trouvés : 5

- 637 p.
ISBN 978-0-387-12044-7

Localisation : Ouvrage RdC (Auto)

03-04 ; 03B35 ; 03Bxx ; 03Cxx ; 03D05

... Lire [+]

- 314 p.
ISBN 978-0-12-362680-6

Localisation : Ouvrage RdC (HURS)

03-04 ; 03Gxx ; 68Qxx

... Lire [+]

- 120 p.
ISBN 978-90-6196-147-5

Mathematical centre tracts , 0083

Localisation : Collection 1er étage

axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement

03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05

... Lire [+]

- viii; 233 p.
ISBN 978-0-471-90322-2

Wiley-Teubner series in computer science

Localisation : Ouvrage RdC (KEMP)

algorithmique # algorithme # informatique # analyse d'algorithme # permutation # marche aléatoire # structure de données # asymptote # complexité # language de Dyck

68Q25 ; 05-04 ; 03D15 ; 05A15 ; 03-04 ; 60G50

... Lire [+]