Browsing eNauka
Browsing by Author Steingartner William
Showing results 1 to 11 of 11
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2017 | An Analysis of Some Aspects of Component-Based Programming for Selecting Appropriate Categorical Structures as their Models | Steingartner William; Radaković Davorka ; Novitzká Valerie; Eldojali Mohamed Ali M. | Article | Mp. category will be shown later |
2013 | Categorical structures as expressing tool for differential calculus | Steingartner William; Radaković, Davorka | Conference Paper | Mp. category will be shown later |
2014 | Categorical structures as expressing tool for differential calculus | Steingartner William; Radakovic Davorka | Article | Mp. category will be shown later |
2018 | Extension of a dynamic geometry software with new data types and operations | Radaković Davorka ; Herceg Đorđe ; Steingartner William | Conference Paper | Mp. category will be shown later |
2022 | High School Students` Common Errors in Programming | Radakovic Davorka ; Steingartner William | Conference Paper | Mp. category will be shown later |
2022 | Natural semantics visualization for domain-specific language | Steingartner William; Zsiga Richard; Radakovic Davorka | Conference Paper | Mp. category will be shown later |
2018 | Software support for course in semantics of programming languages | Steingartner William; Eldojali Mohamed Ali M.; Radaković Davorka ; Dostal Jiri | Conference Paper | Mp. category will be shown later |
2016 | Some aspects about coalgebras as foundation for expressing the semantics of imperative languages | Steingartner William; Novitzká Valerie; Eldojali Mohamed Ali M.; Radaković Davorka | Conference Paper | Mp. category will be shown later |
2023 | Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language | Steingartner William; Radakovic Davorka ; Zsiga Richard | Article | Mp. category will be shown later |
2019 | Some innovations of teaching the course on Data structures and algorithms | Steingartner William; Eged Jan; Radaković Davorka ; Novitzka Valerie | Conference Paper | Mp. category will be shown later |
2021 | Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching | Steingartner William; Jankura Matúš; Radakovic Davorka | Conference Paper | Mp. category will be shown later |