-
Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on formal design methods for computer- aided design, June 1995IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 ; Mexico City, Mexico)Vrsta gradiva - knjigaZaložništvo in izdelava - London [etc.] : Chapman & Hall, cop. 1996Jezik - angleškiISBN - 0-412-72710-2COBISS.SI-ID - 2865435
Avtor
Claesen, Luc J. M. |
IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design
Drugi avtorji
Gero, John S. |
Sudweeks, Fay
Teme
mikroračunalniki |
mikroelektronika |
računalniška arhitektura |
VLSI |
integirirano vezje |
zelo visoke integracije |
kongresi |
CAD |
metode konstruiranja |
algoritmi |
kriteriji konstruiranja |
analize konstruiranja |
modeli konstruiranja
Rezervirajte gradivo na želenem mestu prevzema.
Mesto prevzema |
Status gradiva | Rezervacija |
---|---|---|
Fakulteta za strojništvo, Ljubljana |
prosto - na dom, čas izposoje: 1 mes.
|
Signatura – lokacija, inventarna št. ... |
Status izvoda |
---|---|
K 519.6 ADVANCES IN: 00043146 K 519.6 ADVANCES IN: 00043146 |
prosto - na dom, čas izposoje: 1 mes.
|
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.