-
1
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Veröffentlicht 2022
VolltextElektronisch E-Book -
2
-
3
Yabancılar hukuku ve kanun ihtilâfları ile ilgili Yargıtay kararlarının tahlil ve izahları
Veröffentlicht 1963Buch -
4
-
5
-
6
Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Veröffentlicht 2020
VolltextElektronisch E-Book -
7
Contemporary Management and Science Issues in the Halal Industry Proceedings of the International Malaysia Halal Conference (IMHALAL)
Veröffentlicht 2019BTU01
FAB01
FAW01
FHA01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FNU01
FRO01
FWS01
FWS02
HTW01
HWR01
TUM01
UBG01
UBR01
UBT01
UBW01
UBY01
UEI01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
8
Intelligent computer mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings
Veröffentlicht 2017
VolltextElektronisch Tagungsbericht E-Book -
9
Islamic Perspectives on Science and Technology Selected Conference Papers
Veröffentlicht 2016ASH01
FWS01
FWS02
UEI01
UPA01
URL des Erstveröffentlichers
Inhaltsverzeichnis
Abstract
Elektronisch E-Book -
10
-
11
-
12
Legumes Biofortification
Veröffentlicht 2023BTU01
FAN01
FFW01
HTW01
UBM01
URL des Erstveröffentlichers
Elektronisch E-Book -
13
Proceedings of the 8th International Conference on Movement, Health and Exercise MoHE 2022—Refocusing on Sports and Exercise for a Post-pandemic World
Veröffentlicht 2023
VolltextElektronisch E-Book -
14
-
15