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.
Field-programmable logic and applications : the roadmap to reconfigurable computing : 10th International conference, FPL 2000 : Villach, Austria, August 27-30, 2000 : proceedings / Reiner W. Hartenstein ...<et al.>
| Field-programmable logic and applications : the roadmap to reconfigurable computing : 10th International conference, FPL 2000 : Villach, Austria, August 27-30, 2000 : proceedings / Reiner W. Hartenstein ...<et al.> |
| Autore | International conference FPL <10.; 2000; Villach, Austria> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
| Descrizione fisica | XVII, 856 p. : ill. ; 20 cm |
| Disciplina | 005.131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaborazione elettronica
Logica matematica Congressi |
| ISBN | 3-540-67899-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000332260203316 |
International conference FPL <10.; 2000; Villach, Austria>
|
||
| Berlino : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
File structures and data bases for CAD : proceedings of the IFIP WG 5.2 : working conference on File Structures and Data Bases for CAD : Seeheim, F.R.G., 14-16 September 1981 / edited by J. Encarnaçao and F.L. Krause
| File structures and data bases for CAD : proceedings of the IFIP WG 5.2 : working conference on File Structures and Data Bases for CAD : Seeheim, F.R.G., 14-16 September 1981 / edited by J. Encarnaçao and F.L. Krause |
| Autore | IFIP WG 5.2 working conference on file structures and data bases for CAD <Seeheim; 1981> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1982 |
| Descrizione fisica | X 380 p. : graf. tab. ; 23 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Elaborazione elettronica dei dati
Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000362860203316 |
|
IFIP WG 5.2 working conference on file structures and data bases for CAD <Seeheim; 1981>
|
||
| Amsterdam : North-Holland, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Firmware, microprogramming and restructurable hardware : proceedings of the IFIP Working Conference on Firmware, microprogramming and restructurable hardware, Linz, Austria, April 28 May 1, 1980 / edited by Gerhard Chroust and Jörg R. Mühlbacher
| Firmware, microprogramming and restructurable hardware : proceedings of the IFIP Working Conference on Firmware, microprogramming and restructurable hardware, Linz, Austria, April 28 May 1, 1980 / edited by Gerhard Chroust and Jörg R. Mühlbacher |
| Autore | IFIP working conference on firmware, microprogramming and restructurable hardware <Linz; 1980> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1980 |
| Descrizione fisica | VIII, 310 p. : ill. ; 22 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Microprocessori
Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000363090203316 |
|
IFIP working conference on firmware, microprogramming and restructurable hardware <Linz; 1980>
|
||
| Amsterdam : North-Holland, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal description of programminf concepts II : proceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982 / Dines Bjorner
| Formal description of programminf concepts II : proceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982 / Dines Bjorner |
| Autore | IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982> |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1983 |
| Descrizione fisica | XII, 455 p. : ill. ; 22 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Elaboratori elettronici
Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000362940203316 |
|
IFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982>
|
||
| Amsterdam : North-Holland publishing company, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal techniques in real-time and fault-tolerant : 6th Intenational symposium, FTRTFT 2000 : Pune, India ,September 20-22. 2000 : proceedings / Mathai Joseph (ed.)
| Formal techniques in real-time and fault-tolerant : 6th Intenational symposium, FTRTFT 2000 : Pune, India ,September 20-22. 2000 : proceedings / Mathai Joseph (ed.) |
| Pubbl/distr/stampa | Berlino : Springer-Verlang, c2000 |
| Descrizione fisica | X,303 p. : ill. ; 20 cm |
| Disciplina | 004.33 |
| Collana | Lecture notes in computer scienze |
| Soggetto non controllato |
Elaborazione in tempo reale
Congressi |
| ISBN | 3-540-41090-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000320290203316 |
| Berlino : Springer-Verlang, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundamental approaches to software engineering : third International conference, FASE 2000 : held as part of the Joint European conferences on theory and practice of software, ETAPS 2000 : Berlin, Germany, March 25 April 2, 2000 : proceedings / Tom Maibaum (ed.)
| Foundamental approaches to software engineering : third International conference, FASE 2000 : held as part of the Joint European conferences on theory and practice of software, ETAPS 2000 : Berlin, Germany, March 25 April 2, 2000 : proceedings / Tom Maibaum (ed.) |
| Autore | International conference, FASE 2000 <3. ; 2000. ; Berlino> |
| Pubbl/distr/stampa | Berlin : Springer Verlag, c2000 |
| Descrizione fisica | XII, 374 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in compute science |
| Soggetto non controllato |
Software
Congressi |
| ISBN | 3-540-67261-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000310220203316 |
|
International conference, FASE 2000 <3. ; 2000. ; Berlino>
|
||
| Berlin : Springer Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of software technology and theoretical computer science : Fourth conference, Bangalore, India december 13-15, 1984 : proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar
| Foundations of software technology and theoretical computer science : Fourth conference, Bangalore, India december 13-15, 1984 : proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar |
| Autore | Foundations of software techonology and theoretical computer science <4.; Bangalore; 1984> |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1984 |
| Descrizione fisica | VIII, 468 p. : ill. ; 24 cm |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaborazione elettronica dei dati
Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000351220203316 |
|
Foundations of software techonology and theoretical computer science <4.; Bangalore; 1984>
|
||
| Berlin : Springer Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fronties of combiningsystem : third International workschop,FroCos 2000 : Nancy, France, March 22-24, 2000 : proceedings / Helene Kirchner...[et al] (eds)
| Fronties of combiningsystem : third International workschop,FroCos 2000 : Nancy, France, March 22-24, 2000 : proceedings / Helene Kirchner...[et al] (eds) |
| Autore | International workschop, FroCos 2000 <3.; 2000; Nancy> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
| Descrizione fisica | X, 289 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
Logica matematica
Congressi |
| ISBN | 3-540-67281-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000337790203316 |
|
International workschop, FroCos 2000 <3.; 2000; Nancy>
|
||
| Berlino : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fuzzy, logic : state of the art / edited by R. Lowen, M. Roubens
| Fuzzy, logic : state of the art / edited by R. Lowen, M. Roubens |
| Pubbl/distr/stampa | Dordrecht [etc.] : Kluwer AcademicPublishers, copyr. 1993 |
| Descrizione fisica | VIII, 587 p. : ill. ; 24 cm. - (Theory and decision library ; 12) |
| Disciplina | 511.3 |
| Soggetto non controllato |
Insiemi
Congressi |
| ISBN | 0-7923-2324-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000253290203316 |
| Dordrecht [etc.] : Kluwer AcademicPublishers, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Generic programming : international seminar on generic programming : Dagstuhl Caste, Germany, April 27 - May 1,1998 : selected papers / Mahdi Jazayeri ...<et al.>
| Generic programming : international seminar on generic programming : Dagstuhl Caste, Germany, April 27 - May 1,1998 : selected papers / Mahdi Jazayeri ...<et al.> |
| Autore | International seminar on generic programming <1998 ; Dagstuhl Castel, Germania> |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
| Descrizione fisica | X, 267 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
Elaborattori elettronici
Congressi |
| ISBN | 3-540-41090-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000319220203316 |
|
International seminar on generic programming <1998 ; Dagstuhl Castel, Germania>
|
||
| Berlino : Springer-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
