-
1
Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A
Veröffentlicht 2021UBM01
URL des Erstveröffentlichers
Elektronisch E-Book -
2
Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B
Veröffentlicht 2021UBM01
URL des Erstveröffentlichers
Elektronisch E-Book -
3
-
4
-
5
Distributed generation systems design, operation and grid integration
Veröffentlicht 2017lizenzpflichtig
Elektronisch E-Book -
6
Distributed generation systems design, operation and grid integration
Veröffentlicht 2017FHI01
URL des Erstveröffentlichers
Elektronisch E-Book -
7
Modeling and analysis of communicating systems
Veröffentlicht 2014Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
MIT Press
E-Book -
8
Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conferenc...
Veröffentlicht 2022Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
VolltextElektronisch Tagungsbericht E-Book -
9
Formal methods: foundations and applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings
Veröffentlicht 2018Weitere Verfasser: BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
10
Topics in theoretical computer science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
VolltextElektronisch Tagungsbericht E-Book -
11
Topics in theoretical computer science Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
Tagungsbericht Buch -
12
Cyber physical systems design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings
Veröffentlicht 2015Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
VolltextElektronisch Tagungsbericht E-Book -
13
Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conferenc...
Veröffentlicht 2022Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
Tagungsbericht Buch -
14
Special section: Selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013)
Veröffentlicht 2014Weitere Verfasser: “… Mousavi, Mohammad Reza 1978- …”
Tagungsbericht Buch -
15
Physicochemical and enzymatic modification of gums synthesis, characterization and application
Veröffentlicht 2021Weitere Verfasser: BTU01
FFW01
HTW01
UBM01
URL des Erstveröffentlichers
Elektronisch E-Book -
16
Essential oils in food processing chemistry, safety and applications
Veröffentlicht 2018Weitere Verfasser: “… Hashemi, Seyed Mohammad Bagher …”
FRO01
UBG01
URL des Erstveröffentlichers
Elektronisch E-Book -
17