m

Documents  68W35 | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 269p.
ISBN 978-3-540-56778-3

Lecture notes in computer science , 0683

Localisation : Collection 1er étage

informatique # circuits intégrés # conception formelle # conception assurée par ordinateur # méthode de vérification assistée par ordinateur

00B25 ; 68-06 ; 68W35

... Lire [+]

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

- vii; 244 p.
ISBN 978-0-8218-4956-9

Contemporary mathematics , 0523

Localisation : Collection 1er étage

codes correcteurs d'erreurs # théorie de l'information # géométrie algébrique # cryptographie # codes combinatoires

05B25 ; 94B05 ; 94A60 ; 94B25 ; 05B15 ; 51E14 ; 68W35 ; 94B35 ; 94A05 ; 94-06 ; 00B25

... Lire [+]

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

- 283 p.
ISBN 978-0-8218-3484-8

Contemporary mathematics , 0342

Localisation : Collection 1er étage

théorie des graphes # représentation de graphes # structure géométrique sur des variétés de faible dimension # optimisation combinatoire # problème d'extremum # algorithme VLSI

05C62 ; 57M50 ; 90C27 ; 05C35 ; 68W35

... Lire [+]

Z