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.
Data Structures and Information Theory.
Computer System Implementation.
Computer logic.
Artificial intelligence.
Languages.
Formal Languages and Automata Theory.
Information theory.
Software engineering.
Theory of Computation.
Logic in AI.
Natural language processing (Computer science).
Data structures (Computer science).
Computer Systems Organization and Communication Networks.
Computer science
Computer simulation.
Computer systems.
Simulation and Modeling.
Natural Language Processing (NLP).
Machine theory.
Computers.
Philology.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.