Skip to contents

  1. Mahdi, Ahmed [Author] ; Fränzle, Martin [Degree supervisor]; Becker, Bernd [Degree supervisor]; Theel, Oliver [Degree supervisor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oldenburg: BIS der Universität Oldenburg, 2017

  3. Mahdi, Ahmed [Author]

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

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  4. Mahdi, Ahmed Samir [Author]

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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2022

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

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

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

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2012-06-07

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

    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ā]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    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]

    Published in: Bibliotheca islamica ; 56

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

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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2018

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

  10. Ākhūndzāde, Mīrzā Fath ʿAlī-ye [Author]; Ahmed Midhat Efendi [Author]; Tevfik, Baha [Author]; Kermānī, Mīrzā Āqā Khān-e [Author] ; Kügelgen, Anke von [Editor]; Imeri, Enur [Other]; Mäder, Michael [Other]; Reazaei-Tazik, Mahdi [Other]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

    Advanced Smart Algorithm for Integrating RFID and IoT Security

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2022

    Published 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 [Author]; Sabir, Bawan Yassin [Author]; Ahmed, Farman Marif [Author]

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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2022

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

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

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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2018

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

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

    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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2023

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

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

    Extending iSAT3 with ICP-contractors for bitwise integer operations

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2022

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

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

    2018 Robotic Scene Segmentation Challenge

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Regensburg: Ostbayerische Technische Hochschule Regensburg, 2022

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

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

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Amsterdam, Niederlande: Elsevier BV, 2023