m

Documents  Smith, S. | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- 265 p.
ISBN 978-0-632-01612-9

Computer science texts

Localisation : Ouvrage RdC (DOWS)

logique formelle # programmation logique

03-01 ; 68Qxx

... Lire [+]

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

- 123 p.
ISBN 978-0-632-01176-6

Computer science texts

Localisation : Ouvrage RdC (RAYW)

langage formel

68Q45

... Lire [+]

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

- 182 p.
ISBN 978-0-632-01307-4

Computer science texts

Localisation : Ouvrage RdC (RAYW)

calculabilité

03-01 ; 03D15 ; 68Qxx

... Lire [+]

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

- 386 p.
ISBN 978-0-8218-3238-7

Translations of mathematical monographs , 0043

Localisation : Collection 1er étage

équation différentielle # stabilité # espace de Banach # opérateur linéaire

34-XX

... Lire [+]

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

- vi, 386 p.

Translations of Mathematical Monographs , 0043

Localisation : Réserve

équation différentielle # stabilité # espace de Banach # opérateur linéaire

34D05 ; 34G05 ; 34C30 ; 47A50

... Lire [+]

Z