Résultats de la recherche - "theoretical computer science"
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
- Software Engineering 8
- Artificial intelligence 6
- Computer networking & communications 6
- Algorithms & data structures 4
- Mathematical theory of computation 4
- Network hardware 4
- Computer architecture & logic design 2
- Computer programming / software development 2
- Computer science 2
- Expert systems / knowledge-based systems 2
- Operating systems 2
- Systems analysis & design 2
-
1
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Publié 2022Sujets: “…theoretical computer science…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
2
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Publié 2022Sujets: “…theoretical computer science…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
3
Algorithms for Big Data DFG Priority Program 1736
Publié 2022Sujets: “…theoretical computer science…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
4
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Publié 2022Sujets: “…theoretical computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
5
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Publié 2022Sujets: “…theoretical computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
6
Algorithms for Big Data DFG Priority Program 1736
Publié 2022Sujets: “…theoretical computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
7
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Publié 2022Sujets: “…theoretical computer science…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
8
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Publié 2022Sujets: “…theoretical computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre -
9
Symmetry Measures on Complex Networks
Publié 2017Sujets: “…theoretical computer science…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
10
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Publié 2020Sujets: “…theoretical computer science…”
DOAB: download the publication
DOAB: description of the publication
Électronique Chapitre de livre -
11
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Publié 2020Sujets: “…theoretical computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Électronique Chapitre de livre