Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

9 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The Tortoise and the Hare Algorithm for Finite Lists, Compositionally.
    DANVY, OLIVIER
    In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-03-01), Heft 1, S. 1-35
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven.
    Boldo, Sylvie
    In: IEEE Transactions on Computers, Jg. 58 (2009-02-01), Heft 2, S. 220-225
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Emulation of FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd.
    Boldo, Sylvie ; Melquiond, Guillaume
    In: IEEE Transactions on Computers, Jg. 57 (2008-04-01), Heft 4, S. 462-471
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.
    Balabonski, Thibaut ; Delga, Amélie ; et al.
    In: Theory of Computing Systems, Jg. 63 (2019-02-01), Heft 2, S. 200-218
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Memory State Verification Based on Inductive and Deductive Reasoning.
    Li, Shaofeng ; Qiao, Lei ; et al.
    In: IEEE Transactions on Reliability, Jg. 70 (2021-09-01), Heft 3, S. 1026-1039
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A New Type of Mathematics?
    Monroe, Don
    In: Communications of the ACM, Jg. 57 (2014-02-01), Heft 2, S. 13-15
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
    Nejati, Shiva ; Sabetzadeh, Mehrdad ; et al.
    In: Information & Software Technology, Jg. 54 (2012-06-01), Heft 6, S. 569-590
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Layered Circular-Cylindrical Dielectric Lens Antennas--Synthesis and Height Reduction Technique.
    Komljenovic, Tin ; Sauleau, Ronan ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 58 (2010-05-01), Heft 5, S. 1783-1788
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Compact characterisation of ultra wideband antenna responses from frequency measurements.
    Marchais, C. ; Uguen, B. ; et al.
    In: IET Microwaves, Antennas & Propagation (Institution of Engineering & Technology), Jg. 5 (2011-06-15), Heft 6, S. 671-675
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -