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.
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.