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.
CAAP '81 : trees in algebra and programming 6th colloquium, Genoa, March 5-7, 1981, proceedings / edited by E. Astesiano and C. Böhm
| CAAP '81 : trees in algebra and programming 6th colloquium, Genoa, March 5-7, 1981, proceedings / edited by E. Astesiano and C. Böhm |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | VI, 364 p. ; 24 cm |
| Disciplina | 005.73 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Atti di conferenze
Scienza del computer - Atti di conferenze Teoria dei grafi Strutture di dati |
| ISBN | 3-540-10828-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009911520403321 |
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Die moderne langzeitbehandlung der essentiellen hypertonie. Budapest, 1964, p. 276-279
| Die moderne langzeitbehandlung der essentiellen hypertonie. Budapest, 1964, p. 276-279 |
| Altri autori (Persone) | Bohm, C. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | und |
| Record Nr. | UNINA-990002319830403321 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
|
INTINT : Programmazione indiretta per calcolatrici elettroniche / A cura di C. Bohm
| INTINT : Programmazione indiretta per calcolatrici elettroniche / A cura di C. Bohm |
| Pubbl/distr/stampa | Roma : Cremonese, 1958 |
| Descrizione fisica | 74 p. ; 17 cm |
| Disciplina | 004 |
| Collana | Istituto per le Applicazioni del Calcolo. Consiglio Nazionalale delle Ricerche |
| Soggetto non controllato |
Metodi computazionali
Teoria generale della programmazione dei calcolatori |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002555480403321 |
| Roma : Cremonese, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
[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 | Istituto per le applicazioni del calcolo |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | xii, 370 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Bohm, C. |
| Soggetto topico |
Combinatory logic - Congresses
Lambda calculus Programming languages - Congresses |
| ISBN | 3540074163 |
| Classificazione |
AMS 03-06
AMS 03B40 AMS 68-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001056669707536 |
Istituto per le applicazioni del calcolo
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||