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.
MSFP'10 : proceedings of the 2010 ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA
| MSFP'10 : proceedings of the 2010 ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA |
| Autore | Capretta Venanzio |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (56 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Mathematically Structured Functional Programming'10 : proceedings of the 2010 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA
Proceedings of the third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming ICFP '10 ACM SIGPLAN International Conference on Functional Programming, Baltimore, MD, USA - September 27 - 29, 2010 |
| Record Nr. | UNINA-9910376012503321 |
Capretta Venanzio
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Spectroscopic Tools for Food Analysis
| Spectroscopic Tools for Food Analysis |
| Autore | Shukla Ashutosh Kumar |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bristol : , : Institute of Physics Publishing, , 2020 |
| Descrizione fisica | 1 online resource (87 pages) |
| Altri autori (Persone) |
CozzolinoDaniel
KuswandiB ParlakYeliz LiDaoliang TruongVi Khanh GangadooSheeana ChapmanJames WangCong LiZhen |
| Collana | IOP Ebooks Series |
| ISBN | 0-7503-4210-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910861036303321 |
|
Shukla Ashutosh Kumar
|
||
| Bristol : , : Institute of Physics Publishing, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TyDe '16 : proceedings of the 1st International Workshop on Type-Driven Development : September 18, 2016, Nara, Japan / / edited by James Chapman and Wouter Swierstra ; sponsored by ACM SIGPLAN
| TyDe '16 : proceedings of the 1st International Workshop on Type-Driven Development : September 18, 2016, Nara, Japan / / edited by James Chapman and Wouter Swierstra ; sponsored by ACM SIGPLAN |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (71 pages) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programs |
| ISBN | 1-4503-4435-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Type-Driven Development 2016
Proceedings of the 1st International Workshop on Type-Driven Development ICFP '16 : ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-22, 2016 International Conference on Functional Programming 2016 : Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Functional Programming : Nara, Japan, September 18-22, 2016 |
| Record Nr. | UNINA-9910376436403321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||