-
6641Έκδοση 2018“… Communication Networks; Software Engineering/Programming and Operating Systems; Probability and Statistics…”
Λήψη πλήρους κειμένου
-
6642Έκδοση 2018“… logic; software engineering; theorem proving; type systems; verification…”
Λήψη πλήρους κειμένου
-
6643Έκδοση 2018“…; semantics; software engineering; specifications; state space; verification…”
Λήψη πλήρους κειμένου
-
6644Έκδοση 2018Πίνακας περιεχομένων: “… of Continuous Predictors in Logistic Regression -- Part VI Software Engineering -- A Generic Approach…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
6645Έκδοση 2018“… compilers; programming languages; security systems; semantics; separation logic; software engineering…”
Λήψη πλήρους κειμένου
-
6646Έκδοση 2018“… compilers; program verification; programming language; semantics; separation logic; software…”
Λήψη πλήρους κειμένου
-
6647Έκδοση 2018“…; software engineering; specifications; verification; world wide web…”
Λήψη πλήρους κειμένου
-
6648Έκδοση 2018“…. in Administrative Data Processing; Operations Management; Software Engineering; Special Purpose and Application…”
Λήψη πλήρους κειμένου
-
6649Έκδοση 2019“… that enables automatic parallelization of models. Along with a focus on the software engineering principles…”
Λήψη πλήρους κειμένου
-
6650Έκδοση 2021“… on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021…”
Λήψη πλήρους κειμένου
-
6651Έκδοση 2020“… International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place…”
Λήψη πλήρους κειμένου
-
6652Έκδοση 2020“… on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020…”
Λήψη πλήρους κειμένου
-
6653Έκδοση 2020“… for Geographers, Software Engineers, and Laypersons A coherent, readable introduction to a complex subject…”
-
6654Έκδοση 2020“… Konzepte aus dem Software Engineering auf die strategische Informationssystemplanung überträgt.…”
-
6655
-
6656
-
6657
-
6658
-
6659
-
6660