Search Results - "automata theory"
Suggested Topics within your search.
Suggested Topics within your search.
- 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...
Published 2021Subjects: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
42
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
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...
Published 2021Subjects: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
44
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
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...
Published 2021Subjects: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
46
In Memoriam, Solomon Marcus
Published 2022Subjects: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
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...
Published 2020Subjects: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
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...
Published 2020Subjects: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
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...
Published 2020Subjects: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
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...
Published 2020Subjects: “…automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
51
Algebraic Structures and Graph Theory
Published 2023Subjects: “…automata theory…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
52
Logic and Automata History and Perspectives
Published 2008DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
53
Logic and Automata History and Perspectives
Published 2007OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
54
Real-World Applications of Genetic Algorithms
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
55
Mathematics in Software Reliability and Quality Assurance
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
56