Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
56 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

Sprache

56 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Automatic analysis and repair of exception bugs for java programs ; Analyse et Réparation automatique des bugs liées aux exceptions en java
    Cornu, Benoit ; 1, Lille ; et al.
    In: Theses.fr, 2015
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    The domiciliation process of bloodsucking bug vectors of Chagas disease : contribution of the transcriptome chemosensory study ; Le processus de domiciliation des punaises hématophages vectrices de la maladie de Chagas : apport de l’étude du transcriptome chimiosensoriel
    Marchant, Axelle ; Université Paris-Saclay (ComUE) ; et al.
    In: Theses.fr, 2016
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Extraction and analysis of knowledge for automatic software repair ; Extraction et analyse de connaissance pour la réparation automatique de bugs
    Martinez, Matias ; 1, Lille ; et al.
    In: Theses.fr, 2014
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Binary-level directed fuzzing for complex vulnerabilities ; Guidage du test en frelatage de codes binaires pour la détection de vulnérabilités logicielles complexes
    Nguyen, Manh-Dung ; Université Grenoble Alpes ; et al.
    In: Theses.fr, 2021
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Termination Analysis of Floating-Point Computations ; Analyses de terminaison des calculs flottants
    Andrianampoizinimaro, Maurica ; Fonenantsoa ; et al.
    In: Theses.fr, 2017
    Hochschulschrift
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Study of the relationship between arthropods and bacteria : molecular epidemiology and experimental models ; Etude des relations entre arthropodes et bactéries : épidémiologie moléculaire et modèles expérimentaux
    Leulmi, Hamza ; Aix-Marseille ; et al.
    In: Theses.fr, 2015
    Hochschulschrift
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Cimex lectularius ou punaise de lits : nuisances et vecteur d'agents infectieux? ; Cimex lectularius or bed-punching: nuisance and vector of infectious agents?
    Delaunay, Pascal ; Aix-Marseille ; et al.
    In: Theses.fr, 2012
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Classification of errors threats by static analysis, program sclicing and structural testing of programs ; Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes
    Chebaro, Omar ; Besançon ; et al.
    In: Theses.fr, 2011
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Understanding the impact of release policies on software development processes ; Comprendre l'impact des politiques de publication sur les processus de développement logiciel
    Abou Khalil, Zeinab ; Lille ; et al.
    In: Theses.fr, 2021
    Hochschulschrift
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Optimized and formally-verified compilation for a VLIW processor ; Compilation optimisante et formellement prouvée pour un processeur VLIW
    Six, Cyril ; Université Grenoble Alpes ; et al.
    In: Theses.fr, 2021
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Decision procedures for vulnerability analysis ; Procédures de décision pour l'analyse de vulnérabilités
    Farinier, Benjamin ; Université Grenoble Alpes ; et al.
    In: Theses.fr, 2020
    Hochschulschrift
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Humanoid robots, a qualified form of life ; Les robots humanoïdes, une forme de vie qualifiée
    Allienne-Diss, Ludivine ; Amiens ; et al.
    In: Theses.fr, 2020
    Hochschulschrift
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Performance Debugging Toolbox for Binaries : Sensitivity Analysis and Dependence Profiling ; Débogage de performance pour code binaire : Analyse de sensitivité et profilage de dépendances
    Gruber, Fabian ; Université Grenoble Alpes (ComUE) ; et al.
    In: Theses.fr, 2019
    Hochschulschrift
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Interactive Runtime Verification ; Vérification interactive de propriétés à l'exécution
    Jakse, Raphaël ; Université Grenoble Alpes (ComUE) ; et al.
    In: Theses.fr, 2019
    Hochschulschrift
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Debugging of Behavioural Models using Counterexample Analysis ; Débogage de modèles comportementaux par analyse de contre-exemple
    Barbon, Gianluca ; Université Grenoble Alpes (ComUE) ; et al.
    In: Theses.fr, 2018
    Hochschulschrift
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Identification of arthropods and associated pathogens by MALDI-TOF MS and study of the relationship between arthropods and bacteria ; Identification des arthropodes et pathogènes associés par MALDI-TOF MS et étude des relations entre arthropodes et bactéries
    El Hamzaoui, Basma ; Aix-Marseille ; et al.
    In: Theses.fr, 2018
    Hochschulschrift
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Formal models and verification of memory management in a hypervisor ; Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur
    Bolignano, Pauline ; 1, Rennes ; et al.
    In: Theses.fr, 2017
    Hochschulschrift
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Predicting post-release software faults in open source software as a means of measuring intrinsic software product quality ; Prédire les défauts Post-Release de logiciels à code ouvert comme méthode pour mesurer la qualité intrinsèque du produit logiciel
    Ndenga Malanga, Kennedy ; 8, Paris ; et al.
    In: Theses.fr, 2017
    Hochschulschrift
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Towards improving the quality of mobile app by leveraging crowdsourced feedback ; Vers l'amélioration de la qualité des applications mobiles en utilisant des données collectées sur les utilisateurs
    Gomez Lacruz, Maria ; 1, Lille ; et al.
    In: Theses.fr, 2016
    Hochschulschrift
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Data Mining Approach to Temporal Debugging of Embedded Streaming Applications ; Une approche de fouille de données pour le débogage temporel des applications embarquées de streaming
    Iegorov, Oleg ; Université Grenoble Alpes (ComUE) ; et al.
    In: Theses.fr, 2016
    Hochschulschrift
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -