Biblio

Found 66 results
2015
T. Haigh, “The Tears of Donald Knuth”, Communications of the ACM, vol. 58, no. 1, 2015.
E. G. Daylight, “Towards a Historical Notion of ‘Turing—the Father of Computer Science’”, History and Philosophy of Logic, pp. 1-24, 2015.
G. Sommaruga and Strahm, T., Turing's Revolution: The Impact of His Ideas about Computability. Birkhäuser, 2015, p. 329.
S. Bringsjord, “A Vindication of Program Verification”, History and Philosophy of Logic, pp. 1-16, 2015.
R. K. Hill, “What an Algorithm Is”, Philosophy & Technology, pp. 1-25, 2015.
L. De Mol and Primiero, G., “When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science”, History and Philosophy of Logic, pp. 1-10, 2015.
2014
A. Steiner, “Book Review: Cortada (2012) Digital Flood, by André Steiner”, 2014. [Online]. Available: http://hsozkult.geschichte.hu-berlin.de/rezensionen/2014-1-090.
P. Fishwick, “Computing As Model-based Empirical Science”, in Proceedings of the 2Nd ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation, New York, NY, USA, 2014.
J. Dubucs and Bourdeau, M., Constructivity and Computability in Historical and Philosophical Perspective, vol. 34. Springer, 2014.
H. Durnova, “Embracing the Algol Effort in Czechoslovakia”, Annals of the History of Computing, IEEE, vol. 36, pp. 26-37, 2014.
L. De Mol and Primiero, G., “Facing Computing as Technique: Towards a History and Philosophy of Computing”, Philosophy & Technology, pp. 1-6, 2014.
S. Gruner, “On the historical semantics of the notion of software architecture”, The Journal for Transdisciplinary Research in Southern Africa, vol. 10, no. 1, 2014.
S. Krakowiak, “Les débuts d’une approche scientifique des systèmes d’exploitation”, 2014. [Online]. Available: https://interstices.info/jcms/int_70839/les-debuts-dune-approche-scientifique-des-systemes-dexploitation.
L. Floridi, Fresco, N., and Primiero, G., “On malfunctioning software”, Synthese, pp. 1-22, 2014.
N. Angius, “The Problem of Justification of Empirical Hypotheses in Software Testing”, Philosophy & Technology, pp. 1-17, 2014.
J. Symons and Horner, J., “Software Intensive Science”, Philosophy & Technology, pp. 1-17, 2014.
R. Clowes, “Thinking in the Cloud: The Cognitive Incorporation of Cloud-Based Technology”, Philosophy & Technology, pp. 1-36, 2014.
W. Schonbein, “Varieties of Analog and Digital Representation”, Minds and Machines, pp. 1-24, 2014.
2013
B. S. Cooper and van Leeuwen, J., Alan Turing: His Work and Impact . Elsevier Science, 2013.
M. H. G. Hoffmann, “Changing Philosophy Through Technology: Complexity and Computer-Supported Collaborative Argument Mapping”, Philosophy & Technology, pp. 1-22, 2013.
V. Schiaffonati and Verdicchio, M., “Computing and Experiments”, Philosophy & Technology, pp. 1-18, 2013.
D. E. Knuth and Daylight, E. G., The Essential Knuth, vol. 2013. Heverlee: Lonely Scholar, 2013.
F. Gobbo and Benini, M., “From Ancient to Modern Computing: A History of Information Hiding”, IEEE Annals of the History of Computing, vol. 35, no. 3, 2013.
G. Primiero, “Honesty, Competence, and Trust for Systems Design”, Philosophy & Technology, pp. 1-5, 2013.
J. Dewhurst, “Mechanistic Miscomputation: a Reply to Fresco and Primiero”, Philosophy & Technology, pp. 1-4, 2013.

Pages