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.
Computing with Foresight and Industry [[electronic resource] ] : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
| Computing with Foresight and Industry [[electronic resource] ] : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 323 p. 479 illus., 12 illus. in color.) |
| Disciplina | 511.352 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Machine theory Artificial intelligence—Data processing Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Data Science Discrete Mathematics in Computer Science |
| ISBN | 3-030-22996-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466343303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
| Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 323 p. 479 illus., 12 illus. in color.) |
| Disciplina | 511.352 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Machine theory Artificial intelligence—Data processing Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Data Science Discrete Mathematics in Computer Science |
| ISBN | 3-030-22996-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349315503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reflections on Programming Systems : Historical and Philosophical Aspects / / edited by Liesbeth De Mol, Giuseppe Primiero
| Reflections on Programming Systems : Historical and Philosophical Aspects / / edited by Liesbeth De Mol, Giuseppe Primiero |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VIII, 286 p. 79 illus.) |
| Disciplina | 601 |
| Collana | Philosophical Studies Series |
| Soggetto topico |
Technology - Philosophy
Operating systems (Computers) Computers - History Science - History Technology History Philosophy of Technology Operating Systems History of Computing History of Science History of Technology |
| ISBN | 3-319-97226-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Part I: Programming without Systems -- Chapter 1. Validity & Correctness before the OS: the case of LEO I and LEO II (Rabia Arif, Elisabetta Mori, Giuseppe Primiero) -- Chapter 2. What is an Operating System? A historical investigation (1954–1964) (Maarten Bullynck) -- Part II: Formalizing Systems -- Chapter 3. Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context (Troy K. Astarte, Cliff B. Jones) -- Chapter 4. Sans-papiers as first-class citizens (Julian Rohrhuber) -- Part III: Creating Systems -- Chapter 5. Unix, Plan 9 and the Lurking Smalltalk (Stephen Kell) -- Chapter 6. Unix: Building a Development Environment from Scratch (Warren Toomey) -- Part IV: Evaluating Systems -- Chapter 7. Ethical Operating Systems (Naveen Sundar Govindarajulu, Selmer Bringsjord, Atriya Sen, Jean-Claude Paquin, Kevin O’Neill) -- Chapter 8. From Sovereign Operating Systems to the Sovereign Digital Chain (Gael Duval) -- Chapter 9. Elegance in Software (Robin K. Hill). |
| Record Nr. | UNINA-9910309856203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||