Zum Inhalt springen

  1. Filou, Vincent [VerfasserIn] ; Bordeaux 1 [MitwirkendeR]; Castéran, Pierre [MitwirkendeR]; Mosbah, Mohamed [MitwirkendeR]

    Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq

    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-12-21

  2. Haddar, Mohamed Amine [VerfasserIn] ; Bordeaux 1 [MitwirkendeR]; Métivier, Yves [MitwirkendeR]; Mosbah, Mohamed [MitwirkendeR]; Hadj Kacem, Ahmed [MitwirkendeR]; Zemmari, Akka [MitwirkendeR]

    Codage d’algorithmes distribués d’agents mobiles à l’aide de calculs locaux

    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, 2011-12-20

  3. Bredariol Grilo, Alex [VerfasserIn] ; Sorbonne Paris Cité [MitwirkendeR]; Kerenidis, Iordanis [MitwirkendeR]

    Quantum proofs, the local Hamiltonian problem and applications ; Preuves quantiques, le problème des Hamiltoniens locaux et applications

    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, 2018-04-27

  4. Bousabbah, Maha [VerfasserIn] ; Bordeaux [MitwirkendeR]; Université de Sfax (Tunisie) [MitwirkendeR]; Mosbah, Mohamed [MitwirkendeR]; Hadj Kacem, Ahmed [MitwirkendeR]

    Preuves d'algorithmes distribués par composition et raffinement. ; Proofs of Distributed Algorithms by refinement and composition

    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, 2017-12-08

  6. DIN-Normenausschuss Heiz- und Raumlufttechnik sowie deren Sicherheit (NHRS), Heating and Ventilation Technology Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 15316-4-1 : Energetische Bewertung von Gebäuden - Verfahren zur Berechnung der Energieanforderungen und Nutzungsgrade der Anlagen - Teil 4-1: Wärmeerzeugung für die Raumheizung und Trinkwassererwärmung, Verbrennungssysteme (Heizungskessel, Biomasse), Modul M3-8-1, M8-8-1; Deutsche Fassung EN 15316-4-1:2017 - [2017-09-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, 2017

    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 50559*VDE 0705-559 : Elektrische Raumheizung, Fußbodenheizung, Charakteristika der Gebrauchstauglichkeit - Definitionen, Prüfverfahren, Dimensionierung und Formelzeichen; Deutsche Fassung EN 50559:2013 + A1:2020 - [2021-07-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, 2021

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  8. DIN-Normenausschuss Heiz- und Raumlufttechnik sowie deren Sicherheit (NHRS), Heating and Ventilation Technology Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 11855-8 : Umweltgerechte Gebäudeplanung - Planung, Auslegung, Installation und Steuerung flächenintegrierter Strahlheizungs- und -kühlsysteme - Teil 8: Elektrische Heizsysteme (ISO/FDIS 11855-8:2023); Deutsche und Englische Fassung FprEN ISO 11855-8:2023 - [2023-10-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

  9. DIN-Normenausschuss Heiz- und Raumlufttechnik sowie deren Sicherheit (NHRS), Heating and Ventilation Technology Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 15316-4-2 : Energetische Bewertung von Gebäuden - Verfahren zur Berechnung der Energieanforderungen und Nutzungsgrade der Anlagen - Teil 4-2: Wärmeerzeugung für die Raumheizung, Wärmepumpensysteme, Module M3-8-2, M8-8-2; Deutsche und Englische Fassung prEN 15316-4-2:2022 - [2022-04-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, 2022

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  10. DIN-Normenausschuss Heiz- und Raumlufttechnik sowie deren Sicherheit (NHRS), Heating and Ventilation Technology Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 15316-4-2 : Energetische Bewertung von Gebäuden - Verfahren zur Berechnung der Energieanforderungen und Nutzungsgrade der Anlagen - Teil 4-2: Wärmeerzeugung für die Raumheizung, Wärmepumpensysteme, Modul M3-8-2, M8-8-2; Deutsche Fassung EN 15316-4-2:2017 - [2017-09-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, 2017

    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 V 44578-4 : Elektrische Raumheizung - Gebrauchseigenschaften von Zentralspeichern für Warmwasserheizung - Teil 4: Bemessung - [2006-11-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, 2006

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  12. DIN-Normenausschuss Heiz-, Koch- und Wärmgerät (FNH), Heating and Cooking Equipment Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 15544 : Ortsfest gesetzte Kachelgrundöfen/Putzgrundöfen - Auslegung; Deutsche Fassung EN 15544:2023 - [2023-04-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

  13. DIN-Normenausschuss Heiz- und Raumlufttechnik sowie deren Sicherheit (NHRS), Heating and Ventilation Technology Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN 15316-4-3 : Energetische Bewertung von Gebäuden - Verfahren zur Berechnung der Energieanforderungen und Nutzungsgrade der Anlagen - Teil 4-3: Wärmeerzeugungssysteme, thermische Solaranlagen und Photovoltaikanlagen, Modul M3-8-3, M8-8-3, M11-8-3; Deutsche Fassung EN 15316-4-3:2017 - [2017-09-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, 2017

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  14. VDI-Gesellschaft Energie und Umwelt, VDI Society Energy and Environment, VDI Verein Deutscher Ingenieure e.V., VDI - The Association of German Engineers

    VDI 4650 Blatt 3 : Berechnung der Jahresarbeitszahl von Wärmepumpenanlagen - Grundlagen und allgemeine Begriffe multifunktionaler Lüftungsgeräte mit Wärmepumpen - [2024-07-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.

    Düsseldorf: VDI-Verlag, 2024

    Erschienen in: VDI-Richtlinien

  15. VDI-Gesellschaft Energie und Umwelt, VDI Society Energy and Environment, VDI Verein Deutscher Ingenieure e.V., VDI - The Association of German Engineers

    VDI 4650 Blatt 2 : Kurzverfahren zur Berechnung der Jahresheizzahl und des Jahresnutzungsgrads von Sorptionswärmepumpenanlagen - Gas-Wärmepumpen zur Raumheizung und Warmwasserbereitung - [2013-01-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.

    Düsseldorf: VDI-Verlag, 2013

    Erschienen in: VDI-Richtlinien

  16. DIN-Normenausschuss Bauwesen (NABau), DIN Standards Committee Building and Civil Energeering, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 15927-5 : Wärme- und feuchteschutztechnisches Verhalten von Gebäuden - Berechnung und Darstellung von Klimadaten - Teil 5: Daten zur Bestimmung der Norm-Heizlast für die Raumheizung (ISO 15927-5:2004 + Amd 1:2011); Deutsche Fassung EN ISO 15927-5:2004 + A1:2011 - [2012-03-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, 2012

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  17. 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 V 44578-2 : Elektrische Raumheizung - Gebrauchseigenschaften von Zentralspeichern für Warmwasserheizung - Teil 2: Prüfungen - [2006-11-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, 2006

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  18. 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 V 44578-3 : Elektrische Raumheizung - Gebrauchseigenschaften von Zentralspeichern für Warmwasserheizung - Teil 3: Anforderungen - [2006-11-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, 2006

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  19. ISO/TC 163 Wärmetechnisches Verhalten und Energieverbrauch in der gebauten Umgebung, ISO/TC 163 Thermal performance and energy use in the built environment, ISO/TC 163 Performance thermique et utilisation de l'énergie en environnement bâti, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 52000-3 : Energy performance of buildings - Overarching EPB assessment - Part 3: General principles for determination and reporting of primary energy factors (PEF) and CO<sub>2</sub> emission coefficients - [2023-03-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, 2023

    Erschienen in: ISO-Regelwerk- ISO-Normen

  20. ISO/TC 205 Umweltgerechte Planung von Gebäuden, ISO/TC 205 Building environment design, ISO/TC 205 Conception de l'environnement intérieur des bâtiments, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 52031 : Energy performance of buildings - Method for calculation of system energy requirements and system efficiencies - Space emission systems (heating and cooling) - [2020-04-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, 2020

    Erschienen in: ISO-Regelwerk- ISO-Normen