Okładka

Summary goes here

Zapisane w:
Opis bibliograficzny
Format: Książka
Język:angielski
Hasła przedmiotowe:
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.
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Opis
Streszczenie:Summary goes here
Deskrypcja:General Notes
Opis fizyczny:1 online resource (xii, 412 pages) :illustrations
ISBN:9783540320302
354032030X
3540291059
9783540291053
1281391344
9781281391346