語系
Pardo, Alberto.
概要
| 作品: | 5 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
LATIN 2014theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
(1998 :); Pardo, Alberto.; SpringerLink (Online service); Viola, Alfredo.
(書目-電子資源)
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)
(書目-電子資源)
Programming languages19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(1998 :); Pardo, Alberto.; SpringerLink (Online service); Swierstra, S. Doaitse.
(書目-電子資源)
主題
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.