Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Publikation

16 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Smart Bugs and Digital Banana Peels: Accidental Humor in Smart Environments?
    Nijholt, Antinus ; Streitz, N. ; et al.
    In: Proceedings of the 4th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2016, Held as Part of HCI International 2016, 2016-07-17, S. 329-340
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Roll with the fear: environment and state dependence of pill bug (Armadillidium vulgare) personalities
    Bereczki, Judit ; Herczeg, Gábor ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Eco-immunology of native and invasive water bugs in response to water mite parasites: insights from phenoloxidase activity
    Céspedes, Vanessa ; Stoks, Robby ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Identification and expression profile of two putative odorant-binding proteins from the neotropical brown stink bug, Euschistus heros (Fabricius) (Hemiptera: Pentatomidae)
    Field, Linda M. ; Paula, Débora P. ; et al.
    2014
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Bug Hunting with False Negatives
    Calamé, Jens ; Ioustinova, Natalia ; et al.
    In: Integrated Formal Methods, 2007-07-01, S. 98-117
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively
    Even-Mendoza, Karine ; Cadar, Cristian ; et al.
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Pre-planting inoculation for early establishment of Dicyphus bolivari and D. errans on tomatoes
    Albajes, Ramon ; Edo, Eva ; et al.
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Automatic Program Repair by Fixing Contracts
    Meyer, Bertrand ; Furia, Carlo A. ; et al.
    2014
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Dynamic verification for hybrid concurrent programming models
    Unsal, Osman ; Mutlu, Erdal ; et al.
    2014
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Does the plant defense priming compound β-aminobutyric acid affect the performance of Macrolophus pygmaeus when used to control Bemisia tabaci in tomato?
    Fanti, Paolo ; Battaglia, Donatella ; et al.
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Mutation-based test case generation for simulink models
    Mazzucchi, Michele ; Kroening, Daniel ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Using program synthesis for program analysis
    Kroening, Daniel ; Lewis, Matt ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Not all codes are created equal: the software engineering code of ethics, a success story
    Gotterbarn, Don
    In: Journal of Business Ethics, Jg. 22 (1999-10-15), Heft 1, S. 81-89
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record in JSTOR (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction
    Becker, Andrew James ; Maksimovic, Djordje ; et al.
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Warps and atomics: beyond barrier synchronization in the verification of GPU kernels
    Donaldson, Alastair F. ; Bardsley, Ethel ; et al.
    2014
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Using dynamic runtime testing for rapid development of architectural simulators
    Tomic, Sasa ; Unsal, Osman ; et al.
    2014
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -