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.
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 [+]
