Summary goes here
Uloženo v:
| Médium: | Kniha |
|---|---|
| Jazyk: | angličtina |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 8f2c3df2-af4a-4258-802f-bf0092d83d3a |
| isbn | 9783540320302 354032030X 3540291059 9783540291053 1281391344 9781281391346 |
| issn | |
| language | eng |
| physical | 1 online resource (xii, 412 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2005 |
| publishDate | ©2005 |
| subjects | |
| title | Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings / Dominique Borrione, Wolfgang Paul (eds.). |
| topic | Integrated circuits 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 TECHNOLOGY & ENGINEERING COMPUTERS Informatique. Integrated circuits Integrated circuits Circuit intégré à très grande échelle. Conception assistée par ordinateur. 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. |