Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

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

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

38 Treffer

Sortierung: 
  1. Kudinov, Andrey
    In: Advances in Modal Logic, 2014, S. 373-386
    Online Konferenz
  2. 2015
    Buch
  3. 2013
    Buch
  4. 2012
    Buch
  5. 2011
    Buch
  6. 2010
    Buch
  7. 2009
    Buch
  8. 2008
    Buch
  9. Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Konferenz
  10. Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Konferenz
  11. Mahdavi, Mojtaba
    In: 2023 26th Euromicro Conference on Digital System Design (DSD), 2023-09-06, S. 626-633
    Konferenz
  12. Liu, Derong ; Yu, Bei ; et al.
    In: DAC: Annual ACM/IEEE Design Automation Conference, 2016-06-01, S. 499-504
    Online Konferenz
  13. Wu, Qingquan
    2023
    Online Konferenz
  14. Liu, Derong ; Yu, Bei ; et al.
    In: 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2016-06-01, S. 1-6
    Online Konferenz
  15. Sapkal, Monali S. ; Kadbe, Premanand K. ; et al.
    In: 2016 International Conference on Electrical, Electronics, and Optimization Techniques (ICEEOT), 2016-03-01, S. 310-313
    Konferenz
  16. Bangaru, Lakshmi Bhanu ; Gupta, Vimal
    In: 2015 International Conference on Cognitive Computing and Information Processing(CCIP), 2015-03-01, S. 1-4
    Konferenz
  17. Goller, Stefan ; Jung, Jean Christoph ; et al.
    In: 2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012-06-01, S. 325-334
    Online Konferenz
  18. Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Konferenz
  19. Garge, Nikhil R ; Page, Grier P ; et al.
    2005
    Konferenz
  20. Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Konferenz
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -