Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
7 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & 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 / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

7 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems
    Bromberger, Martin ; Max-Planck-Institut für Informatik (MPII) ; et al.
    In: IJCAR 2018 - 9th International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-01942228 ; IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom. pp.329-345, 2018
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Computing the Longest Unbordered Substring
    Gawrychowski, Pawel ; Kucherov, Gregory ; et al.
    In: Proc. of the 22nd International Symposium on String Processing and Information Retrieval (SPIRE), September 1-4, 2015, London, UK ; https://hal.science/hal-01250721 ; Proc. of the 22nd International Symposium on String Processing and Information Retrieval (SPIRE), 2015
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Linking Unlinkability
    Brusó, Mayla ; Chatzikokolakis, Konstantinos ; et al.
    In: Lecture Notes in Computer Science ; TGC 2012 - 7th International Symposium on Trustworthy Global Computing ; https://inria.hal.science/hal-00760150 ; TGC 2012 - 7th International Symposium on Trustworthy Global Computing, Sep 2012, Newcastle upon Tyne, United Kingdom. pp.129-144, ⟨10.1007/978-3-642-41157-1_9⟩, 2012
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Computational Depth Complexity of Measurement-Based Quantum Computation
    Browne, Dan E. ; Kashefi, Elham ; et al.
    In: Proceedings of the 5th Conference on Theory of Quantum Computation, Communication, and Cryptography (TQC) ; TQC 2010 - 5th Conference on Theory of Quantum Computation, 2010
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    On Functions Weakly Computable by Petri Nets and Vector Addition Systems
    Leroux, Jérôme ; Schnoebelen, Ph ; et al.
    In: Reachability Problems - 8th International Workshop, {RP} 2014 ; https://hal.archives-ouvertes.fr/hal-01084971 ; Reachability Problems - 8th International Workshop, 2014
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems
    Gorgo, Gaël ; Vincent, Jean-Marc ; et al.
    In: ASMTA, LNCS ; https://inria.hal.science/hal-00788885 ; ASMTA, 2010
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    PGT-SR (reciprocal translocation) using trophectoderm sampling and next-generation sequencing: insights from a virtual trial.
    Scriven, PN
    In: Journal of assisted reproduction and genetics, Jg. 38 (2021-08-01), Heft 8, S. 1971-1978
    Online academicJournal
    Zugriff:
    Zum Volltext
    Wie komme ich dran?

Elektronische Zeitschriften

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -