Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference CHARME'93 : Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne (ed.)
| Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference CHARME'93 : Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne (ed.) |
| Autore | Advanced research conference CHARME'93 : 1993 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | VI, 269 p. : ill. ; 24 cm |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - arles - 1993
hardware - architettura - congressi - 1993 hardware - verifica - congressi - 1993 |
| ISBN | 3-540-56778-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204680203316 |
Advanced research conference CHARME'93 : 1993
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Correct hardware design and verification methods : Advanced research working conference CHARME'95 : Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati ... [etc.] (eds.)
| Correct hardware design and verification methods : Advanced research working conference CHARME'95 : Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati ... [etc.] (eds.) |
| Autore | Advanced research working conference CHARME'95 : 1995 |
| Pubbl/distr/stampa | Berlin [etc.] : Spriger-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 342 p. : ill. ; 24 cm. |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - frankfurt/main - 1995
hardware - architettura - congressi - 1995 hardware - verifica - congressi - 1995 |
| ISBN | 3-540-60385-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210910203316 |
|
Advanced research working conference CHARME'95 : 1995
|
||
| Berlin [etc.] : Spriger-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Field-programmable logic and applications : from FPGAs to computing paradigm :8th International workshop, FPL'98: Tallinn, Estonia, August 31 - September 3, 1998 : proceedings / Reiner W. Hartenstein ... [et al.](eds.)
| Field-programmable logic and applications : from FPGAs to computing paradigm :8th International workshop, FPL'98: Tallinn, Estonia, August 31 - September 3, 1998 : proceedings / Reiner W. Hartenstein ... [et al.](eds.) |
| Autore | International workshop FPL'98 : 8. : 1998 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | XI, 533 p. : ill. ; 24 cm |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - tallinn - 1998
elaboratori elettronici digitali - circuiti - congressi - 1998 logica matematica - congressi - 1998 programmazione logica - congressi - 1998 |
| ISBN | 3-540-64948-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210190203316 |
|
International workshop FPL'98 : 8. : 1998
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduzione alla organizzazione ealla progettazione di un elaboratore elettronico / Franco P. Preparata ; traduzione acura di Filomena de Santis e M. Immacolata Sessa ; presentazione di Renato Capocelli
| Introduzione alla organizzazione ealla progettazione di un elaboratore elettronico / Franco P. Preparata ; traduzione acura di Filomena de Santis e M. Immacolata Sessa ; presentazione di Renato Capocelli |
| Autore | Preparata, Franco P. |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Milano : Franco Angeli, 1992 |
| Descrizione fisica | 422 p. : ill. ; 22 cm |
| Disciplina | 62139 |
| Collana | Scienze e tecnologie informatiche |
| Soggetto non controllato |
architettura degli elaboratori
elaboratori elettronici - programmazione |
| ISBN | 88-204-3815-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000232910203316 |
|
Preparata, Franco P.
|
||
| Milano : Franco Angeli, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Prospects for hardware foundations : ESPRIT working group 8533 : NADA -New hardware design methods : survey chapters / Bernhard Moller ... [et al.] (eds.)
| Prospects for hardware foundations : ESPRIT working group 8533 : NADA -New hardware design methods : survey chapters / Bernhard Moller ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc] : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | X, 468 p. : ill. ; 24 cm |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - markt-oberdorf - 1998
elaboratori elettronici - progettazione - congressi 1998 |
| ISBN | 3-540-65461-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207910203316 |
| Berlin [etc] : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theorem provers in circuit design : theory, practice and experience : second International conference, TPCD '94 : Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.)
| Theorem provers in circuit design : theory, practice and experience : second International conference, TPCD '94 : Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.) |
| Autore | International conference TPCD'94 : 2. : 1994 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Descrizione fisica | VIII, 303 p. : ill. ; 25 cm |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
circuiti elettronici - progettazione - congressi - 1994
congressi - bad herrenalb - 1994 hardware - verifica - congressi - 1994 |
| ISBN | 3-540-59047-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000210680203316 |
|
International conference TPCD'94 : 2. : 1994
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Towards evolvable hardware : the evolutionary engineering approach / Eduardo Sanches ... [et al.] (eds.)
| Towards evolvable hardware : the evolutionary engineering approach / Eduardo Sanches ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | VII, 265 p. : ill. ; 24 cm |
| Disciplina | 62139 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | hardware - architettura |
| ISBN | 3-540-61093-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000206640203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||