Bilaketaren emaitzak - "automata theory"
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- Computer science 35
- Artificial intelligence 31
- Software Engineering 31
- Formal Languages and Automata Theory 19
- Machine theory 19
- Computer programming / software development 16
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- Computer networking & communications 12
- Mathematical theory of computation 12
- Algorithms & data structures 10
- Computer modelling & simulation 6
- Computer Modelling 5
- Computer simulation 5
- Algorithms 4
- Computer networks 4
- Expert systems / knowledge-based systems 4
- Network hardware 4
- Systems analysis & design 4
- Computers 3
- Electronic digital computers 3
- Evaluation 3
- Professions 3
- System Performance and Evaluation 3
- The Computing Profession 3
- Coding theory & cryptology 2
- Computer Communication Networks 2
- Computer Engineering and Networks 2
- Computer engineering 2
-
41
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 -
42
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 -
43
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 -
44
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 -
45
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 -
46
In Memoriam, Solomon Marcus
Argitaratua 2022Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
47
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 -
48
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 -
49
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...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
50
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...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
51
Algebraic Structures and Graph Theory
Argitaratua 2023Gaiak: “...automata theory...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
52
Logic and Automata History and Perspectives
Argitaratua 2008DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
53
Logic and Automata History and Perspectives
Argitaratua 2007OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
54
Real-World Applications of Genetic Algorithms
Argitaratua 2012DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
55
Mathematics in Software Reliability and Quality Assurance
Argitaratua 2022DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
56
FORMATION AND DEVELOPMENT OF SOFTWARE ENGINEERING AS A KNOWLEDGE AREA
Argitaratua 2018Connect to this object online.
Liburua