Tapia Tarifa, Silvia Lizeth.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.