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.
Communicating sequential processes / C. A. R. Hoare
| Communicating sequential processes / C. A. R. Hoare |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | Englewood Cliffs, N. J. : Prentice- Hall, ©1985 |
| Descrizione fisica | 256 p. : ill. ; 24 cm |
| Disciplina | 005 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto non controllato |
Programmazione
Elaborazione parallela |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000469110403321 |
Hoare, Charles Antony Richard
|
||
| Englewood Cliffs, N. J. : Prentice- Hall, ©1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating sequential processes / C. A. R. Hoare
| Communicating sequential processes / C. A. R. Hoare |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1985 |
| Descrizione fisica | VIII, 256 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato |
elaboratori elettronici - programmazione
elaborazione parallela sistemi operativi |
| ISBN | 0-13-153289-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000228060203316 |
|
Hoare, Charles Antony Richard
|
||
| New York [etc.] : Prentice Hall, copyr. 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Developments in concurrency and communication / edited by C.A.R. Hoare
| Developments in concurrency and communication / edited by C.A.R. Hoare |
| Pubbl/distr/stampa | Reading (Mass.) : Addison-Wesley, copyr. 1990 |
| Disciplina | 004.35 |
| Soggetto non controllato | programmazione parallela |
| ISBN | 0-201-17232-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000146260203316 |
| Reading (Mass.) : Addison-Wesley, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Essays in computing science / C.A.R. Hoare ; C.B. Jones editor
| Essays in computing science / C.A.R. Hoare ; C.B. Jones editor |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1989 |
| Descrizione fisica | XII, 412 p. : ill., fot. ; 23 cm |
| Disciplina | 004 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato | elaborazione elettronica dei dati |
| ISBN | 0-13-284027-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000228050203316 |
|
Hoare, Charles Antony Richard
|
||
| New York [etc.] : Prentice Hall, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Essays in computing science / C.A.R. Hoare ; C.B. Jones editor
| Essays in computing science / C.A.R. Hoare ; C.B. Jones editor |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1989 |
| Descrizione fisica | XII, 412 p. : ill., fot. ; 23 cm |
| Disciplina | 004 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato | elaborazione elettronica dei dati |
| ISBN | 0-13-284027-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000124760203316 |
|
Hoare, Charles Antony Richard
|
||
| New York [etc.] : Prentice Hall, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Essays in computing science / C.A.R. Hoare ; C.B. Jones editor
| Essays in computing science / C.A.R. Hoare ; C.B. Jones editor |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | New York [etc.], : Prentice Hall, 1989 |
| Descrizione fisica | XII, 412 p. ; 24 cm |
| Disciplina | 004 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto topico | Elaborazione elettronica |
| ISBN | 0132840278 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-FER0026448 |
|
Hoare, Charles Antony Richard
|
||
| New York [etc.], : Prentice Hall, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Mathematical Logic and Programming Languages / edited by C.A.R. Hoare and J.C. Shepherdson
| Mathematical Logic and Programming Languages / edited by C.A.R. Hoare and J.C. Shepherdson |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | Englewood Cliffs [etc.] : Prentice-Hall, 1985 |
| Descrizione fisica | 184 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-13-561465-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001093750403321 |
|
Hoare, Charles Antony Richard
|
||
| Englewood Cliffs [etc.] : Prentice-Hall, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Operating Systems Techniques : Proceedings of a seminar held at Queen's University, Belfast, 1971 / edited by C.A.R. Hoare, R.H. Perrott
| Operating Systems Techniques : Proceedings of a seminar held at Queen's University, Belfast, 1971 / edited by C.A.R. Hoare, R.H. Perrott |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | London [etc.] : Academic Press, 1972 |
| Disciplina | 510.78 |
| Collana | APIC studies in data processing |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 0-12-350650-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001008790403321 |
|
Hoare, Charles Antony Richard
|
||
| London [etc.] : Academic Press, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Processi sequenziali comunicanti / C.A.R. Hoare
| Processi sequenziali comunicanti / C.A.R. Hoare |
| Autore | Hoare, Charles Antony Richard |
| Pubbl/distr/stampa | Milano : Jackson, s.d. |
| Disciplina | 510.78 |
| Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| ISBN | 88-7056-749-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001092600403321 |
|
Hoare, Charles Antony Richard
|
||
| Milano : Jackson, s.d. | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
