m

Documents  Kozen, Dexter | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 431 p.
ISBN 978-3-540-12896-0

Lecture notes in computer science , 0164

Localisation : Collection 1er étage

68B10 ; 68B15 ; 68B45 ; 68N15 ; 68Nxx

... Lire [+]

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

- 429 p.
ISBN 978-3-540-11212-9

Lecture notes in computer science , 0131

Localisation : Collection 1er étage

logique de programmation # logique mathématiques # programme

68Q45 ; 68Q55 ; 68S10 ; 68SXX

... Lire [+]

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

- 400 p.
ISBN 978-0-387-94907-9

Undergraduate texts in computer science

Localisation : Ouvrage RdC (KOZE)

automate # calcul # calculateur # machine de Turing

68Q05 ; 69-01

... Lire [+]

Z