15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / Manea, Florin ; Martin, Barnaby ; Paulusma, Daniël ; Primiero, Giuseppe  

Público ISBD Ningún comentario para este registro. Título : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings Tipo de documento: documento electrónico Autores: Manea, Florin, ; Martin, Barnaby, ; Paulusma, Daniël, ; Primiero, Giuseppe, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 323 p. 479 ilustraciones, 12 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-22996-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Algoritmos  Ciencias de la Computación  Teoría de las máquinas  Inteligencia artificial  Informática  Matemáticas discretas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Ciencia de los datos  Matemáticas discretas en informática Índice Dewey: 518.1 Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia sobre Computabilidad en Europa, CiE 2019, celebrada en Durham, Reino Unido, en julio de 2019. Los 20 artículos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 35 presentaciones. Además, este volumen incluye 7 ponencias invitadas. La conferencia CiE 2018 contó con las siguientes seis sesiones especiales: neurociencia computacional, historia y filosofía de la computación, nociones básicas en computabilidad, programación probabilística y computación de orden superior, análisis probabilístico y suavizado de algoritmos y computación transnita. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings [documento electrónico] / Manea, Florin, ; Martin, Barnaby, ; Paulusma, Daniël, ; Primiero, Giuseppe,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XII, 323 p. 479 ilustraciones, 12 ilustraciones en color. ISBN : 978-3-030-22996-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Algoritmos  Ciencias de la Computación  Teoría de las máquinas  Inteligencia artificial  Informática  Matemáticas discretas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Ciencia de los datos  Matemáticas discretas en informática Índice Dewey: 518.1 Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia sobre Computabilidad en Europa, CiE 2019, celebrada en Durham, Reino Unido, en julio de 2019. Los 20 artículos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 35 presentaciones. Además, este volumen incluye 7 ponencias invitadas. La conferencia CiE 2018 contó con las siguientes seis sesiones especiales: neurociencia computacional, historia y filosofía de la computación, nociones básicas en computabilidad, programación probabilística y computación de orden superior, análisis probabilístico y suavizado de algoritmos y computación transnita. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Reflections on Programming Systems / De Mol, Liesbeth ; Primiero, Giuseppe  

Público ISBD Ningún comentario para este registro. Título : Reflections on Programming Systems : Historical and Philosophical Aspects Tipo de documento: documento electrónico Autores: De Mol, Liesbeth, ; Primiero, Giuseppe, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: VIII, 286 p. 79 ilustraciones ISBN/ISSN/DL: 978-3-319-97226-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Tecnología  Sistemas operativos (computadoras)  Ordenador  Historia  Filosofía de la tecnología  Sistemas operativos  Historia de la Computación  Historia de la ciencia  Historia de la tecnologia Índice Dewey: 601 Filosofía y teoría de la tecnología Resumen: Este libro presenta un análisis filosófico e histórico sistemático de los sistemas operativos (0S). La discusión comienza con la evolución de los SO desde antes de su nacimiento. Continúa con un análisis filosófico integral basado en aspectos técnicos. La cobertura analiza el software y (cuando corresponda) el hardware, así como sus desarrollos históricos. Los autores no sólo ofrecen reflexiones históricas y filosóficas sobre los sistemas operativos. También exploran los programas que coordinan y rastrean las consecuencias epistémicas y ontológicas de sus diseños. Cada capítulo investiga uno o más fragmentos superpuestos de esta fascinante historia. Estos incluyen: el nacimiento del sistema UNIX y el desarrollo de los primeros sistemas y prototipos; un análisis conceptual de la pluralidad de sistemas; una investigación sobre aspectos comerciales, éticos y estéticos relacionados con los sistemas operativos; y principios lógicos de los lenguajes formales. Este libro interesará a investigadores de diversos orígenes. Será de interés para historiadores, filósofos, así como para lógicos e informáticos que quieran abordar temas relevantes para la historia y la filosofía de la programación y, más específicamente, la de los sistemas operativos. Nota de contenido: 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). En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Reflections on Programming Systems : Historical and Philosophical Aspects [documento electrónico] / De Mol, Liesbeth, ; Primiero, Giuseppe,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - VIII, 286 p. 79 ilustraciones. ISBN : 978-3-319-97226-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Tecnología  Sistemas operativos (computadoras)  Ordenador  Historia  Filosofía de la tecnología  Sistemas operativos  Historia de la Computación  Historia de la ciencia  Historia de la tecnologia Índice Dewey: 601 Filosofía y teoría de la tecnología Resumen: Este libro presenta un análisis filosófico e histórico sistemático de los sistemas operativos (0S). La discusión comienza con la evolución de los SO desde antes de su nacimiento. Continúa con un análisis filosófico integral basado en aspectos técnicos. La cobertura analiza el software y (cuando corresponda) el hardware, así como sus desarrollos históricos. Los autores no sólo ofrecen reflexiones históricas y filosóficas sobre los sistemas operativos. También exploran los programas que coordinan y rastrean las consecuencias epistémicas y ontológicas de sus diseños. Cada capítulo investiga uno o más fragmentos superpuestos de esta fascinante historia. Estos incluyen: el nacimiento del sistema UNIX y el desarrollo de los primeros sistemas y prototipos; un análisis conceptual de la pluralidad de sistemas; una investigación sobre aspectos comerciales, éticos y estéticos relacionados con los sistemas operativos; y principios lógicos de los lenguajes formales. Este libro interesará a investigadores de diversos orígenes. Será de interés para historiadores, filósofos, así como para lógicos e informáticos que quieran abordar temas relevantes para la historia y la filosofía de la programación y, más específicamente, la de los sistemas operativos. Nota de contenido: 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). En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 2 / 2) Par page : 25 50 100 200