Languages
Pardo, Alberto.
Overview
| Works: | 5 works in 3 publications in 1 languages | |
|---|---|---|
Titles
LATIN 2014theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
(1998 :); Pardo, Alberto.; SpringerLink (Online service); Viola, Alfredo.
(Electronic resources)
Software engineering and formal methods9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(1998 :); Barthe, Gilles.; Pardo, Alberto.; Schneider, Gerardo.; SpringerLink (Online service)
(Electronic resources)
Programming languages19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(1998 :); Pardo, Alberto.; SpringerLink (Online service); Swierstra, S. Doaitse.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer science
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Computer science.