Canlyniadau Chwilio - "Mathematical theory of computation"
Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 70
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists 43
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 39
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 36
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 18
- Computer science 17
- artificial intelligence 16
- formal logic 15
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 15
- Mathematical theory of computation 14
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 14
- embedded systems 13
- model checking 13
- software architecture 13
- thema EDItEUR::U Computing and Information Technology::UY Computer science 13
- thema EDItEUR::U Computing and Information Technology::UK Computer hardware 12
- software engineering 11
- Open Access 10
- software design 10
- Artificial intelligence 9
- Computer Science 9
- automata theory 9
- formal languages 9
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation 9
- Mathematical logic 8
- Theory of Computation 8
- software quality 8
- thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications 8
- Algorithms & data structures 7
- Applications 7
Chwilio eraill:
- mathematical »
- "Mathematical theory of computation" »
-
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
Cyhoeddwyd 2023Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Cyhoeddwyd 2023Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Architecture-based Evolution of Dependable Software-intensive Systems
Cyhoeddwyd 2023Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Abbildende Ellipsometrie mit Lichtwegumkehrung für die optische Charakterisierung von gekrümmten Oberflächen
Cyhoeddwyd 2023Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Self-learning Anomaly Detection in Industrial Production
Cyhoeddwyd 2023Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Roboter für Assistenzfunktionen
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Nutzung von Blickbewegungen für die Mensch-Computer-Interaktion mit dynamischen Bildinhalten am Beispiel der Videobildauswertung
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Dualities in graphs and digraphs
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
Fundamental Approaches to Software Engineering
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
Foundations of Software Science and Computation Structures
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
A Reference Structure for Modular Model-based Analyses
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
Foundations of Software Science and Computation Structures
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
Harmony and Paradox
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
Advanced Mathematical Science for Mobility Society
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online -
Distributed Planning for Self-Organizing Production Systems
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Methodische Evaluation von Verfahren zur Korrektur atmosphärischer Turbulenz in Bildsequenzen
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Context-based Access Control and Attack Modelling and Analysis
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists...”
Cael y testun llawn
Online -
Automated Reasoning
Cyhoeddwyd 2024Pynciau: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation...”
Cael y testun llawn
Online