Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

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

Geographischer Bezug

46 Treffer

Sortierung: 
  1. In: Science Letter, 2024-02-09, S. 112
    Zeitungsartikel
  2. In: Global IP News: Electrical Patent News, 2023-01-05
    Zeitungsartikel
  3. Xu, Leifeng ; Ming, Jun
    In: Virology Journal, Jg. 19 (2022-12-16), Heft 1, S. 1-6
    Online academicJournal
    Siehe Detailanzeige für Volltext
  4. Hou, Chunsheng ; Liang, Hao ; et al.
    In: Molecular Ecology, Jg. 32 (2023-07-15), Heft 14, S. 3859-3871
    Online academicJournal
  5. Zhang, Yubao ; Xie, Zhongkui ; et al.
    In: Annals of Applied Biology, Jg. 180 (2022), Heft 1, S. 132-139
    Online academicJournal
  6. Wang, Xinkai ; Yao, Jia ; et al.
    In: International Development Planning Review, Jg. 45 (2023-04-01), Heft 2, S. 149-173
    academicJournal
  7. Liu, Yonghe ; Feng, Jinming ; et al.
    In: Atmospheric Research, Jg. 224 (2019-08-01), S. 99-113
    academicJournal
  8. Wang, Ruoyu ; Wang, Guangpeng ; et al.
    2010
    unknown
  9. Xu, Leifeng ; Song, Meng ; et al.
    In: Agronomy, Jg. 12 (2022), Heft 1, S. 47-47
    Online academicJournal
    Siehe Detailanzeige für Volltext
  10. Phokasem, Patcharin ; Sinpoo, Chainarong ; et al.
    In: Life (Basel), Jg. 13 (2023-02-01), Heft 2
    Online academicJournal
    Siehe Detailanzeige für Volltext
  11. Zheng, H. Y. ; Chen, J. ; et al.
    In: Archives of Virology, Jg. 148 (2003-12-01), Heft 12, S. 2419-2428
    Online academicJournal
  12. Yang, Sa ; Gayral, Philippe ; et al.
    In: Viruses (1999-4915), Jg. 12 (2020), Heft 1, S. 6-6
    Online academicJournal
    Siehe Detailanzeige für Volltext
  13. Fabre, Eric ; Hélouët, Loïc ; et al.
    In: 13th International Workshop on Discrete Event Systems ; https://hal.inria.fr/hal-01302562 ; 13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262, 2016
    Online Konferenz
  14. Bouyer, Patricia ; Kupferman, Orna ; et al.
    In: IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence ; https://hal.science/hal-02268141 ; IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1588-1594, ⟨10.24963/ijcai.2019/220⟩, 2019
    Konferenz
  15. Demri, Stéphane ; Finkel, Alain ; et al.
    In: ATVA 2006 - 4th International Symposium on Automated Technology for Verification and Analysis ; https://hal.archives-ouvertes.fr/hal-03203578 ; ATVA 2006 - 4th International Symposium on Automated Technology for Verification and Analysis, Susanne Graf; Wenhui Zhang, Oct 2006, Beijing, China. pp.493-507, ⟨10.1007/11901914_36⟩ ; https://link.springer.com/book/10.1007/11901914, 2006
    Online Konferenz
  16. Mitsuhashi, Ichiro ; Oyamaguch, Michio ; et al.
    In: 8th International Conference Artificial Intelligence and Symbolic Computation (AISC) ; https://hal.inria.fr/inria-00579010 ; 8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. pp.68-81, ⟨10.1007/11856290_8⟩ ; http://www.springerlink.com/content/3m3n00k2661814um/, 2006
    Online Konferenz
  17. Bollig, Benedikt ; Fortin, Marie ; et al.
    In: 29th International Conference on Concurrency Theory (CONCUR 2018) ; https://hal.science/hal-02398194 ; 29th International Conference on Concurrency Theory (CONCUR 2018), Sep 2018, Beijing, China. pp.7:1-7:17, ⟨10.4230/LIPIcs.CONCUR.2018.7⟩, 2018
    Konferenz
  18. Ponce de León, Hernan ; Rodriguez, César ; et al.
    In: Lecture Notes in Computer Science ; 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15) ; https://hal.science/hal-01242885 ; 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15), 2015, Shanghai, China, 2015
    Konferenz
  19. Bollig, Benedikt ; Decker, Normann ; et al.
    In: Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12) ; https://hal.inria.fr/hal-00776769 ; Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12), 2012, Beijing, China. pp.85-92, ⟨10.1109/TASE.2012.43⟩, 2012
    Konferenz
  20. Haar, Stefan ; Laboratoire Spécification et Vérification Cachan (LSV) ; et al.
    In: Proceedings of the Joint 48th IEEE Conference on Decision and Control (CDC'09) and 28th Chinese Control Conference (CCC'09) ; https://hal.inria.fr/inria-00638286, 2009
    Konferenz
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -