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

Verlag

Publikation

Sprache

16 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.
    ZHIQIANG, ZUO ; KAI, WANG ; et al.
    In: ACM Transactions on Computer Systems, Jg. 38 (2021-07-01), Heft 1/2, S. 1-39
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    MEAMfit: A reference-free modified embedded atom method (RF-MEAM) energy and force-fitting code.
    Duff, Andrew Ian
    In: Computer Physics Communications, Jg. 203 (2016-06-01), S. 354-355
    serialPeriodical
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Bug Busters.
    Spinellis, Diomidis
    In: IEEE Software, Jg. 23 (2006-03-01), Heft 2, S. 92-93
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    ValAsp: A Tool for Data Validation in Answer Set Programming.
    ALVIANO, MARIO ; DODARO, CARMINE ; et al.
    In: Theory & Practice of Logic Programming, Jg. 23 (2023-09-01), Heft 5, S. 965-985
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    DDS: A Declarative Debugging System for Functional Programs.
    Takahaahi, Naohisa ; Ono, Satoshi
    In: Systems & Computers in Japan, Jg. 21 (1990-10-01), Heft 10, S. 21-30
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Building and using pluggable type-checkers.
    Dietl, Werner ; Dietzel, Stephanie ; et al.
    In: ICSE: International Conference on Software Engineering, 2011-02-01, S. 681-690
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Verifying Safety Properties of Concurrent Heap-Manipulating Programs.
    Yahav, Eran ; Sagiv, Mooly
    In: ACM Transactions on Programming Languages & Systems, Jg. 32 (2010-05-01), Heft 5, S. C1- (50S.)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    The Device Software Engineer's Best Friend.
    Lindahl, Michael
    In: Computer, Jg. 39 (2006-05-01), Heft 5, S. 95-97
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Transactional memory in a dynamic language
    Renggli, Lukas ; Nierstrasz, Oscar
    In: Computer Languages, Systems & Structures, Jg. 35 (2009-04-01), Heft 1, S. 21-30
    academicJournal
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    An assembler and disassembler framework for Java™ programmers
    Mathiske, Bernd ; Simon, Doug ; et al.
    In: Science of Computer Programming, Jg. 70 (2008-02-01), Heft 2/3, S. 127-148
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    iWatcher: Simple, General Architectural Support for Software Debugging.
    Zhou, Pin ; Qin, Feng ; et al.
    In: IEEE Micro, Jg. 24 (2004-11-01), Heft 6, S. 50-56
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Getting Started With The SDL Threat Modeling Tool.
    Shostack, Adam
    In: MSDN, Jg. 24 (2009), Heft 1, S. 99-102
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Use Functional Programming Techniques In The .NET Framework.
    Neward, Ted
    In: MSDN, Jg. 23 (2008-03-01), Heft 3, S. 81-86
    serialPeriodical
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Visual Basic's Office Comeback.
    Seff, Jonathan
    In: Macworld, Jg. 25 (2008-07-01), Heft 7, S. 25-25
    Online serialPeriodical
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Finding Rootkits, Infections, and Files.
    Garcia, Jeremy
    In: Linux Magazine, Jg. 6 (2004-04-01), Heft 4, S. 54-54
    serialPeriodical
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Sun Opens Up Java.
    Whiting, Rick
    In: VARBusiness, Jg. 22 (2006-12-04), Heft 25, S. 24-24
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -