Results 261 to 270 of about 10,481,257 (313)
Some of the next articles are maybe not open access.
ACM Inroads, 2015
We all know that computing is exciting, yet students claim to find programming boring. We try to reassure them that computing is not just programming . While this is trivially true, I believe that it overlooks the fundamental place of programming in computing and can lead to adverse effects if ...
openaire +1 more source
We all know that computing is exciting, yet students claim to find programming boring. We try to reassure them that computing is not just programming . While this is trivially true, I believe that it overlooks the fundamental place of programming in computing and can lead to adverse effects if ...
openaire +1 more source
PROCHECK: a program to check the stereochemical quality of protein structures
, 1993R. Laskowski +3 more
semanticscholar +1 more source
Programming languages and logics of programs
1983We prove the completeness theorem for a class of logics of programs. As corollaries of our result, we obtain the completeness theorem for a large class of extensions of PDL.
openaire +1 more source
OLEX2: a complete structure solution, refinement and analysis program
, 2009O. Dolomanov +4 more
semanticscholar +1 more source
The Art of Programming or Programs as Art
2009The paper reviews developments in the implications of software programming in art practice whilst pointing to a recognition of the art in programming. The concerns in software-based art are significantly more conceptual than was often the case before. Following the Russian constructivist artists, the software artist is more concerned with the plan for ...
openaire +2 more sources
Innovations: Technology and Techniques in Cardiothoracic and Vascular Surgery, 2022
openaire +2 more sources
openaire +2 more sources