Results 181 to 190 of about 323,453 (199)

Programming languages and logics of programs

1983
We 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

The Art of Programming or Programs as Art

2009
The 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

Program

Innovations: Technology and Techniques in Cardiothoracic and Vascular Surgery, 2022
openaire   +2 more sources

Programming – DBS Programming

2011
openaire   +1 more source

Program

Asia-Pacific Journal of Clinical Oncology, 2014
openaire   +2 more sources

Programming

Proceedings of the 1st annual computer science conference on Program information abstracts - CWC '73, 1973
openaire   +1 more source

Program

Hepatology Research, 2008
openaire   +2 more sources

Programs

Transplantation, 2015
openaire   +2 more sources

PROGRAM RECOMMENDATION SYSTEM, PROGRAM VIEW TERMINAL, PROGRAM VIEW PROGRAM, PROGRAM VIEW METHOD, PROGRAM RECOMMENDATION SERVER, PROGRAM RECOMMENDATION PROGRAM, AND PROGRAM RECOMMENDATION METHOD

2011
YAMAOKA MASARU, MUKAI TSUTOMU, IKEDA YOICHI, SATO TAKAHIRO, OSHIMA MITSUAKI, IWASA TAKUMA, KUTSUMI HIROSHI   +6 more
openaire   +3 more sources

Program or Be Programmed

2010
openaire   +1 more source