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.
ApPLIED 2023 : Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems / / Yanhong Annie Liu, Elad Michael Schiller
| ApPLIED 2023 : Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems / / Yanhong Annie Liu, Elad Michael Schiller |
| Autore | Liu Yanhong Annie <1965-> |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2023 |
| Descrizione fisica | 1 online resource (103 pages) |
| Disciplina | 004.36 |
| Soggetto topico |
Electronic data processing - Distributed processing
Programming languages (Electronic computers) |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910731404403321 |
Liu Yanhong Annie <1965->
|
||
| New York, NY : , : Association for Computing Machinery, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
| Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]] |
| Autore | Liu Yanhong Annie <1965-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xv, 240 pages) : digital, PDF file(s) |
| Disciplina | 005.1 |
| Soggetto topico |
Computer programming
System design |
| ISBN |
1-107-33359-8
1-107-33525-6 1-107-61079-6 1-107-33691-0 1-139-56787-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion. |
| Record Nr. | UNINA-9910464663003321 |
|
Liu Yanhong Annie <1965->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
| Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]] |
| Autore | Liu Yanhong Annie <1965-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xv, 240 pages) : digital, PDF file(s) |
| Disciplina | 005.1 |
| Soggetto topico |
Computer programming
System design |
| ISBN |
1-107-33359-8
1-107-33525-6 1-107-61079-6 1-107-33691-0 1-139-56787-X |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion. |
| Record Nr. | UNINA-9910789315803321 |
|
Liu Yanhong Annie <1965->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]]
| Systematic program design : from clarity to efficiency / / Yanhong Annie Liu, Stony Brook University, State University of New York [[electronic resource]] |
| Autore | Liu Yanhong Annie <1965-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (xv, 240 pages) : digital, PDF file(s) |
| Disciplina | 005.1 |
| Soggetto topico |
Computer programming
System design |
| ISBN |
1-107-33359-8
1-107-33525-6 1-107-61079-6 1-107-33691-0 1-139-56787-X |
| Classificazione | COM051010 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion. |
| Record Nr. | UNINA-9910823265103321 |
|
Liu Yanhong Annie <1965->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||