検索結果 - "mathematical theory"
関連のトピックス ...
関連のトピックス ...
- Mathematical theory of computation 73
- Artificial intelligence 46
- Computer programming / software development 38
- Software Engineering 38
- Algorithms & data structures 27
- Computer science 26
- Systems analysis & design 23
- Computer networking & communications 18
- Computer modelling & simulation 12
- Computer architecture & logic design 8
- Information technology: general issues 8
- Translation & interpretation 8
- linguistics 8
- Network hardware 6
- Software testing & verification 6
- Computer hardware 4
- Ethical & social aspects of IT 4
- Expert systems / knowledge-based systems 4
- Mathematical foundations 4
- Maths for scientists 4
- Programming & scripting languages: general 4
- Computer security 3
- Games development & programming 3
- Maths for engineers 3
- Robotics 3
- Applied mathematics 2
- Calculus of variations 2
- Cellular biology (cytology) 2
- Computer vision 2
- Computing & information technology 2
-
21
Introduction to Scientific Programming with Python
出版事項 2020主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
22
The Everyday Life of an Algorithm
出版事項 2019主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
23
The Everyday Life of an Algorithm
出版事項 2019主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
24
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
電子媒体 図書の章 -
25
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
電子媒体 図書の章 -
26
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
電子媒体 図書の章 -
27
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
電子媒体 図書の章 -
28
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
電子媒体 図書の章 -
29
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
電子媒体 図書の章 -
30
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
電子媒体 図書の章 -
31
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
電子媒体 図書の章 -
32
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
電子媒体 図書の章 -
33
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
出版事項 2021主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
34
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…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
35
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
出版事項 2020主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
36
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
出版事項 2021主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
37
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
出版事項 2023主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章 -
38
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
電子媒体 図書の章 -
39
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
出版事項 2019主題: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication
電子媒体 図書の章 -
40
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
出版事項 2019主題: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
電子媒体 図書の章