Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
29 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Verlag

Sprache

Geographischer Bezug

Inhaltsanbieter

29 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Fine Tuning an AI-based Indoor Radio Propagation Model with Crowd-sourced Data
    Cisse, Cheick Tidiani ; Guillet, Valery ; et al.
    In: European Conference on Antennas and Propagation ; https://hal.science/hal-04528361 ; European Conference on Antennas and Propagation, Mar 2024, Glasgow, United Kingdom, 2024
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    How Test Generation Helps Software Specification and Deductive Verification in Frama-C
    Petiot, Guillaume ; Kosmatov, Nikolai ; et al.
    In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    How Test Generation Helps Software Specification and Deductive Verification in Frama-C
    Petiot, Guillaume ; Kosmatov, Nikolai ; et al.
    In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    How Test Generation Helps Software Specification and Deductive Verification in Frama-C
    Petiot, Guillaume ; Kosmatov, Nikolai ; et al.
    In: Tests and Proofs ; https://inria.hal.science/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    How Test Generation Helps Software Specification and Deductive Verification in Frama-C
    Petiot, Guillaume ; Kosmatov, Nikolai ; et al.
    In: Tests and Proofs ; https://hal.inria.fr/hal-01108553 ; Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Handling Left-Quadratic Rules When Completing Tree Automata
    Boichut, Yohan ; Courbis, Roméo ; et al.
    In: RP'08 proceedings, Workshop on Reachability Problems in Computational Models ; 2nd Workshop on Reachability Problems in Computational Models - RP'08 ; https://hal.science/hal-00563293 ; 2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩, 2008
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Handling Left-Quadratic Rules When Completing Tree Automata
    Boichut, Yohan ; Courbis, Roméo ; et al.
    In: RP'08 proceedings, Workshop on Reachability Problems in Computational Models ; 2nd Workshop on Reachability Problems in Computational Models - RP'08 ; https://hal.science/hal-00563293 ; 2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩, 2008
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Handling Left-Quadratic Rules When Completing Tree Automata
    Boichut, Yohan ; Courbis, Roméo ; et al.
    In: RP'08 proceedings, Workshop on Reachability Problems in Computational Models ; 2nd Workshop on Reachability Problems in Computational Models - RP'08 ; https://hal.science/hal-00563293 ; 2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩, 2008
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Handling Left-Quadratic Rules When Completing Tree Automata
    Boichut, Yohan ; Courbis, Roméo ; et al.
    In: RP'08 proceedings, Workshop on Reachability Problems in Computational Models ; 2nd Workshop on Reachability Problems in Computational Models - RP'08 ; https://hal.archives-ouvertes.fr/hal-00563293 ; 2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩, 2008
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Handling Left-Quadratic Rules When Completing Tree Automata
    Boichut, Yohan ; Courbis, Roméo ; et al.
    In: RP'08 proceedings, Workshop on Reachability Problems in Computational Models ; 2nd Workshop on Reachability Problems in Computational Models - RP'08 ; https://hal.science/hal-00563293 ; 2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩, 2008
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Sensor Networks Applications Performance Measures for IEEE802.11n WiFi Security Protocols
    Saleh, Mohammad ; Gaber, Jaafar ; et al.
    In: International Conference on Future Networks and Distributed Systems ; https://hal.science/hal-02392537 ; International Conference on Future Networks and Distributed Systems, Jul 2017, Cambridge, United Kingdom, 2017
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Sensor Networks Applications Performance Measures for IEEE802.11n WiFi Security Protocols
    Saleh, Mohammad ; Gaber, Jaafar ; et al.
    In: International Conference on Future Networks and Distributed Systems ; https://hal.archives-ouvertes.fr/hal-02392537 ; International Conference on Future Networks and Distributed Systems, Jul 2017, Cambridge, United Kingdom, 2017
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Sensor Networks Applications Performance Measures for IEEE802.11n WiFi Security Protocols
    Saleh, Mohammad ; Gaber, Jaafar ; et al.
    In: International Conference on Future Networks and Distributed Systems ; https://hal.archives-ouvertes.fr/hal-02392537 ; International Conference on Future Networks and Distributed Systems, Jul 2017, Cambridge, United Kingdom, 2017
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Performance of Geographic Multicast Approach on a Real-life Platform
    de Araujo Marques Leao, Lucas Augusto ; Felea, Violeta ; et al.
    In: Annual Wireless Days Conference 2019 ; Annual Wireless Days Conference ; https://hal.science/hal-03221907 ; Annual Wireless Days Conference, Apr 2019, Manchester, United Kingdom, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Performance of Geographic Multicast Approach on a Real-life Platform
    De Araujo Marques Leao, Lucas Augusto ; Felea, Violeta ; et al.
    In: Annual Wireless Days Conference 2019 ; Annual Wireless Days Conference ; https://hal.archives-ouvertes.fr/hal-03221907 ; Annual Wireless Days Conference, Apr 2019, Manchester, United Kingdom, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Finding optimal finite biological sequences over finite alphabets: the OptiFin toolbox
    Garnier, Régis ; Guyeux, Christophe ; et al.
    In: International Conference on Computational Intelligence in Bioinformatics and Computational Biology ; https://hal.science/hal-02392536 ; International Conference on Computational Intelligence in Bioinformatics and Computational Biology, Aug 2017, Manchester, United Kingdom, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Scheduling Independent Tasks in Parallel under Power Constraints
    Kassab, Ayham ; Nicod, Jean-Marc ; et al.
    In: International Conference on Parallel Processing ; https://hal.science/hal-02129857 ; International Conference on Parallel Processing, Aug 2017, Bristol, United Kingdom, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Finding optimal finite biological sequences over finite alphabets: the OptiFin toolbox
    Garnier, Régis ; Guyeux, Christophe ; et al.
    In: International Conference on Computational Intelligence in Bioinformatics and Computational Biology ; https://hal.archives-ouvertes.fr/hal-02392536 ; International Conference on Computational Intelligence in Bioinformatics and Computational Biology, Aug 2017, Manchester, United Kingdom, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Scheduling Independent Tasks in Parallel under Power Constraints
    Kassab, Ayham ; Nicod, Jean-Marc ; et al.
    In: International Conference on Parallel Processing ; https://hal.archives-ouvertes.fr/hal-02129857 ; International Conference on Parallel Processing, Aug 2017, Bristol, United Kingdom, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Performance of Geographic Multicast Approach on a Real-life Platform
    De Araujo Marques Leao, Lucas Augusto ; Felea, Violeta ; et al.
    In: Annual Wireless Days Conference 2019 ; Annual Wireless Days Conference ; https://hal.archives-ouvertes.fr/hal-03221907 ; Annual Wireless Days Conference, Apr 2019, Manchester, United Kingdom, 2019
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?

Elektronische Zeitschriften

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -