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.
Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the science center Heidelberg of IBM Germany Heidelberg, march 18, 1983 / edited by A. Blaser and M. Zoeppritz
| Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the science center Heidelberg of IBM Germany Heidelberg, march 18, 1983 / edited by A. Blaser and M. Zoeppritz |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1983 |
| Descrizione fisica | 138 p. : tab. ; 24 cm |
| Disciplina | 001.6 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaboratori elettronici
Congressi |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000350960203316 |
| Berlin : Springer Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolutionary computation / D. Dumitrescu ... <et al.>
| Evolutionary computation / D. Dumitrescu ... <et al.> |
| Pubbl/distr/stampa | Boca Raton : CRC Press, c2000 |
| Descrizione fisica | 386 p. : ill. ; 20 cm |
| Collana | The CRC Press International series on computational intelligence |
| Soggetto non controllato |
Intelligenza artificiale
Algoritmi Elaboratori elettronici |
| ISBN | 0-8493-0588-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000317680203316 |
| Boca Raton : CRC Press, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolvable systems : from biology to hardware : third international conference, ICES 2000 : Edimburg, Scotland, UK, April 17-19, 2000 : proceedings / Julian Miller...<et al.> (eds.)
| Evolvable systems : from biology to hardware : third international conference, ICES 2000 : Edimburg, Scotland, UK, April 17-19, 2000 : proceedings / Julian Miller...<et al.> (eds.) |
| Autore | International conference, ICES 2000 <3.; 2000; Edimburgh> |
| Pubbl/distr/stampa | Berlin : Speinger-Verlag, c2000 |
| Descrizione fisica | X, 283 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Elaboratori elettronici
Circuiti integrati Circuiti digitali Congressi |
| ISBN | 3-540-67338-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000320300203316 |
International conference, ICES 2000 <3.; 2000; Edimburgh>
|
||
| Berlin : Speinger-Verlag, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Experimental computer performance evaluation / Istituto di Analisi Numerica del CNR, Pavia, Istituto di Informatica e Sistemica, Università di Pavia SOGESTA
| Experimental computer performance evaluation / Istituto di Analisi Numerica del CNR, Pavia, Istituto di Informatica e Sistemica, Università di Pavia SOGESTA |
| Autore | Summer School on Computer System Performance evaluation <2.; Urbino; 1980> |
| Pubbl/distr/stampa | Amsterdam : North-Holland Publishing Company, 1981 |
| Descrizione fisica | VII, 264 p. : graf. ; 22 cm |
| Disciplina | 001.64 |
| Soggetto non controllato |
Elaboratori elettronici
Congressi Urbino 1980 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000361010203316 |
|
Summer School on Computer System Performance evaluation <2.; Urbino; 1980>
|
||
| Amsterdam : North-Holland Publishing Company, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Expert system, fifth generation and UK suppliers / A. d' Agapayeff
| Expert system, fifth generation and UK suppliers / A. d' Agapayeff |
| Autore | D'AGAPAYEFF, A. |
| Pubbl/distr/stampa | Manchester : The national computing centre Ltd., c1983 |
| Descrizione fisica | 44c. : ill. ; 30 cm |
| Disciplina | 001.64 |
| Soggetto non controllato | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000360720203316 |
|
D'AGAPAYEFF, A.
|
||
| Manchester : The national computing centre Ltd., c1983 | ||
| 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 methods of program verification and specification / H.K.Berg...<et al.>
| Formal methods of program verification and specification / H.K.Berg...<et al.> |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice Hall, c1982 |
| Descrizione fisica | XIV, 207 p. : tab. ; 23 cm |
| Disciplina | 001.6425 |
| Soggetto non controllato | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000366370203316 |
| Englewood Cliffs : Prentice Hall, c1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal specification fo programmin languages : a panoramic primer / Frank G. Pagan
| Formal specification fo programmin languages : a panoramic primer / Frank G. Pagan |
| Autore | PAGAN, Frank G. |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall Inc., c1981 |
| Descrizione fisica | X, 285 p. : graf., tab. ; 24 cm |
| Disciplina | 001.6424 |
| Soggetto non controllato |
Elaborazione elettronica
Elaborazine elettronica Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000364500203316 |
|
PAGAN, Frank G.
|
||
| Englewood Cliffs : Prentice-Hall Inc., c1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fortran 77 : language and style : a structured guide to Fortran 77 / Micheal J. Mechant
| Fortran 77 : language and style : a structured guide to Fortran 77 / Micheal J. Mechant |
| Autore | MERCHANT, Michael J. |
| Pubbl/distr/stampa | Belmont : Wadsworth Publishing Company, 1981 |
| Descrizione fisica | XIII, 447 p. : ill. ; 23 cm |
| Disciplina | 001.6424 |
| Soggetto non controllato | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000361320203316 |
|
MERCHANT, Michael J.
|
||
| Belmont : Wadsworth Publishing Company, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From hardware to software : an itroduction to computers / Graham, Lee
| From hardware to software : an itroduction to computers / Graham, Lee |
| Autore | LEE, Graham |
| Pubbl/distr/stampa | London : Macmillan Press, 1982 |
| Descrizione fisica | X, 454 p. : ill. ; 24 cm |
| Disciplina | 001.6 |
| Collana | Macmillan Computer Science Series |
| Soggetto non controllato |
Elaboratori elettronici
Sistemi operativi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000359880203316 |
|
LEE, Graham
|
||
| London : Macmillan Press, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
