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 |
congressiarles1993
hardwarearchitetturacongressi1993 hardwareverificacongressi1993 |
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 | ||
![]() | ||
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.) |
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 |
congressifrankfurt/main1995
hardwarearchitetturacongressi1995 hardwareverificacongressi1995 |
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 | ||
![]() | ||
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.) |
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 |
congressitallinn1998
elaboratori elettronici digitalicircuiticongressi1998 logica matematicacongressi1998 programmazione logicacongressi1998 |
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 | ||
![]() | ||
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 |
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 elettroniciprogrammazione |
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 | ||
![]() | ||
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.) |
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 |
congressimarkt-oberdorf1998
elaboratori elettroniciprogettazionecongressi 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 | ||
![]() | ||
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.) |
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 elettroniciprogettazionecongressi1994
congressibad herrenalb1994 hardwareverificacongressi1994 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | hardwarearchitettura |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|