Tapia Tarifa, Silvia Lizeth.
概要
作品: | 2 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Formal aspects of component software18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings /
by:
(1998 :); Proenca, Jose.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(書目-電子資源)
Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /
by:
(1998 :); Ahrendt, Wolfgang.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(書目-電子資源)
Theoretical aspects of computing - ICTAC 202320th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
(1998 :); Abraham, Erika.; Dubslaff, Clemens.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Software engineering
Data Structures and Information Theory.
Natural Language Processing (NLP)
Logic in AI.
Component software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Languages.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Computer science
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer System Implementation.