Suchergebnisse - "Computer programming"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 112
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 71
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 69
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering 53
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 47
- thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications 30
- Computer science 28
- Software Engineering 28
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 28
- thema EDItEUR::U Computing and Information Technology::UY Computer science 26
- artificial intelligence 25
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general 25
- embedded systems 23
- formal logic 22
- thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems 21
- thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics 21
- Algorithms & data structures 19
- model checking 19
- software architecture 19
- software engineering 19
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMA Programming techniques 19
- Open Access 18
- computer programming 18
- software design 18
- distributed computer systems 17
- computer systems 16
- software quality 16
- Ingeniería de sistemas 15
- Lenguajes de programación 15
- Software engineering 15
-
Computer Aided Verification
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Computer Aided Verification
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Computer Aided Verification
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Simulation of the laser melting process of titanium using Smoothed Particle Hydrodynamics
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering …”
Volltext
Online -
Metareference in Videogames
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMK Games development and programming …”
Volltext
Online -
Bridging the Gap Between AI and Reality
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Automated Reasoning with Analytic Tableaux and Related Methods
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Frontiers of Combining Systems
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Bridging the Gap Between AI and Reality
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Intelligent Localization for Integrated Sensing and Communication
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming …”
Volltext
Online -
Smart IoT for Sustainable Development
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification …”
Volltext
Online -
Datenerfassung für die Anwendung lernender Algorithmen bei der Herstellung von Blechformteilen
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures …”
Volltext
Online -
Introduction to Ethical Software Development
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Let’s Talk AI
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Agile Processes in Software Engineering and Extreme Programming – Workshops
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering …”
Volltext
Online -
Automatic Code Generation for Massively Parallel Applications in Computational Fluid Dynamics
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering …”
Volltext
Online -
Detecting Unrealizable Bit Vector Program Synthesis Problems
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters …”
Volltext
Online -
Ein datenparalleler Ansatz zur Beschleunigung von Datenflussanalysen mittels GPU
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters …”
Volltext
Online -
Mobile Gait Analysis: From Prototype towards Clinical Grade Wearable
Veröffentlicht 2025Schlagworte: “… thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering …”
Volltext
Online