On Supplementing Theoretical Computer Science Courses using E-Learning

Proceedings of the 18th Koli Calling International Conference on Computing Education Research - Koli Calling '18 ◽

10.1145/3279720.3279734 ◽

2018 ◽

Author(s):

Arno Wilhelm-Weidner ◽

Nadine Bergner

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Science Courses ◽

Computer Science Courses ◽

Download Full-text

Rationale of students' failure in comprehending theoretical computer science courses

2014 International Conference on Computer and Information Sciences (ICCOINS) ◽

10.1109/iccoins.2014.6868436 ◽

2014 ◽

Author(s):

Muhammad Aasim Qureshi ◽

Mohd Fadzil Hassan ◽

Rabia Sammi

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Science Courses ◽

Computer Science Courses

Download Full-text

A Soa Based E-Learning System for Teaching Fundamental Informations of Computer Science Courses

International Journal of Web Technology ◽

10.20894/ijwt.104.002.001.001 ◽

2013 ◽

Vol 002 (001) ◽

pp. 1-5

Author(s):

S. Sagayaraj ◽

◽

N.S. Rajalakshmi ◽

M. Poovizhi ◽

◽

...

Keyword(s):

Computer Science ◽

Learning System ◽

Science Courses ◽

Computer Science Courses ◽

Download Full-text

Theoretical Computer Science

10.1007/978-3-642-15240-5 ◽

2010 ◽

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer

Download Full-text

Foundations of Software Technology and Theoretical Computer Science

10.1007/3-540-54967-6 ◽

1991 ◽

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Software Technology

Download Full-text

Results and Trends in Theoretical Computer Science

10.1007/3-540-58131-6 ◽

1994 ◽

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer

Download Full-text

Foundations of Software Technology and Theoretical Computer Science

10.1007/3-540-57529-4 ◽

1993 ◽

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Software Technology

Download Full-text

A new system for analyzing contents of Computer Science courses

2020 7th International Conference on Advance Informatics: Concepts, Theory and Applications (ICAICTA) ◽

10.1109/icaicta49861.2020.9429072 ◽

2020 ◽

Author(s):

Peerapon Kamlangpuech ◽

Komate Amphawan

Keyword(s):

Computer Science ◽

Science Courses ◽

Computer Science Courses ◽

Download Full-text

Why doesn't ACM have a SIG for theoretical computer science?

Communications of the ACM ◽

10.1145/2791388 ◽

2015 ◽

Vol 58 (8) ◽

pp. 5-5

Author(s):

Moshe Y. Vardi

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer

Download Full-text

Evaluating the Impact of Adaptive Parsons Problems on Students in Introductory Computer Science Courses

Proceedings of the 51st ACM Technical Symposium on Computer Science Education ◽

10.1145/3328778.3372640 ◽

2020 ◽

Author(s):

Mansi Shah ◽

Daniel D. Garcia

Keyword(s):

Computer Science ◽

Science Courses ◽

Computer Science Courses ◽

Introductory Computer Science ◽

Download Full-text

Yves Bertot and Pierre Casteran  Interactive Theorem Proving and Program Development (Coq'Art: The Calculus of Inductive Constructions). Texts in Theoretical Computer Science. An EATCS Series. (2004). ISBN 3-540-20854-2. 469pp. Hardcover.

The Computer Journal ◽

10.1093/comjnl/bxh141 ◽

2005 ◽

Vol 49 (1) ◽

pp. 130-131 ◽

Author(s):

Iman Hafiz Poernomo

Keyword(s):

Computer Science ◽

Program Development ◽

Theorem Proving ◽

Interactive Theorem Proving ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Calculus Of Inductive Constructions

Download Full-text