Barbosa, Luis Soares.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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 :)
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.