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.
FM8501 : a verified microprocessor / Warren A. Hunt, Jr
| FM8501 : a verified microprocessor / Warren A. Hunt, Jr |
| Autore | Hunt, Warren A. <1958- > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1994 |
| Descrizione fisica | XIII, 333 p. ; 24 cm |
| Disciplina |
621.39
621.392 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico | Microprocessori FM8501 |
| ISBN |
0387579605
3540579605 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10007109 |
Hunt, Warren A. <1958- >
|
||
| Berlin [etc.] : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Formal methods in computer-aided design : 4. International conference, FMCAD 2002 : Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.)
| Formal methods in computer-aided design : 4. International conference, FMCAD 2002 : Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.) |
| Autore | International conference on formal methods in computer-aided design <4. ; 2002 ; Portland, Oregon> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2002 |
| Descrizione fisica | XI, 397 p. : ill. ; 20 cm |
| Disciplina | 621.39 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Circuiti integrati Congressi 2002 |
| ISBN | 3-540-00116-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001117220203316 |
|
International conference on formal methods in computer-aided design <4. ; 2002 ; Portland, Oregon>
|
||
| Berlin [etc.] : Springer, copyr. 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004 : Austin, Texas, USA, November 15-17, 2004 : proceedings / Alan J.Hu, Andrew K. Martin (Eds.)
| Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004 : Austin, Texas, USA, November 15-17, 2004 : proceedings / Alan J.Hu, Andrew K. Martin (Eds.) |
| Autore | International conference, FMCAD 2004 : <4.; : 2004 |
| Pubbl/distr/stampa | Berlin[etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XI, 444 p. : ill. ; 20 cm. |
| Disciplina | 621.39 |
| Collana | Lecture Notes in Computer Science |
| Soggetto non controllato |
Progettazione assistita da elaboratore
Circuiti integrati |
| ISBN | 3-540-23738-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002419200203316 |
|
International conference, FMCAD 2004 : <4.; : 2004
|
||
| Berlin[etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods in computer-aided dsign : third International conference, FMCAD 2000 : Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr ... [et al.] (eds.)
| Formal methods in computer-aided dsign : third International conference, FMCAD 2000 : Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr ... [et al.] (eds.) |
| Autore | International conference, FMCAD <3.; 2000; Austin, TX, USA> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 2000 |
| Descrizione fisica | XI, 537 p. : ill. ; 20 cm. |
| Disciplina | 621.39 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Progettazione assistita dell'elaboratoreCongressi2000
Circuiti integratiCongressi2000 CongressiAustin2000 |
| ISBN | 3-540-41219-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000375190203316 |
|
International conference, FMCAD <3.; 2000; Austin, TX, USA>
|
||
| Berlin : Springer-Verlag, copyr. 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High-speed computing devices / by the staff of Engineering research associates ; supervised By C. B. Tompkins, and J. H.Wakelin ; edited by W. W. Stifler
| High-speed computing devices / by the staff of Engineering research associates ; supervised By C. B. Tompkins, and J. H.Wakelin ; edited by W. W. Stifler |
| Autore | Engineering Research Associates |
| Pubbl/distr/stampa | New York : McGraw-Hill book company, 1950 |
| Descrizione fisica | XI, 451 p. : ill. ; 24 cm |
| Disciplina | 621.39 |
| Soggetto non controllato | Aerodinamica sperimentale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000034950403321 |
| Engineering Research Associates | ||
| New York : McGraw-Hill book company, 1950 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
I metodi dell'affidabilità : teorie strumenti ed applicazioni per l'analisi dell'affidabilità di componenti e sistemi / Tommaso D'Alessio, Gianfranco Meucci, Roberto Somma
| I metodi dell'affidabilità : teorie strumenti ed applicazioni per l'analisi dell'affidabilità di componenti e sistemi / Tommaso D'Alessio, Gianfranco Meucci, Roberto Somma |
| Autore | D'Alessio, Tommaso |
| Pubbl/distr/stampa | Milano : FrancoAngeli, 1987 |
| Descrizione fisica | 332 p. : ill. ; 22 cm |
| Disciplina |
620.004 52
621.39 |
| Altri autori (Persone) |
Meucci, Gianfranco
Somma, Roberto |
| Collana | Collana scientifica |
| Soggetto non controllato |
AffidabilitàIngegneria
AffidabilitàIngegneria sistemi elettrici Analisi dei sistemi e componenti |
| ISBN | 88-204-2307-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000126510403321 |
|
D'Alessio, Tommaso
|
||
| Milano : FrancoAngeli, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEE proceedings. Part E: Computers and digital techniques
| IEE proceedings. Part E: Computers and digital techniques |
| Pubbl/distr/stampa | London : Institution of Electrical Engineers. Publishing Department |
| Disciplina |
005
621.39 |
| ISSN | 0143-7062 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEE proceedings-E Computers and digital techniques |
| Record Nr. | UNINA-990008974010403321 |
| London : Institution of Electrical Engineers. Publishing Department | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Impianti elettrici / Vincenzo Cataliotti
| Impianti elettrici / Vincenzo Cataliotti |
| Autore | Cataliotti, Vincenzo |
| Edizione | [Nuova ed. riv. ed ampl.] |
| Pubbl/distr/stampa | Palermo : Flaccovio, 1992-1999 |
| Descrizione fisica | 3 v. in 4 parti : ill. ; 24 cm |
| Disciplina | 621.39 |
| Soggetto non controllato |
Sistemi di distribuzione
Sistemi elettrici di potenza Impianti elettrici |
| ISBN |
88-7804-114-9
88-7804-160-2 88-7804-120-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1., parte 1: Generalità, 1992 1., parte 2: Componenti, 1995 2.: Sistemi elettrici di potenza, analisi, gestione, tecniche realizzative, 1999 3.: Analisi dei sistemi di distribuzione a media e bassa tensione, 1995 |
| Record Nr. | UNINA-990000524790403321 |
| Cataliotti, Vincenzo | ||
| Palermo : Flaccovio, 1992-1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integrated circuit design : power and timing modeling, optimization and simulation : 11 International workshop, PATMOS 2000 : Trento,Italy , September , 2000 : proceedings / ...[et al.](eds)
| Integrated circuit design : power and timing modeling, optimization and simulation : 11 International workshop, PATMOS 2000 : Trento,Italy , September , 2000 : proceedings / ...[et al.](eds) |
| Autore | International workshop, PATMOS 200 <12.; 2000 ; Trento, Italy > |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 2000 |
| Descrizione fisica | XVI; 496 p. : ill. ; 20 cm |
| Disciplina | 621.39 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Circuiti integralti
Progettazione assistita da elaboratore |
| ISBN | 3-540-44143-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000337350203316 |
|
International workshop, PATMOS 200 <12.; 2000 ; Trento, Italy >
|
||
| Berlino : Springer-Verlag, copyr. 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integrated circuit design : power and timing modeling, optimization and simulation : 12th International workshop, PATMOS 2002 : Seville , Spain , September 11-13, 2002 : proceedings / Beltrand Hochet...[et al.](eds)
| Integrated circuit design : power and timing modeling, optimization and simulation : 12th International workshop, PATMOS 2002 : Seville , Spain , September 11-13, 2002 : proceedings / Beltrand Hochet...[et al.](eds) |
| Autore | International workshop, PATMOS 2002 <12.; 2002; Seville, Spain> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 2002 |
| Descrizione fisica | XVI; 496 p. : ill. ; 20 cm |
| Disciplina | 621.39 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Circuiti integrati
Progettazione assistita da elaboratore |
| ISBN | 3-540-44143-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001110330203316 |
|
International workshop, PATMOS 2002 <12.; 2002; Seville, Spain>
|
||
| Berlino : Springer-Verlag, copyr. 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
