Zum Inhalt springen

  3. Zalila, Faiez [Verfasser:in] ; Toulouse, INPT [Mitwirkende:r]; Aït-Ameur, Yamine [Mitwirkende:r]; Crégut, Xavier [Mitwirkende:r]

    Methods and tools for the integration of formal verification in domain-specific languages ; Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés

    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, 2014-12-09

  6. Arcia, Gustavo [Verfasser:in]; Klein, Jennifer [Verfasser:in]; Nannyonjo, Harriet [Verfasser:in]; Porta, Emilio [Verfasser:in]

    Grenada Education Management Information System

    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.

    World Bank, Washington, DC, 2012

    Erschienen in: Systems Approach for Better Education Results

  7. Arcia, Gustavo [Verfasser:in]; Klein, Jennifer [Verfasser:in]; Nannyonjo, Harriet [Verfasser:in]; Porta, Emilio [Verfasser:in]

    Saint Lucia Education Management Information System

    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.

    World Bank, Washington, DC, 2012

    Erschienen in: Systems Approach for Better Education Results

  8. ISO/IEC JTC 1 ISO/IEC-Gemeinschaftskomitee für Informationstechnik, ISO/IEC JTC 1 ISO/IEC Joint Technical Commitee for Information Technology, ISO/CEI JTC 1 Technologies de l'information, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC DIS 26137 : Information technology - OpenID connect - OpenID connect back-channel logout 1.0 incorporating errata set 1 - [2024-05-00]

    Normen
    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.

    Geneve: International Organization for Standardization, 2024

    Erschienen in: ISO-Regelwerk- ISO-Normen

  9. DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE, German Commission for Electrical, Electronic and Information Technologies of DIN and VDE, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN IEC 60118-16 : Elektroakustik - Hörgeräte - Teil 16: Begriffe und Verifikation von Hörgeräteeigenschaften (IEC 60118-16:2022); Deutsche Fassung EN IEC 60118-16:2022 - [2023-05-00]

    Normen
    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, Wien, Zürich: Beuth Verlag, 2023

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  10. Bailur, Savita [Verfasser:in]; Gigler, Björn-Sören [Verfasser:in]

    Closing the Feedback Loop : Can Technology Bridge the Accountability Gap?

    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.

    Washington, DC: World Bank, 2014

    Erschienen in: Directions in Development--Public Sector Governance