Fundamentos de la Ciencia del Software y Estructuras Computacionales

Foundations of Software Science and Computation Structures

FoSSaCS: International Conference on Foundations of Software Science and Computation Structures. Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, (Thessaloniki, Greece, April 14–20, 2018):  Proceedings. Editors : Christel BaierUgo Dal Lago.

DESCARGAR PDFDESCARGAR EPUB

Este libro constituye las actas de la 21ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2018, que tuvo lugar en Tesalónica, Grecia, en abril de 2018, como parte de la Conferencia Conjunta Europea sobre Teoría y Práctica del Software, ETAPS 2018.

Los 31 trabajos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 103 propuestas. Las ponencias están organizadas en secciones temáticas denominadas: semántica; linealidad; concurrencia; lambda-calculi y tipos; teoría de categorías y control cuántico; modelos cuantitativos; lógicas y teorías ecuacionales; y gráficos y autómatas.

 

Libro: Intertwingled: The Work and Influence of Ted Nelson

Interwingled

Acceso

Intertwingled: The Work and Influence of Ted Nelson

Authors: Douglas R. Dechow — Daniele C. Struppa
Book Series: History of Computing
Year: 2015 Language: English
Publisher: Springer
Subject: Computer Science

Abstract:

 This engaging volume celebrates the life and work of Theodor Holm “Ted” Nelson, a pioneer and legendary figure from the history of early computing. Presenting contributions from world-renowned computer scientists and figures from the media industry, the book delves into hypertext, the docuverse, Xanadu and other products of Ted Nelson’s unique mind. Features: includes a cartoon and a sequence of poems created in Nelson’s honor, reflecting his wide-ranging and interdisciplinary intellect; presents peer histories, providing a sense of the milieu that resulted from Nelson’s ideas; contains personal accounts revealing what it is like to collaborate directly with Nelson; describes Nelson’s legacy from the perspective of his contemporaries from the computing world; provides a contribution from Ted Nelson himself. With a broad appeal spanning computer scientists, science historians and the general reader, this inspiring collection reveals the continuing influence of the original visionary of the World Wide Web.