Showing 1 - 10 results of 10 for search 'Raschke, Alexander', query time: 0.04s
Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
-
1
Modeling companion for software practitioners by Börger, Egon 1946-, Raschke, Alexander
Published 2018Call Number: Loading…Get full text
Located: Loading…
Electronic eBook -
2
Video-Taktiktraining im Tennis - feldexperimentelle Überprüfung der Wirksamkeit bei 10-14-jährigen Turnierspielern by Raschke, Alexander Heinrich
Published 2018Call Number: Loading…Get full text
Located: Loading…
-
3
Modeling companion for software practitioners by Börger, Egon 1946-, Raschke, Alexander
Published 2018Call Number: Loading…Description
Located: Loading…
-
4
Rigorous state-based methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings
Published 2021Other Authors: “…Raschke, Alexander…”
Call Number: Loading…Get full text
Located: Loading…
Electronic Conference Proceeding eBook -
5
Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings
Published 2020Other Authors: “…Raschke, Alexander…”
Call Number: Loading…Get full text
Located: Loading…
Electronic Conference Proceeding eBook -
6
Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday
Published 2021Other Authors: “…Raschke, Alexander…”
Call Number: Loading…Get full text
Located: Loading…
Electronic eBook -
7
Abstract state machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018 : proceedings
Published 2018Other Authors:Call Number: Loading…
Located: Loading…
Get full textLoading…Get full text
Electronic Conference Proceeding eBook -
8
Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings
Published 2020Other Authors: “…Raschke, Alexander…”
Call Number: Loading…
Located: Loading… -
9
Rigorous state-based methods 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings
Published 2021Other Authors: “…Raschke, Alexander…”
Call Number: Loading…
Located: Loading… -
10
Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday
Published 2021Other Authors: “…Raschke, Alexander…”
Call Number: Loading…Indexes
Located: Loading…
Indexes