Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
55 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & 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 / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

55 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Integrating formal reasoning into a component-based approach to reconfigurable distributed systems
    Basso, Alessandro
    2010
    Online Hochschulschrift
    Zugriff:
    View record in EThOS (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Composants abstraits pour la vérification fonctionnelle des systèmes sur puce
    Romenska, Yuliia
    2017
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    Compiler optimisations and relaxed memory consistency models
    Morisset, Robin
    2017
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free
    Feist, Josselin
    2017
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Advanced techniques for search-based program repair
    Timperley, Christopher S.
    2017
    Hochschulschrift
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Une approche de fouille de données pour le débogage temporel des applications embarquées de streaming
    Iegorov, Oleg
    2016
    Hochschulschrift
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Enhanced symbolic execution for patch testing and document recovery
    Kuchta, Tomasz
    2016
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    Practical systematic concurrency testing for concurrent and distributed software
    Thomson, Paul
    2016
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    Formal methods for functional verification of cache-coherent systems-on-chip
    Kriouile, Abderahman
    2015
    Hochschulschrift
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    Analyse de sécurité de logiciels système par typage statique
    Millon, Etienne
    2014
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    Faciliter le développement des applications de robotique
    Kchir, Selma
    2014
    Hochschulschrift
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    Transparently improving regression testing using symbolic execution
    Marinescu, Paul Dan
    2014
    Hochschulschrift
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    Vérification de réseaux de Pétri avec états sous une sémantique d'ordres partiels
    Avellaneda, Florent
    2013
    Hochschulschrift
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    Spécification et animation de modèles de conception de la sécurité avec Z
    Qamar, Muhammad Nafees
    2011
    Hochschulschrift
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    Contributions to the Transaction-Level Modeling of Systems-on-a-Chip
    Funchal, Giovanni
    2011
    Hochschulschrift
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    Elementary functions : towards automatically generated, efficient, and vectorizable implementations
    Lassus Saint-Genies, Hugues de
    2018
    Hochschulschrift
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    On the security of authentication protocols on the web
    Delignat-Lavaud, Antoine
    2016
    Hochschulschrift
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Detection of web vulnerabilities via model inference assisted evolutionary fuzzing
    Duchene, Fabien
    2014
    Hochschulschrift
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    Vers des protocoles de tolérance aux fautes Byzantines efficaces et robustes
    Aublin, Pierre-Louis
    2014
    Hochschulschrift
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    Context-oriented functional programming
    Martins, Pedro M.
    2013
    Hochschulschrift
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -