Results 251 to 260 of about 518,705 (322)

Undergraduate Computer Science Students’ Perception and Motivation: A Feasibility Study and a Proposed Technique for Multimedia Approach in Teaching and Learning Introductory Programming

Proceedings of the Regional Conference on Science, Technology and Social Sciences (RCSTSS 2016), 2018
Norahimah Hj Hamzah, Nazrul Azha Mohamed Shaari, Hayati Abd Rahman   +2 more
semanticscholar   +1 more source

A Multi-Aspect Visualization Framework for Advancing STEM Pedagogy and SDG4: Digital India's Computer Science OLabs

SN Computer Science
J. Swaminathan, K. R. Kavitha, B. Sibin, R. Raman, Prema Nedungadi   +4 more
semanticscholar   +1 more source

From Semantics to Computer Science

, 2009
Christian Urban, Tobias Nipkow
openalex   +2 more sources

Truth, deduction and computation: Logic and semantics for computer science

, 1990
Ralf Kneuper
openalex   +1 more source

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

, 2009
Yves Bertot, G. Huèt, Jean-jacques Lvy, G. Plotkin   +3 more
semanticscholar   +1 more source

From Semantics to Computer Science: Nominal verification of algorithm W

, 2009
Christian Urban, T. Nipkow
semanticscholar   +1 more source

From Semantics to Computer Science: The semantics of dataflow with firing

, 2009
Edward A. Lee, E. Matsikoudis
semanticscholar   +1 more source

Qualitative versus quantitative fixed point techniques in computer science

, 2017
M. Lopez-Ramirez, Ó. Valero
semanticscholar   +1 more source

Edsger W. Dijkstra and Carel S. Scholten. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp.

, 1994
Egon Börger
openalex   +1 more source

Applications of Categories in Computer Science: Computational comonads and intensional semantics

, 1992
S. Brookes, S. Geva
semanticscholar   +1 more source