Bilaketaren emaitzak - "automata"
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- Computer science 38
- Artificial intelligence 32
- Software Engineering 31
- Computer programming / software development 19
- Formal Languages and Automata Theory 19
- Machine theory 19
- Computer networking & communications 14
- Mathematical theory of computation 14
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Algorithms & data structures 12
- Artificial Intelligence 12
- Computer modelling & simulation 6
- Systems analysis & design 6
- Computer Modelling 5
- Computer simulation 5
- Research & information: general 5
- Algorithms 4
- Computer networks 4
- Expert systems / knowledge-based systems 4
- Mathematical foundations 4
- Network hardware 4
- Programming & scripting languages: general 4
- Technology: general issues 4
- Computers 3
- Discrete mathematics 3
- Electronic digital computers 3
- Evaluation 3
- History of engineering & technology 3
- Information technology industries 3
-
41
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Argitaratua 2022Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
42
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Argitaratua 2021Gaiak: “...automata theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
43
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Argitaratua 2022Gaiak: “...automata theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
44
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Argitaratua 2022Gaiak: “...formal languages and automata theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
45
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Argitaratua 2022Gaiak: “...language theory, automata, and games...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
46
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Argitaratua 2022Gaiak: “...language theory, automata, and games...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
47
Urban Planning and Sustainable Land Use
Argitaratua 2023Gaiak: “...cellular automata...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
48
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Argitaratua 2021Gaiak: “...Formal Languages and Automata Theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
49
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Argitaratua 2021Gaiak: “...Formal Languages and Automata Theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
50
Basics and Applications in Quantum Optics
Argitaratua 2022Gaiak: “...quantum finite automata...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
51
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...
Argitaratua 2021Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
52
Advanced Information Processing Methods and Their Applications
Argitaratua 2022Gaiak: “...Quantum-Dot Cellular Automata (QCA)...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
53
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...
Argitaratua 2021Gaiak: “...automata theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
54
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Argitaratua 2020Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
55
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...
Argitaratua 2021Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
56
Wastewater Based Microbial Biorefinery for Bioenergy Production
Argitaratua 2021Gaiak: “...cellular automata...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
57
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Argitaratua 2020Gaiak: “...automata theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
58
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...
Argitaratua 2021Gaiak: “...automata theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
59
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...
Argitaratua 2020Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
60
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...
Argitaratua 2020Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua