Kansikuva

Summary goes here

Tallennettuna:
Bibliografiset tiedot
Aineistotyyppi: Kirja
Kieli:englanti
Aiheet:
Integrated circuits
Artificial intelligence.
Computer-aided design.
Electronic Data Processing
Artificial Intelligence
Computer-Aided Design
Circuits intégrés à très grande échelle
Circuits intégrés
Intelligence artificielle.
Conception assistée par ordinateur.
artificial intelligence.
computer-aided designs (visual works)
computer-aided design (process)
TECHNOLOGY & ENGINEERING
COMPUTERS
Informatique.
Circuit intégré à très grande échelle.
Circuit intégré
Vérification formelle.
Essai technique.
Model-checking (Informatique)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Kuvaus
Yhteenveto:Summary goes here
Huomautukset:General Notes
Ulkoasu:1 online resource (xii, 412 pages) :illustrations
ISBN:9783540320302
354032030X
3540291059
9783540291053
1281391344
9781281391346