Tapia Tarifa, Silvia Lizeth.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical aspects of computing - ICTAC 2023 = 20th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
Tapia Tarifa, Silvia Lizeth.; Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.; Dubslaff, Clemens.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings /
by:
Proença, José.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /
by:
Tapia Tarifa, Silvia Lizeth.; Ahrendt, Wolfgang.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer organization.
Computer System Implementation.
Data Structures and Information Theory.
Computer logic.
Artificial intelligence.
Languages.
Information theory.
Formal Languages and Automata Theory.
Software engineering.
Theory of Computation.
Logic in AI.
Natural language processing (Computer science).
Computers.
Philology.
Data structures (Computer science).
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Computer science
Computer simulation.
Computer Science Logic and Foundations of Programming.
Computer systems.
Simulation and Modeling.
Natural Language Processing (NLP).
Machine theory.