- Computer Simulations in Science and Engineering. Concept, Practices, Perspectives.Juan Manuel Durán - 2018 - Springer.details
|
|
Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.details
|
|
The limits of correctness.Brian Cantwell Smith - 1985 - Acm Sigcas Computers and Society 14 (1):18-26.details
|
|
Implementation is Semantic Interpretation.Willam J. Rapaport - 1999 - The Monist 82 (1):109-130.details
|
|
Three myths of computer science.James H. Moor - 1978 - British Journal for the Philosophy of Science 29 (3):213-222.details
|
|
Extending Ourselves: Computational Science, Empiricism, and Scientific Method.Paul Humphreys - 2004 - New York, US: Oxford University Press.details
|
|
What an Algorithm Is.Robin K. Hill - 2016 - Philosophy and Technology 29 (1):35-59.details
|
|
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.details
|
|
Varying the Explanatory Span: Scientific Explanation for Computer Simulations.Juan Manuel Durán - 2017 - International Studies in the Philosophy of Science 31 (1):27-45.details
|
|
Grounds for Trust: Essential Epistemic Opacity and Computational Reliabilism.Juan M. Durán & Nico Formanek - 2018 - Minds and Machines 28 (4):645-666.details
|
|
When are two algorithms the same?Andreas Blass, Nachum Dershowitz & Yuri Gurevich - 2009 - Bulletin of Symbolic Logic 15 (2):145-168.details
|
|
Reconstructing Reality: Models, Mathematics, and Simulations.Margaret Morrison - 2014 - New York, US: Oup Usa.details
|
|
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.details
|
|
Epistemic opacity, confirmation holism and technical debt: computer simulation in the light of empirical software engineering.Julian Newman - 2016 - In History and Philosophy of Computing (IFIP AICT 487). Cham, Switzerland: Springer. pp. 256-272.details
|
|