Languages
Pardo, Alberto.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Programming Languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings /
by:
SpringerLink (Online service); Pardo, Alberto.; Swierstra, S. Doaitse.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Pardo, Alberto.; SpringerLink (Online service); Barthe, Gilles.; Schneider, Gerardo.
(Language materials, printed)
Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Pardo, Alberto.; Swierstra, S. Doaitse.; SpringerLink (Online service)
(Language materials, printed)
LATIN 2014 = theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
SpringerLink (Online service); Pardo, Alberto.; Workshop on the Preservation of Stability under Discretization ((2001 :); Viola, Alfredo.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Data Structures.
Programming Techniques.
Computer Science.
Logics and Meanings of Programs.
Computer science
Artificial Intelligence (incl. Robotics)
Computer science.
Software engineering
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computation by Abstract Devices.