This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
5 found
Search inside:
(import / add options)   Sort by:
  1. Paul E. Ceruzzi (2003). A History of Modern Computing. MIT.
    Ceruzzi pens a history of computing from the development of the first electronic digital computer to the Web and dot-com crash.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Anne von der Lieth Gardner (1987). An Artificial Intelligence Approach to Legal Reasoning. MIT Press.
  3. David Love (2008). A Philosophy of Maintenance? Engaging with the Concept of Software. Philosophy of Management 6 (2):27-30.
    Although reducing the costs of software maintenance has long been held as an important goal, few researchers have studied software maintenance - except in the context of software design. However, thinking in software design is itself muddled by the frequent confusion over the term ‘software’ and ‘programs’. In this paper we argue for a re-examination of the underlying philosophical foundations of programs, in order to establish software as a phenomenon in its own right. Once we understand the basic structure of (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Yiannis Moschovakis (2001). What is an Algorithm? In Mathematics Unlimited --- 2001 and beyond.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  5. Philip Wadler, Proofs Are Programs: 19th Century Logic and 21st Century Computing.
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...)
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation