語系
Pardo, Alberto.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming Languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings /
by:
SpringerLink (Online service); Pardo, Alberto.; Swierstra, S. Doaitse.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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.