Zum Hauptinhalt springen
Stadt- und Landesbibliothek Dortmund

Suchergebnisse

Unser Katalog

Artikel & mehr
2.499 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"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Sprache

Inhaltsanbieter

2.499 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond
    Aldini, Alessandro
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 312 (2020), Heft Proc. QAPL 2019, S. 1-19
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    A Faster-Than Relation for Semi-Markov Decision Processes
    Mathias Ruggaard Pedersen ; Bacci, Giorgio ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 312 (2020), Heft Proc. QAPL 2019, S. 29-42
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Probabilistic Output Analyses for Deterministic Programs — Reusing Existing Non-probabilistic Analyses
    Maja Hanne Kirkeby
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 312 (2020), Heft Proc. QAPL 2019, S. 43-57
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Towards Digital Twins for the Description of Automotive Software Systems
    Jan Olaf Blech
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 312 (2020), Heft Proc. QAPL 2019, S. 20-28
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Speeding up Generalized PSR Parsers by Memoization Techniques
    Minas, Mark
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 309 (2019-12-01), Heft Proc. GCM 2019, S. 71-86
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Rule-based Graph Repair
    Sandmann, Christian ; Habel, Annegret
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 309 (2019-12-01), Heft Proc. GCM 2019, S. 87-104
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
    Schon, Claudia ; Siebert, Sophie ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 311 (2019-12-01), Heft Proc. ARCADE 2019, S. 19-24
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A Component-Based Formal Language Workbench
    Mosses, Peter D.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 310 (2019-12-01), Heft Proc. F-IDE 2019, S. 29-34
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Automated Deductive Verification for Ladder Programming
    Cousineau, Denis ; Mentré, David ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 310 (2019-12-01), Heft Proc. F-IDE 2019, S. 7-12
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Deeply Integrating C11 Code Support into Isabelle/PIDE
    Tuong, Frédéric ; Wolff, Burkhart
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 310 (2019-12-01), Heft Proc. F-IDE 2019, S. 13-28
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    On Quantified Modal Theorem Proving for Modeling Ethics
    Naveen Sundar Govindarajulu ; Bringsjord, Selmer ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 311 (2019-12-01), Heft Proc. ARCADE 2019, S. 43-49
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
    Behr, Nicolas
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 309 (2019-12-01), Heft Proc. GCM 2019, S. 23-52
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
    Bessai, Jan ; Roidl, Moritz ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 310 (2019-12-01), Heft Proc. F-IDE 2019, S. 1-6
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Smarter Features, Simpler Learning?
    Winkler, Sarah ; Moser, Georg
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 311 (2019-12-01), Heft Proc. ARCADE 2019, S. 25-31
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Simulation under Arbitrary Temporal Logic Constraints
    Brunel, Julien ; Chemouil, David ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 310 (2019-12-01), Heft Proc. F-IDE 2019, S. 63-69
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    The TLA+ Toolbox
    Markus Alexander Kuppe ; Lamport, Leslie ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 310 (2019-12-01), Heft Proc. F-IDE 2019, S. 50-62
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    The Challenge of Unifying Semantic and Syntactic Inference Restrictions
    Weidenbach, Christoph
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 311 (2019-12-01), Heft Proc. ARCADE 2019, S. 5-10
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Boldly Going Where No Prover Has Gone Before
    Reger, Giles
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 311 (2019-12-01), Heft Proc. ARCADE 2019, S. 37-41
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    An Integrated Development Environment for the Prototype Verification System
    Masci, Paolo ; Muñoz, César A.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 310 (2019-12-01), Heft Proc. F-IDE 2019, S. 35-49
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Transformation of Turing Machines into Context-Dependent Fusion Grammars
    Lye, Aaron
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 309 (2019-12-01), Heft Proc. GCM 2019, S. 53-70
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?

Weitere Kataloge

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