Logic synthesis and verifications algorithms

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Hochtel,Gray D.
Eará dahkkit: Somenzi,Fabio
Giella:eaŋgalasgiella
Almmustuhtton: Springer 2006
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

MEGHNAD SAHA INSTITUTE OF TECHNOLOGY: General stacks

oažžasuvvan: MEGHNAD SAHA INSTITUTE OF TECHNOLOGY: General stacks
Hildobáiki: 006.3 H118
Njađus 1 Oažžumis Daga várrema
Njađus 2 Oažžumis Daga várrema
Njađus 3 Oažžumis Daga várrema
Njađus 4 Oažžumis Daga várrema
Njađus 5 Oažžumis Daga várrema