検索結果 - "Theory of Computation"
関連のトピックス ...
関連のトピックス ...
- Mathematical theory of computation 73
- Artificial intelligence 55
- Computer science 54
- Software Engineering 54
- Computer programming / software development 38
- Algorithms & data structures 29
- Theory of Computation 27
- Systems analysis & design 23
- Computer networking & communications 20
- Software engineering 14
- Computer modelling & simulation 12
- Computer networks 12
- Computer Engineering and Networks 11
- Computer engineering 11
- Computer architecture & logic design 8
- Computers 8
- Control Structures and Microprogramming 8
- Information technology: general issues 8
- Microprogramming 8
- Translation & interpretation 8
- linguistics 8
- Compilers (Computer programs) 7
- Compilers and Interpreters 7
- Artificial Intelligence 6
- Network hardware 6
- Software testing & verification 6
- Computer hardware 4
- Computer programming 4
- Electronic digital computers 4
- Ethical & social aspects of IT 4
-
41
Introduction to Scientific Programming with Python
出版事項 2020主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
42
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...
出版事項 2022主題: “…Theory of Computation.…”
Link to Metadata
電子媒体 eBook -
43
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...
出版事項 2020主題: “…Theory of Computation…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
44
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...
出版事項 2020主題: “…Theory of Computation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
45
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
出版事項 2021主題: “…Theory of Computation.…”
Link to Metadata
電子媒体 eBook -
46
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
出版事項 2020主題: “…Theory of Computation.…”
Link to Metadata
電子媒体 eBook -
47
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
出版事項 2022主題: “…Theory of Computation.…”
Link to Metadata
電子媒体 eBook -
48
The Everyday Life of an Algorithm
出版事項 2019主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
49
The Everyday Life of an Algorithm
出版事項 2019主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
50
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...
出版事項 2021主題: “…Theory of Computation…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
51
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
出版事項 2021主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
52
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...
出版事項 2021主題: “…Theory of Computation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
53
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
出版事項 2021主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
54
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
出版事項 2018主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
55
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
出版事項 2018主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
56
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
出版事項 2018主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
57
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
出版事項 2018主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
58
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
出版事項 2023主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
59
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
出版事項 2019主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
60
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
出版事項 2020主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章