4172 search results - page 13 / 835 » Computing Machinery and Understanding |
OOPSLA
2010
Springer
15 years 11 days ago
2010
Springer
COMPUTER
2008
15 years 2 months ago
2008
![The Dea[r]th of Human Understanding](https://sciweavers.org/files/imagecache/thumbnail/default/content.jpg "The Dea[r]th of Human Understanding")
COMPUTER
2007
15 years 2 months ago
2007
99
Voted
BIRTHDAY
2008
Springer
15 years 4 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...
116
click to vote
ICSOC
2010
Springer
15 years 1 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...