Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

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

10.158 Treffer

Sortierung: 
  1. Zhang, Hongkai ; Yuan, Jianjun ; et al.
    In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022-10-23, S. 8567-8572
    Konferenz
  2. Maharathy, Siddharth P. ; Godbole, Rohini M. ; et al.
    In: Springer proceedings in physics, Jg. 277 (2022), S. 243-246
    Konferenz
  3. Zhang, Hongkai ; Yuan, Jianjun ; et al.
    In: IROS, 2022, S. 8567-8572
    Konferenz
  4. Zhang, Sihai ; Liu, Yuan ; et al.
    In: 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC), 2012-09-01, S. 809-814
    Konferenz
  5. Pach, János ; Saghafian, Morteza ; et al.
    In: Pach J, Saghafian M, Schnider P. Decomposition of geometric graphs into star-forests. In: 31st International Symposium on Graph Drawing and Network Visualization . Vol 14465. Springer Nature; 2024:339-346. doi: 10.1007/978-3-031-49272-3_23, 2024
    Konferenz
  6. De Nooijer, Phoebe ; Terziadis, Soeren ; et al.
    In: De Nooijer P, Terziadis S, Weinberger A, et al. Removing popular faces in curve arrangements. In: 31st International Symposium on Graph Drawing and Network Visualization . Vol 14466. Springer Nature; 2024:18-33. doi: 10.1007/978-3-031-49275-4_2, 2024
    Konferenz
  7. Chalupa, Marek ; Richter, Cedric
    In: Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 14572. Springer Nature; 2024:353–358. doi: 10.1007/978-3-031-57256-2_20, 2024
    Konferenz
  8. Srikar, Y ; Himaanshu, V ; et al.
    In: 2023 2nd International Conference on Ambient Intelligence in Health Care (ICAIHC), 2023-11-17, S. 1-6
    Konferenz
  9. Addy, Majewski W. ; Hannu, Jääskeläinen
    In: Diesel Emissions and Their Control (2nd Edition); (2023)
    Online E-Book
  10. Rainer, Pöttgen ; Thomas, Jüstel ; et al.
    In: Applied Inorganic Chemistry, Volume 2 - From Energy Storage to Photofunctional Materials; (2023)
    Online E-Book
  11. Zheng, B ; Khan, D ; et al.
    In: 73. Jahrestagung der Deutschen Gesellschaft für Neurochirurgie (DGNC), Joint Meeting mit der Griechischen Gesellschaft für Neurochirurgie; 20220529-20220601; Köln; DOCP091 /20220525/, 2022
    Online Konferenz
  12. Steffen, B.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8802, S. 514-517
    Konferenz
  13. Shaker Reddy, Pundru Chandra ; Suryanarayana, G. ; et al.
    In: 2022 5th International Conference on Multimedia, Signal Processing and Communication Technologies (IMPACT), 2022-11-26, S. 1-5
    Konferenz
  14. Koutavas, Vasileios
    2022
    Online Konferenz
  15. Zheng, Da Wei ; Henzinger, Monika H
    In: Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization . Vol 13904. Springer Nature; 2023:453-465. doi: 10.1007/978-3-031-32726-1_32, 2023
    Konferenz
  16. Chalupa, Marek ; Henzinger, Thomas A
    In: Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification . Vol 14245. Springer Nature; 2023:168-190. doi: 10.1007/978-3-031-44267-4_9, 2023
    Konferenz
  17. Koval, Nikita ; Fedorov, Alexander ; et al.
    In: Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi: 10.1007/978-3-031-37706-8_8, 2023
    Konferenz
  18. Meggendorfer, Tobias
    In: Meggendorfer T. Correct approximation of stationary distributions. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:489-507. doi: 10.1007/978-3-031-30823-9_25, 2023
    Konferenz
  19. Majumdar, Rupak ; Mallik, Kaushik ; et al.
    In: Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: 35th International Conference on Computer Aided Verification . Vol 13966. Springer Nature; 2023:3-15. doi: 10.1007/978-3-031-37709-9_1, 2023
    Konferenz
  20. Křišťan, Jan Matyáš ; Svoboda, Jakub
    In: Křišťan JM, Svoboda J. Shortest dominating set reconfiguration under token sliding. In: 24th International Symposium on Fundamentals of Computation Theory . Vol 14292. Springer Nature; 2023:333-347. doi: 10.1007/978-3-031-43587-4_24, 2023
    Konferenz
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -