Zum Inhalt springen

  1. Hilaire, Mathieu [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Göller, Stefan [Mitwirkende:r]; Bollig, Benedikt [Mitwirkende:r]

    Parity games and reachability in infinite-state systems with parameters ; Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2022-12-13

  2. Nguyen, Huu vu [Verfasser:in] ; Sorbonne Paris Cité [Mitwirkende:r]; Touili, Tayssir [Mitwirkende:r]

    On CARET model-checking of pushdown systems : application to malware detection ; CARET model-checking d'automates à piles : application à la détection de malware

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2018-07-05

  3. Caralp, Mathieu [Verfasser:in] ; Aix-Marseille [Mitwirkende:r]; Talbot, Jean-Marc [Mitwirkende:r]; Reynier, Pierre-Alain [Mitwirkende:r]

    Problèmes de bornes pour les automates et les transducteurs à pile visible ; Boudedness problems for visibly pushdown automata and transducers

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2015-12-18

  4. Lamali, Mohamed Lamine [Verfasser:in] ; Versailles-St Quentin en Yvelines [Mitwirkende:r]; Barth, Dominique [Mitwirkende:r]

    Qualité de service et calcul de chemins dans les réseaux inter-domaine et multicouches ; Quality of service and path computation in inter-domain and multi-layer networks

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2014-09-26

  5. 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 61851-23-1*VDE 0122-2-31 : Konduktive Ladesysteme für Elektrofahrzeuge - Teil 23-1: Gleichstromladestation für Elektrofahrzeuge mit Ladegerät mit automatischem Verbindungsaufbau (IEC 69/495/CD:2017) - [2017-08-00]

    Normen
    Online ansehen
    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, 2017

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  6. 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 62034*VDE 0711-400 : Automatische Prüfsysteme für batteriebetriebene Sicherheitsbeleuchtung für Rettungswege (IEC 62034:2012); Deutsche Fassung EN 62034:2012 - [2013-02-00]

    Normen
    Online ansehen
    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, 2013

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  7. 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 50696*VDE 0122-696 : Kontaktschnittstelle für ein automatisches Kontaktierungssystem; Deutsche Fassung EN 50696:2021 - [2022-04-00]

    Normen
    Online ansehen
    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, 2022

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  8. ISO/TC 22 Straßenfahrzeuge, ISO/TC 22 Road vehicles, ISO/TC 22 Véhicules routiers, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO/TS 5474-5 : Electrically propelled road vehicles - Functional and safety requirements for power transfer between vehicle and external electric circuit - Part 5: Automatic conductive power transfer - [2024-01-00]

    Normen
    Online ansehen
    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 61131-2*VDE 0411-500 : Speicherprogrammierbare Steuerungen - Teil 2: Betriebsmittelanforderungen und Prüfungen (IEC 65B/957/CD:2014) - [2015-06-00]

    Normen
    Online ansehen
    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, 2015

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  10. 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 61131-2 Berichtigung 1*VDE 0411-500 Berichtigung 1 : Speicherprogrammierbare Steuerungen - Teil 2: Betriebsmittelanforderungen und Prüfungen (IEC 61131-2:2007); Deutsche Fassung EN 61131-2:2007, Berichtigung zu DIN EN 61131-2 (VDE 0411-500):2008-04 - [2009-01-00]

    Normen
    Online ansehen
    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, 2009

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  11. 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 61131-2*VDE 0411-500 : Speicherprogrammierbare Steuerungen - Teil 2: Betriebsmittelanforderungen und Prüfungen (IEC 61131-2:2007); Deutsche Fassung EN 61131-2:2007 - [2008-04-00]

    Normen
    Online ansehen
    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, 2008

    Erschienen in: DIN-Regelwerk- Deutsche Normen