- Programming languages 84
- Mathematical logic 81
- Artificial intelligence 80
- Inteligencia artificial 80
- Lenguajes de programación 79
- Lógica matemática 77
- Software engineering 76
- Logics and meanings of programs 75
- Formal languages 71
- Lógica y significado de programas 70
- Lenguajes formales 64
- Ingeniería de software 61
- Analysis of algorithms and problem complexity 52
- Análisis de algoritmos y problemas de complejidad 48
- Discrete mathematics 48
- Computer networks 44
- Matemática discreta 44
- Mathematical logic-Computation 44
- Programming techniques 44
- Redes de computadoras 43
- Computation by abstract devices 42
- Lógica matemática-Computación 42
- Database management 38
- Deducción y prueba de teoremas 38
- Deduction and theorem proving 37
- Computación mediante dispositivos abstractos 36
- Data encryption 35
- Sistemas distribuidos 35
- Computer science 34
- Distributed systems 34
-
21
Handbook of logic in computer science /
Published 1992Table of Contents: “…Logical methods in computer science.…”
Book -
22
-
23
-
24
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
25
-
26
-
27
Probability theory and computer science /
Published 1983“…International lecture series in computer science…”
Book -
28
-
29
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht /
Published 1997“…Lecture notes in computer science ;…”
Book -
30
Logic foundations of computer science /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
31
Mathematical foundations of computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
32
Challenges of teaching Computer Science
Published 2016“…These data includes pre and post teachers’ survey who participated in the course and transfered what they learned in the professional development to their classrooms. Tutor’s -Computer Science advance students- who attended the lessons and supported teachers with the implementation of teaching programming, observed and recorded the lessons. …”
Get full text
Online -
33
-
34
-
35
-
36
-
37
A basis for theoretical computer science /
Published 1981“…Texts and monographs in computer science…”
Book -
38
Mathematical foundations of computer science 1977 : Proceedings /
Published 1977“…Lecture notes in computer science ;…”
Conference Proceeding Book -
39
Graph grammars and their application to computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
40
Mathematical foundations of computer science 1995 : 20th international symposium, MFCS'95 Prague, Czech Republic, August 28/September 1,1995 Proceeding /
Published 1995“…Lecture notes in computer science ;…”
Book