Resultados de búsqueda - "automata"

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Materias: “…Formal Languages and Automata Theory…”
DOAB: download the publication
DOAB: description of the publication

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Materias: “…Formal Languages and Automata Theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Basics and Applications in Quantum Optics

Materias: “…quantum finite automata…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication

Advanced Information Processing Methods and Their Applications

Materias: “…Quantum-Dot Cellular Automata (QCA)…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Materias: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication

Wastewater Based Microbial Biorefinery for Bioenergy Production

Materias: “…cellular automata…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Materias: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

Materias: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Mathematical Modelling in Engineering & Human Behaviour 2018 por Carlos Cortés, Juan

Materias: “…cellular automata…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Materias: “…language theory, automata, and games…”
DOAB: download the publication
DOAB: description of the publication

Mathematics in Software Reliability and Quality Assurance

Materias: “…fuzzy automata…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Materias: “…language theory, automata, and games…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Selected Papers from the 8th Symposium on Micro-Nano Science and Technology on Micromachines por Morimoto, Yuya

Materias: “…cellular automata…”
DOAB: download the publication
DOAB: description of the publication