Barbosa, Luis Soares.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
SpringerLink (Online service); Barbosa, Luis Soares.; Workshop on the Preservation of Stability under Discretization ((2001 :); Carvalho Junior, Francisco Heron.
(書目-語言資料,印刷品)
Artificial intelligence logic and applications = 4th international conference, AILA 2024, Lanzhou, China, August 10-11, 2024, proceedings /
by:
SpringerLink (Online service); Zhang, Songmao.; Barbosa, Luis Soares.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
SpringerLink (Online service); Lumpe, Markus.; Barbosa, Luis Soares.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Computer Communication Networks.
Formal Languages and Automata Theory.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Component software
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial intelligence
Computer logic
Artificial Intelligence.
Computer science.
Logic design.
Programming languages (Electronic computers)
Computer networks.
Programming Languages, Compilers, Interpreters.