Zum Inhalt springen

  1. Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [AkademischeR BetreuerIn]; Theel, Oliver [AkademischeR BetreuerIn]

    Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2017

  2. Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [Sonstige Person, Familie und Körperschaft]

    Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, 2017

  3. Mahdi, Ahmed [VerfasserIn]

    Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server, 2017

  4. Mahdi, Ahmed Samir [VerfasserIn]

    Neomercantilist War : the US military and Middle East oil : 1980-2003

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Review of economics and political science ; 7(2022), 4, Seite 302-316

  5. Mahdi, Ahmed Samir [VerfasserIn]

    Saudi neomercantilism in the oil price war

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: Review of economics and political science ; 5(2020), 1, Seite 2-20

  6. Bensedik, Ahmed [VerfasserIn] ; Saint-Etienne [MitwirkendeR]; Université Abou Bekr Belkaid (Tlemcen, Algérie) [MitwirkendeR]; Boukrouche, Mahdi [MitwirkendeR]; Bouchekif, Mohammed [MitwirkendeR]

    Sur quelques problèmes elliptiques de type Kirchhoff et dynamique des fluides ; On some elliptic problems ok Kirchhoff-type and fluid dynamics

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-06-07

  7. Nahrawālī, Muḥammad Ibn-ʿAlāʾ-ad-Dīn an- [VerfasserIn] ; Rawāḍīya, al-Mahdī ʿĪd ar- [HerausgeberIn]

    al-Fawāʾid as-sanīya fi 'r-riḥla al-madanīya wa-'r-rūmīya : taḏkirat an-Nahrawālī = Al- Fawāʾid al-saniyyah fi l-riḥla al-Madaniyya wa-l-Rūmiyya - [aṭ-Ṭabʿa al-ūlā]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bairūt: al-Maʿhad al-Almānī li-l-Abḥāṯ aš-Šarqīya, 1443h = 2022 ; Bairūt: Dār al-Fārābī, 1443h = 2022 ; Online-Ausgabe, Beirut: Orient-Institut Beirut, [2023]

    Erschienen in: Bibliotheca islamica ; 56

  8. Alkhajeh, Mahdi Hasan Ahmed [VerfasserIn]; Azam Abdelhakeem Khalid [VerfasserIn]

    Management accounting practices (MAPs) impact on small and medium enterprise business performance within the Gauteng province of South Africa

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2018

    Erschienen in: Journal of accounting and auditing ; (2018), Seite 1-8

  9. Sama, Gianfranco [VerfasserIn]; Katbeh-Bader, Ahmed [VerfasserIn]; Miloud Mahdi, Doha [VerfasserIn]

    A preliminary catalogue of the Cerambycidae of Jordan (Coleoptera)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Bulletin de la Société entomologique de France ; Vol. 107, n° 5, pp. 471-487

  10. Ākhūndzāde, Mīrzā Fath ʿAlī-ye [VerfasserIn]; Ahmed Midhat Efendi [VerfasserIn]; Tevfik, Baha [VerfasserIn]; Kermānī, Mīrzā Āqā Khān-e [VerfasserIn] ; Kügelgen, Anke von [HerausgeberIn]; Imeri, Enur [Sonstige Person, Familie und Körperschaft]; Mäder, Michael [Sonstige Person, Familie und Körperschaft]; Reazaei-Tazik, Mahdi [Sonstige Person, Familie und Körperschaft]

    Wissenschaft, Philosophie und Religion : Religionskritische Positionen um 1900 - [Erstausgabe]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Boston: De Gruyter, [2020] ; [Online-Ausgabe]

    Erschienen in: Philosophie in der nahöstlichen Moderne ; 1

  11. Sahi, Ahmed Mahdi [VerfasserIn]; Alaa Mahdi Sahi [VerfasserIn]; Abbas, Alhamzah F. [VerfasserIn]; Khatib, Saleh F. A. [VerfasserIn]

    Financial reporting quality of financial institutions : literature review

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Cogent business & management ; 9(2022), 1, Artikel-ID 2135210, Seite 1-17

  13. Ahmed, Aseel Khalid [VerfasserIn]; Mahdi, Ammar Falih [VerfasserIn]; Khlaponin, Dmytro [VerfasserIn]

    Advanced Smart Algorithm for Integrating RFID and IoT Security

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Workshop on Emerging Technology Trends on the Smart Industry and the Internet of Things (1. : 2022 : Online): Workshop on Emerging Technology Trends on the Smart Industry and the Internet of Things, TTSIIT'2022 ; (2022), Seite 27-37

  14. Hadi, Dlawar Mahdi [VerfasserIn]; Sabir, Bawan Yassin [VerfasserIn]; Ahmed, Farman Marif [VerfasserIn]

    The impact of terrorist incidents on the sub financial and non-financial sectors : evidence from the United States

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: International Journal of Research in Business and Social Science ; 11(2022), 1 vom: Jan., Seite 187-195

  15. Mahdi Hasan Ahmed AlKhajeh [VerfasserIn]; Azam Abdelhakeem Khalid [VerfasserIn]

    The relationship of implementing management accounting practices (MAPs) with performance in small and medium size enterprises

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2018

    Erschienen in: Journal of accounting and auditing ; (2018), Seite 1-7

  16. Al-Kawaz, Salah Mahdi Jawad [VerfasserIn]; Al-Daami, Ahmed Naser Abbas [VerfasserIn]; Abbas, Ali Abdulhassan [VerfasserIn]

    The role of integration between target costing and time-driven activity-based budgeting techniques in managing time and cost and its reflection in achieving competitive advantage

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2023

    Erschienen in: Foundations of Management ; 15(2023), 1 vom: Jan., Seite 187-208

  17. Scheibler, Karsten [VerfasserIn]; Neubauer, Felix [VerfasserIn]; Mahdi, Ahmed [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Teige, Tino [VerfasserIn]; Bienmüller, Tom [VerfasserIn]; Fehrer, Detlef [VerfasserIn]; Becker, Bernd [VerfasserIn]

    Extending iSAT3 with ICP-contractors for bitwise integer operations

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg [u.a.]: Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), August 2016

    Erschienen in: Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme: Reports of SFB/TR 14 AVACS ; 116

  18. Amer, Samar A. [VerfasserIn]; Abd-Ellatif, Eman Elsayed [VerfasserIn]; Hughes, Peter [VerfasserIn]; Ghazai Al-Enazi, Hadi Mahdi [VerfasserIn]; AlHasan, Ahmed [VerfasserIn]; Amer, Mostafa A. [VerfasserIn]; Alruhaimi, Asma Faleh [VerfasserIn]; Elsayed, Mohamed [VerfasserIn]

    Emotional contagion scale and mental health status during the first wave of COVID-19 pandemic, national assessment

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Clinical practice and epidemiology in mental health ; 18(2022), 1, Seite 1-13

  19. Allan, Max [VerfasserIn]; Kondo, Satoshi [VerfasserIn]; Bodenstedt, Sebastian [VerfasserIn]; Leger, Stefan [VerfasserIn]; Kadkhodamohammadi, Rahim [VerfasserIn]; Luengo, Imanol [VerfasserIn]; Fuentes, Felix [VerfasserIn]; Flouty, Evangello [VerfasserIn]; Mohammed, Ahmed [VerfasserIn]; Pedersen, Marius [VerfasserIn]; Kori, Avinash [VerfasserIn]; Alex, Varghese [VerfasserIn]; Krishnamurthi, Ganapathy [VerfasserIn]; Rauber, David [VerfasserIn]; Mendel, Robert [VerfasserIn]; Palm, Christoph [VerfasserIn]; Bano, Sophia [VerfasserIn]; Saibro, Guinther [VerfasserIn]; Shih, Chi-Sheng [VerfasserIn]; Chiang, Hsun-An [VerfasserIn]; Zhuang, Juntang [VerfasserIn]; Yang, Junlin [VerfasserIn]; Iglovikov, Vladimir [VerfasserIn]; Dobrenkii, Anton [VerfasserIn]; [...]

    2018 Robotic Scene Segmentation Challenge

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Regensburg: Ostbayerische Technische Hochschule Regensburg, 2022

  20. Momtazmanesh, Sara [VerfasserIn]; Moghaddam, Sahar Saeedi [VerfasserIn]; Ghamari, Seyyed-Hadi [VerfasserIn]; Rad, Elaheh Malakan [VerfasserIn]; Rezaei, Negar [VerfasserIn]; Shobeiri, Parnian [VerfasserIn]; Aali, Amirali [VerfasserIn]; Abbasi-Kangevari, Mohsen [VerfasserIn]; Abbasi-Kangevari, Zeinab [VerfasserIn]; Abdelmasseh, Michael [VerfasserIn]; Abdoun, Meriem [VerfasserIn]; Gaipov, Abduzhappar [VerfasserIn]; Alemayehu, Astawus [VerfasserIn]; Ur Rahman, Mohammad Hifz [VerfasserIn]; Rahman, Mosiur [VerfasserIn]; Rahman, Muhammad Aziz [VerfasserIn]; Darwesh, Aso Mohammad [VerfasserIn]; Rahmani, Amir Masoud [VerfasserIn]; Rahmani, Shayan [VerfasserIn]; Sao Jose, Bruno Piassi [VerfasserIn]; Lasrado, Savita [VerfasserIn]; Ahmadi, Ali [VerfasserIn]; Franklin, Richard Charles [VerfasserIn]; Kisa, Adnan [VerfasserIn]; [...]

    Global burden of chronic respiratory diseases and risk factors, 1990–2019: an update from the Global Burden of Disease Study 2019

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam, Niederlande: Elsevier BV, 2023