Languages
Simao, Adenilso.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings /
by:
Pun, Violet Ka I.; Simao, Adenilso.; SpringerLink (Online service); Stolz, Volker.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Morgan, Carroll.; Simao, Adenilso.
(Language materials, printed)
Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Davies, Jim.; SpringerLink (Online service); Simao, Adenilso.; Silva, Leila.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer logic.
Software engineering.
Natural language processing (Computer science).
Programming Techniques.
Computer Science.
Microprogramming .
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Management of Computing and Information Systems.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Natural Language Processing (NLP).
Programming Languages, Compilers, Interpreters.