m

Documents  Ehrig, Hartmut | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- 447 p.
ISBN 978-3-540-09525-5

Lecture notes in computer science , 0073

Localisation : Collection 1er étage

logiciels # mathématiques des calcul

68-00 ; 68A30

... Lire [+]

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

- 455 p.
ISBN 978-3-540-15199-9

Lecture notes in computer science , 0186

Localisation : Collection 1er étage

logiciel # logique # progammation logique # programmation # programme

68N05 ; 68N17

... Lire [+]

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

- 266 p.
ISBN 978-3-540-17660-2

Lecture notes in computer science , 0249

Localisation : Collection 1er étage

algorithme # informatique théorique # preuve # spécification algébrique

68Q65

... Lire [+]

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

- 336 p.
ISBN 978-3-540-17611-4

Lecture notes in computer science , 0250

Localisation : Collection 1er étage

algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

68N17 ; 68Nxx

... Lire [+]

Z