- Analysis of algorithms and problem complexity
- Logics and meanings of programs 11
- Análisis de algoritmos y problemas de complejidad 10
- Lógica y significado de programas 10
- Lenguajes formales 7
- Lógica matemática 7
- Computación mediante dispositivos abstractos 6
- Computation by abstract devices 6
- Formal languages 6
- Graph theory 6
- Mathematical logic 6
- Teoría de grafos 6
- Computational geometry and object modeling 4
- Computer networks 3
- Geometría computacional y modelado de objetos 3
- Ingeniería de software 3
- Lenguajes de programación 3
- Programación-Técnicas 3
- Programming languages 3
- Programming techniques 3
- Redes de computadoras 3
- Software engineering 3
- Ciencias sociales y de la conducta 2
- Clases de complejidad 2
- Complexity classes 2
- Data structures 2
- Estructura de datos 2
- Modes of computation 2
- Modos de computación 2
- Operating systems 2
-
1
Automata, languages and programming : 36th international Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings /
Published 2009Subjects:Conference Proceeding Book -
2
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995Subjects:Conference Proceeding Book -
3
Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /
Published 1996Subjects: “…Lógica y significado de programas.…”
Conference Proceeding Book -
4
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
5
Foundations of software technology and theoretical computer science /
Published 1996Subjects:Conference Proceeding Book -
6
-
7
Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings /
Published 1997Subjects:Conference Proceeding Book -
8
-
9
-
10
-
11
Foundations of software technology and theoretical computer science /
Published 1995Subjects:Conference Proceeding Book