m

F Nous contacter

0

Documents  68C01 | enregistrements trouvés : 5

O
     

-A +A

P Q

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


ISBN 978-0-89838-173-3

Localisation : Bibliothèque de Jussieu

calcul formel # gestion des donnees # traitemt des donnees

68C01 ; 68Pxx

... Lire [+]

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

- 164 p.
ISBN 978-90-6196-177-2

Mathematical centre tracts , 0109

Localisation : Collection 1er étage

analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

... Lire [+]

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

- 317 p.
ISBN 978-90-6196-200-7

Mathematical centre tracts , 0127

Localisation : Collection 1er étage

calcul algébrique # calcul symbolique # informatique théorique # logique combinatoire # logique de programmation # logique symbolique # système formel

03B40 ; 68C01 ; 68C20

... Lire [+]

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

- 147 p.
ISBN 978-3-540-09987-1

Lecture notes in computer science , 0082

Localisation : Collection 1er étage

calcul # langage formel # logique # outil mathématique de l'informatique # programmation # théorie des nombres

68B10 ; 68C01

... Lire [+]

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

- 166 p.

Thèse d'état

Localisation : Ouvrage RdC (PANS)

20M05 ; 68C01 ; 68C05 ; 68D90 ; 68F10

... Lire [+]

Z