語系
Breitman, Karin.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Conversations around semiotic engineering
by:
Breitman, Karin.; Barbosa, Simone Diniz Junqueira.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
Cavalcanti, Ana.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Breitman, Karin.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Language Translation and Linguistics.
Human-computer interaction.
Natural language processing (Computer science)
User Interfaces and Human Computer Interaction.
Software engineering
Semiotics.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Models and Principles.