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 81 öffnen
    Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
    Olson, Craig ; Lierler, Yuliya
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 87-100
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 82 öffnen
    Natural Language Generation for Non-Expert Users
    Van Duc Nguyen ; Tran Cao Son ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 280-294
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 83 öffnen
    An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider
    José Luis Vilchis Medina ; Siegel, Pierre ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 323-329
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 84 öffnen
    Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
    Pandya, Paritosh K. ; Wakankar, Amol
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 305 (2019-09-01), Heft Proc. GandALF 2019, S. 91-106
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 85 öffnen
    Gröbner Bases with Reduction Machines
    Şurlea, Georgiana ; Crăciun, Adrian
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-01), Heft Proc. FROM 2019, S. 61-75
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 86 öffnen
    Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming
    Izmirlioglu, Yusuf
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 371-378
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 87 öffnen
    A Parity Game Tale of Two Counters
    Tom van Dijk
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 305 (2019-09-01), Heft Proc. GandALF 2019, S. 107-122
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 88 öffnen
    State Complexity of the Multiples of the Thue-Morse Set
    Charlier, Émilie ; Cisternino, Célia ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 305 (2019-09-01), Heft Proc. GandALF 2019, S. 34-49
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 89 öffnen
    Value of Information in Probabilistic Logic Programs
    Ghosh, Sarthak ; Ramakrishnan, C. R.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 71-84
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 90 öffnen
    Verifying the DPLL Algorithm in Dafny
    Andrici, Cezar-Constantin ; Ciobâcă, Ştefan
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-01), Heft Proc. FROM 2019, S. 3-15
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 91 öffnen
    Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
    Alexandru, Andrei ; Ciobanu, Gabriel
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-01), Heft Proc. FROM 2019, S. 120-134
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 92 öffnen
    Towards Gradually Typed Capabilities in the Pi-Calculus
    Cimini, Matteo
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 304 (2019-09-01), Heft Proc. ICE 2019, S. 61-76
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 93 öffnen
    BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion
    Das, Ariyam ; Li, Youfu ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 273-279
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 94 öffnen
    Open Multiparty Sessions
    Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 304 (2019-09-01), Heft Proc. ICE 2019, S. 77-96
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 95 öffnen
    Strong Equivalence for LPMLN Programs
    Lee, Joohyung ; Luo, Man
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 196-209
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 96 öffnen
    Explaining SDN Failures via Axiomatisations
    Caltais, Georgiana
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-01), Heft Proc. FROM 2019, S. 48-60
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 97 öffnen
    Advances in Big Data Bio Analytics
    Angelopoulos, Nicos ; Wielemaker, Jan
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 306 (2019-09-01), Heft Proc. ICLP 2019, S. 309-322
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 98 öffnen
    Algebraic and Combinatorial Tools for State Complexity : Application to the Star-Xor Problem
    Caron, Pascal ; Edwin Hamel-de le Court ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 305 (2019-09-01), Heft Proc. GandALF 2019, S. 154-168
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 99 öffnen
    Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case
    Galliani, Pietro
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 305 (2019-09-01), Heft Proc. GandALF 2019, S. 66-82
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 100 öffnen
    Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
    Olivieri, Francesco ; Governatori, Guido ; et al.
    In: Electronic Proceedings in Theoretical Computer Science, Jg. 298 (2019-08-01), Heft Proc. DICE-FOPARA 2019, S. 1-14
    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 -