Suchergebnisse - Raschke, Alexander
- Treffer 1 – 10 von 10
-
1Video-Taktiktraining im Tennis - feldexperimentelle Überprüfung der Wirksamkeit bei 10-14-jährigen TurnierspielernVeröffentlicht 2018Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Hochschulschrift/Dissertation Buch -
2Modeling companion for software practitionersVeröffentlicht 2018Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
3Modeling companion for software practitionersVeröffentlicht 2018Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
4Rigorous state-based methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedingsVeröffentlicht 2021Weitere beteiligte Personen: “… Raschke, Alexander …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
5Rigorous state-based methods: 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedingsVeröffentlicht 2020Weitere beteiligte Personen: “… Raschke, Alexander …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
6Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthdayVeröffentlicht 2021Weitere beteiligte Personen: “… Raschke, Alexander …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
7Abstract state machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018 : proceedingsVeröffentlicht 2018Weitere beteiligte Personen: “… Raschke, Alexander …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
8Rigorous state-based methods: 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedingsVeröffentlicht 2020Weitere beteiligte Personen: “… Raschke, Alexander …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
9Rigorous state-based methods: 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedingsVeröffentlicht 2021Weitere beteiligte Personen: “… Raschke, Alexander …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
10Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthdayVeröffentlicht 2021Weitere beteiligte Personen: “… Raschke, Alexander …”
Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch