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.
Communication and concurrency / Robin Milner ; foreword by C.A.R. Hoare
| Communication and concurrency / Robin Milner ; foreword by C.A.R. Hoare |
| Autore | Milner, Robin |
| Pubbl/distr/stampa | Harlow (U.K.) : Pearson Education, Prentice Hall, c1989 |
| Descrizione fisica | xi, 260 p. : ill. ; 23 cm |
| Disciplina | 005.4'2 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto non controllato |
Programmazione
Programmi di sistema Sistemi operativi |
| ISBN | 0-13-115007-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001492280403321 |
Milner, Robin
|
||
| Harlow (U.K.) : Pearson Education, Prentice Hall, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer aided verification : 16th International conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.)
| Computer aided verification : 16th International conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.) |
| Autore | International conference, CAV 2004 : <16. ; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | XIII, 536 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Sistemi operativi |
| ISBN | 3-540-22342-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002962100203316 |
|
International conference, CAV 2004 : <16. ; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
E-mail server in Linux : Tutti gli strumenti necessari per configurare un completo server di posta elettronica in Linux / Magnus Back ... [et al.]
| E-mail server in Linux : Tutti gli strumenti necessari per configurare un completo server di posta elettronica in Linux / Magnus Back ... [et al.] |
| Autore | Back, Magnus |
| Pubbl/distr/stampa | Milano : McGraw-Hill, c2007 |
| Descrizione fisica | xi, 319 p. : ill. ; 24 cm |
| Disciplina | 005.43 |
| Soggetto non controllato |
Sistemi operativi
Linux |
| ISBN | 978-88-386-4471-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008600260403321 |
|
Back, Magnus
|
||
| Milano : McGraw-Hill, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential concepts of operating systems : using IBM mainframe examples / C. K. Yuen
| Essential concepts of operating systems : using IBM mainframe examples / C. K. Yuen |
| Autore | Yuen, C. K. |
| Pubbl/distr/stampa | Singapore ... [etc.] : Addison-Wesley, c1986 |
| Descrizione fisica | 199 p. : ill. ; 24 cm |
| Disciplina | 005 |
| Soggetto non controllato |
Elaboratori - IBM
Sistemi operativi |
| ISBN | 0-201-12917-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000458210403321 |
|
Yuen, C. K.
|
||
| Singapore ... [etc.] : Addison-Wesley, c1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential CVS / Jennifer Vesperman
| Essential CVS / Jennifer Vesperman |
| Autore | Vesperman, Jennifer |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | Beijing ; Cambridge : O'Reilly, ©2007 |
| Descrizione fisica | xviii, 407 p. : ill. ; 25 cm |
| Disciplina | 005.43 |
| Soggetto non controllato |
Archiviazione files
Sistemi operativi |
| ISBN | 978-0-596-52703-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008757140403321 |
|
Vesperman, Jennifer
|
||
| Beijing ; Cambridge : O'Reilly, ©2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fondamenti dei sistemi operativi / A. M. Lister
| Fondamenti dei sistemi operativi / A. M. Lister |
| Autore | Lister, Andrew |
| Pubbl/distr/stampa | Milano : Tecniche nuove, c1987 |
| Descrizione fisica | X, 187 p. ; 24 cm |
| Disciplina | 005.43 |
| Collana | Università + ricerca |
| Soggetto non controllato | Sistemi operativi |
| ISBN | 88-7081-344-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNIPARTHENOPE-000016472 |
|
Lister, Andrew
|
||
| Milano : Tecniche nuove, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Fondamenti di informatica
| Fondamenti di informatica |
| Pubbl/distr/stampa | Bologna : Zanichelli, 2007 |
| Descrizione fisica | 2 v. : ill. ; 24 cm |
| Disciplina | 004 |
| Soggetto non controllato |
Informatica
Internet Architettura degli elaboratori Sistemi operativi Basi di dati Algoritmi |
| ISBN | 978-88-08-16760-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1: Internet, elaborazione di documenti, architetture, sistemi operativi 2: Reti, basi di dati, multimedia, linguaggi, algoritmi |
| Record Nr. | UNINA-990008654470403321 |
| Bologna : Zanichelli, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Guida a Unix / Harley Hahn
| Guida a Unix / Harley Hahn |
| Autore | Hahn, Harley <1952- > |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | Milano : McGraw-Hill, c2000 |
| Descrizione fisica | xviii, 590 p. : ill. ; 24 cm |
| Disciplina | 005.43 |
| Collana | Workbooks |
| Soggetto non controllato |
Sistemi operativi
Unix |
| ISBN | 88-386-0872-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001496540403321 |
|
Hahn, Harley <1952- >
|
||
| Milano : McGraw-Hill, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Guida all'uso - Microsoft Windows Nt - Workstation - versione 4.0 / Craig Stinson, Carl Siechert
| Guida all'uso - Microsoft Windows Nt - Workstation - versione 4.0 / Craig Stinson, Carl Siechert |
| Autore | Stinson, Craig |
| Pubbl/distr/stampa | Milano, : Mondadori informatica, c1997 |
| Descrizione fisica | xxiii, 719 p. : ill. ; 24 cm |
| Disciplina | 005.43 |
| Soggetto non controllato |
Computer science
Sistemi operativi |
| ISBN | 88-7131-796-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001441870403321 |
|
Stinson, Craig
|
||
| Milano, : Mondadori informatica, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
