Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

39 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Sharpening the Incompleteness of the Duration Calculus
    Guelev, Dimitar P.
    In: Electronic Notes in Theoretical Computer Science, Jg. 139 (2005-11-04), Heft 1, S. 91-104
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    A Calculus for Mobile Ad-hoc Networks with Static Location Binding
    Godskesen, Jens Chr.
    In: Electronic Notes in Theoretical Computer Science, Jg. 242 (2009-07-09), Heft 1, S. 161-183
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Type-Directed Compilation for Multicore Programming
    Honda, Kohei
    In: Electronic Notes in Theoretical Computer Science, Jg. 241 (2009-07-03), S. 101-111
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    JOLIE: a Java Orchestration Language Interpreter Engine
    Montesi, Fabrizio ; Guidi, Claudio ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 181 (2007-06-27), S. 19-33
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Termination Criteria for Bounded Model Checking: Extensions and Comparison
    Awedh, Mohammad ; Somenzi, Fabio
    In: Electronic Notes in Theoretical Computer Science, Jg. 144 (2006-01-11), Heft 1, S. 51-66
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Discounting Infinite Games But How and Why?
    Gimbert, Hugo ; Zielonka, WiesAAw
    In: Electronic Notes in Theoretical Computer Science, Jg. 119 (2005-02-02), Heft 1, S. 3-9
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
    Gyapay, Szilvia ; Schmidt, Akos ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 109 (2004-12-14), S. 137-147
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Qualified Logic Programming with Bivalued Predicates
    Rodriguez-Artalejo, Mario ; Romero-Diaz, Carlos A.
    In: Electronic Notes in Theoretical Computer Science, Jg. 248 (2009-08-05), S. 67-82
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Universality of R-automata with Value Copying
    Abdulla, Parosh Aziz ; Krcal, Pavel ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 239 (2009-07-01), S. 131-141
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    On Decidability of LTL+Past Model Checking for Process Rewrite Systems
    KAetinskA1 ; Aehak, VojtACh ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 239 (2009-07-01), S. 105-117
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Proofs as Polynomials
    Haghverdi, Esfandiar
    In: Electronic Notes in Theoretical Computer Science, Jg. 218 (2008-10-22), S. 53-72
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
    Dragoi, Cezara ; Stefanescu, Gheorghe
    In: Electronic Notes in Theoretical Computer Science, Jg. 203 (2008-05-14), Heft 3, S. 69-94
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Equivalence of Two Formal Semantics for Functional Logic Programs
    Lopez-Fraguas, F.J. ; Rodriguez-Hortala, J. ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 188 (2007-07-16), S. 117-142
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Expander2: Program Verification Between Interaction and Automation
    Padawitz, Peter
    In: Electronic Notes in Theoretical Computer Science, Jg. 177 (2007-06-01), S. 35-57
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Establishment of Ad-Hoc Communities through Policy-Based Cryptography
    Bagga, Walid
    In: Electronic Notes in Theoretical Computer Science, Jg. 171 (2007-04-14), Heft 1, S. 107-120
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Quantum Patterns and Types for Entanglement and Separability
    Perdrix, Simon
    In: Electronic Notes in Theoretical Computer Science, Jg. 170 (2007-03-06), S. 125-138
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A Component Model for Separation of Control Flow from Computation in Component-Based Systems
    Lau, Kung-Kiu ; Ukis, Vladyslav ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 163 (2006-09-19), Heft 1, S. 57-69
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Variables as Resource in Separation Logic
    Bornat, Richard
    In: Electronic Notes in Theoretical Computer Science, Jg. 155 (2006-05-12), S. 247-276
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Supporting Function Calls within PELCR
    Cosentino, Antonio
    In: Electronic Notes in Theoretical Computer Science, Jg. 135 (2006-03-03), Heft 3, S. 107-117
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
    Brim, L. ; Aerna, I. ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 135 (2006-02-20), Heft 2, S. 3-18
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -