Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

57 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Enhancing Phonetics Learning in Online Language Courses: A Counterbalanced Study on CLD and SCA Methods for Intermediate CFL Japanese Students : 6th International conference of innovative technologies and learning, ICITL 2023
    Kao, I-Lin ; Chang, Chi-Cheng ; et al.
    In: Lecture notes in computer science, Jg. 14099 (2023), S. 268-278
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    A Pilot Study of Preservice Teachers Accepting and Using Chatbots to Enhance CFL Education : 6th International conference of innovative technologies and learning, ICITL 2023
    Lan, Yu-Ju ; Chung, Fu-Ling ; et al.
    In: Lecture notes in computer science, Jg. 14099 (2023), S. 260-267
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CFL: Cluster Federated Learning in Large-Scale Peer-to-Peer Networks : 25th Information security International conference, ISC
    Chen, Qian ; Wang, Zilong ; et al.
    In: Lecture notes in computer science, Jg. 13640 (2022), S. 464-472
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Selective Context-Sensitivity for k-CFA with CFL-Reachability : 28th International static analysis symposium, SAS 2021
    Lu, Jingbo ; He, Dongjie ; et al.
    In: Lecture notes in computer science, Jg. 12913 (2021), S. 261-285
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts : Computer aided verification
    Dan, Andrei Marian ; Sridharan, Manu ; et al.
    In: Lecture notes in computer science, Jg. 10427 (2017), S. 521-541
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization : European symposium on programming
    Tang, Hao ; Wang, Di ; et al.
    In: Lecture notes in computer science, Jg. 10201 (2017), S. 880-908
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    3D Reconstruction of CFL Ligament Based on Ultrasonographic Images : International visual informatics conference
    Singh, Vedpal ; Elamvazuthi, Irraivan ; et al.
    In: Lecture notes in computer science, Jg. 9429 (2015), S. 503-513
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity : Language and automata theory and applications (International conference)
    Bachmeier, Georg ; Luttenberger, Michael ; et al.
    In: Lecture notes in computer science, Jg. 8977 (2015), S. 473-485
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Not All Multi-valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract) : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014
    Yamakami, T.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8705, S. 136-150
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    An Incremental Points-to Analysis with CFL-Reachability : Compiler construction
    Lu, Y. ; Shang, L. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7791, S. 61-81
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Delta -Clearing Restarting Automata and CFL : Conference on Developments in Language Theory
    Cerno, P. ; Mraz, F.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2011, Heft 6795, S. 153-164
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis : Object oriented programming; ECOOP
    Xu, G. ; Rountev, A. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5653, S. 98-122
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Existential Label Flow Inference Via CFL Reachability : Static analysis; SAS 2006
    Pratikakis, P. ; Foster, J. S. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft 4134, S. 88-106
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees : Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 York, UK, March 22-29, 2009 Proceedings
    Yuan, H. ; Eugster, P.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5502, S. 175-189
    serialPeriodical
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    serialPeriodical
  16. Detailansicht für Treffer 16 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  17. Detailansicht für Treffer 17 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  18. Detailansicht für Treffer 18 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  19. Detailansicht für Treffer 19 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  20. Detailansicht für Treffer 20 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -