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.
(Lambda)-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome March 25-27, 1975 IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche / edited by C. Bohm
| (Lambda)-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome March 25-27, 1975 IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche / edited by C. Bohm |
| Autore | Bohm, Corrado |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1975 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 3-540-07416-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000963700403321 |
Bohm, Corrado
|
||
| Berlin [etc.] : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics : Proceedings Berlin, August 1997 / Edited by Achim Sydow
| 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics : Proceedings Berlin, August 1997 / Edited by Achim Sydow |
| Autore | Sydow, Achim |
| Pubbl/distr/stampa | Berlin : Wissenschaften & Technik Verlag, 1997 |
| Descrizione fisica | xlviii, 819 p. ; 24 cm |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001359360403321 |
|
Sydow, Achim
|
||
| Berlin : Wissenschaften & Technik Verlag, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics : Proceedings Berlin, August 1997 / Edited by Achim Sydow in cooperation with R.-P. Schafer, W. Rufeger, H. Lehmann
| 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics : Proceedings Berlin, August 1997 / Edited by Achim Sydow in cooperation with R.-P. Schafer, W. Rufeger, H. Lehmann |
| Autore | Sydow, Achim |
| Pubbl/distr/stampa | Berlin : Wissenschaften & Technik Verlag, 1997 |
| Descrizione fisica | xii, 799 p. ; 24 cm |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 3-89685-554-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001359350403321 |
|
Sydow, Achim
|
||
| Berlin : Wissenschaften & Technik Verlag, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1987 CERN School of computing : Troia, Portugal 13-26 September 1987 : proceedings / editor C. Verkerk
| 1987 CERN School of computing : Troia, Portugal 13-26 September 1987 : proceedings / editor C. Verkerk |
| Autore | CERN School of computing : <10. ; : 1987 |
| Pubbl/distr/stampa | Geneva : CERN, 1988 |
| Descrizione fisica | viii, 428 p. : ill. ; 29 cm |
| Disciplina | 510.78 |
| Collana | CERN Reports |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 92-9083-001-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001082020403321 |
|
CERN School of computing : <10. ; : 1987
|
||
| Geneva : CERN, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1989 CERN School of computing : Bad Herrenalb, Federal Republic of Germany, 20 August-2 September 1989 : proceedings / editor C. Verkerk
| 1989 CERN School of computing : Bad Herrenalb, Federal Republic of Germany, 20 August-2 September 1989 : proceedings / editor C. Verkerk |
| Autore | CERN School of computing : <12. ; : 1989 |
| Pubbl/distr/stampa | Geneva : CERN, 1990 |
| Descrizione fisica | viii, 347 p. : ill. ; 29 cm |
| Disciplina | 510.78 |
| Collana | CERN Reports |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 92-9083-025-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001104590403321 |
|
CERN School of computing : <12. ; : 1989
|
||
| Geneva : CERN, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1993 CERN School of computing : Scuola Superiore G. Reiss Romoli, L'Aquila, Italy, 12-25 September 1993 : proceedings / eds. C.E. Vandoni, C. Verkerk
| 1993 CERN School of computing : Scuola Superiore G. Reiss Romoli, L'Aquila, Italy, 12-25 September 1993 : proceedings / eds. C.E. Vandoni, C. Verkerk |
| Autore | CERN School of computing : <16. ; : 1993 |
| Pubbl/distr/stampa | Geneva : CERN, 1994 |
| Descrizione fisica | viii, 296 p. : ill. ; 29 cm |
| Disciplina | 510.78 |
| Collana | CERN Reports |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 92-9083-065-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001118960403321 |
|
CERN School of computing : <16. ; : 1993
|
||
| Geneva : CERN, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1994 CERN School of computing : Sopron, Hungary, 28 August-10 September, 1994 : proceedings / eds. C.E. Vandoni, C. Verkerk
| 1994 CERN School of computing : Sopron, Hungary, 28 August-10 September, 1994 : proceedings / eds. C.E. Vandoni, C. Verkerk |
| Autore | CERN School of computing : <17. ; : 1994 |
| Pubbl/distr/stampa | Geneva : CERN, 1995 |
| Descrizione fisica | ix, 336 : ill. ; 30 cm |
| Disciplina | 510.78 |
| Collana | CERN Reports |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 92-9083-069-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001120050403321 |
|
CERN School of computing : <17. ; : 1994
|
||
| Geneva : CERN, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1995 CERN School of Computing : Arles, France, 20 August-2 September 1995 : proceedings / editor C.E. Vandoni
| 1995 CERN School of Computing : Arles, France, 20 August-2 September 1995 : proceedings / editor C.E. Vandoni |
| Autore | CERN School of computing : <18. ; : 1995 |
| Pubbl/distr/stampa | Geneva : CERN, 1995 |
| Descrizione fisica | x, 305 p. : ill. ; 29 cm |
| Disciplina | 510.78 |
| Collana | CERN reports |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 92-9083-076-X |
| ISSN | 0304-2898 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000970560403321 |
|
CERN School of computing : <18. ; : 1995
|
||
| Geneva : CERN, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1996 CERN School of computing : Egmond-aan-Zee, The Netherlands, 8 September-21 September 1996 : proceedings / editor C.E. Vandoni
| 1996 CERN School of computing : Egmond-aan-Zee, The Netherlands, 8 September-21 September 1996 : proceedings / editor C.E. Vandoni |
| Autore | CERN School of computing : <19. ; : 1996 |
| Pubbl/distr/stampa | Geneva : CERN, 1996 |
| Descrizione fisica | xi, 246 p. ; 29 cm |
| Disciplina | 510.78 |
| Collana | CERN Reports |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 92-9083-095-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001359370403321 |
|
CERN School of computing : <19. ; : 1996
|
||
| Geneva : CERN, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1997 CERN School of computing : Pruhonice (Prague), Czech Republic 17-30 August 1997 : proceedings / editor C.E. Vandoni
| 1997 CERN School of computing : Pruhonice (Prague), Czech Republic 17-30 August 1997 : proceedings / editor C.E. Vandoni |
| Autore | CERN School of computing : <20. ; : 1997 |
| Pubbl/distr/stampa | Geneva : CERN, 1997 |
| Descrizione fisica | xviii, 248 p. ; 29 cm |
| Disciplina | 510.78 |
| Collana | CERN Reports |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 92-9083-120-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001445850403321 |
|
CERN School of computing : <20. ; : 1997
|
||
| Geneva : CERN, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
