4172 search results - page 13 / 835 » Computing Machinery and Understanding |
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
COMPUTER
2008
14 years 9 months ago
2008
![The Dea[r]th of Human Understanding](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "The Dea[r]th of Human Understanding")
COMPUTER
2007
14 years 9 months ago
2007
68
Voted
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
ICSOC
2010
Springer
14 years 8 months ago
2010
Springer
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...