Zum Hauptinhalt springen

Suchergebnisse

UB Katalog
Ermittle Trefferzahl…

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

1.641 Treffer

Sortierung: 
  1. Haahr, Mads
    2018
    Online Buch
  2. Chatterjee, Krishnendu ; Henzinger, Thomas A ; et al.
    In: Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. Principles of Modeling . Vol 10760. Springer; 2018:143-161. doi: 10.1007/978-3-319-95246-8_9; (2018)
    Buch
  3. Chatterjee, Krishnendu ; Doyen, Laurent ; et al.
    In: Chatterjee K, Doyen L, Henzinger TA. The cost of exactness in quantitative reachability. In: Aceto L, Bacci G, Ingólfsdóttir A, Legay A, Mardare R, eds. Models, Algorithms, Logics and Tools . Vol 10460. Theoretical Computer Science and General Issues. Springer; 2017:367-381. doi: 10.1007/978-3-319-63121-9_18; (2017)
    Buch
  4. Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  5. Hameurlain, Abdelkader ; Tjoa, A Min ; et al.
    In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://hal.archives-ouvertes.fr/hal-03177427 ; Abdelkader Hameurlain; A Min Tjoa; Richard Chbeir. Lecture Notes in Computer Science, 12630, 2021, LNCS, 978-3-662-62918-5. ⟨10.1007/978-3-662-62919-2⟩ ; https://link.springer.com/book/10.1007%2F978-3-662-62919-2; (2021)
    Buch
  6. Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  7. Hameurlain, Abdelkader ; Tjoa, A Min ; et al.
    In: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://hal.archives-ouvertes.fr/hal-03179789 ; Lecture Notes in Computer Science, 12410, 2020, LNCS, 978-3-662-62385-5. ⟨10.1007/978-3-662-62386-2⟩ ; https://link.springer.com/book/10.1007%2F978-3-662-62386-2; (2020)
    Buch
  8. Haahr, Mads
    2015
    Online Buch
  9. Edelsbrunner, Herbert ; Kerber, Michael ; et al.
    In: Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science . Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer; 2011:20-35. doi: 10.1007/978-3-642-19391-0_2; (2011)
    Buch
  10. Van De Weygaert, Rien ; Vegter, Gert ; et al.
    In: Van De Weygaert R, Vegter G, Edelsbrunner H, et al. Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Gavrilova M, Tan K, Mostafavi M, eds. Transactions on Computational Science XIV . Vol 6970. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer; 2011:60-101. doi: 10.1007/978-3-642-25249-5_3; (2011)
    Buch
  11. Floater, Michael S. ; Lyche, Tom ; et al.
    In: 9th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2016 ; https://hal.archives-ouvertes.fr/hal-01664355 ; 9th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2016, Jun 2016, Tønsberg, Norway. 10521, Springer, 2017, Lecture Notes in Computer Science, 978-3-319-67884-9. ⟨10.1007/978-3-319-67885-6⟩; (2017)
    Buch
  12. Antoniou, G. ; Grobelnik, M. ; et al.
    2011
    Buch
  13. Vincent, Emmanuel ; Yeredor, Arie ; et al.
    In: 12th International Conference, LVA/ICA 2015 ; https://hal.inria.fr/hal-01183618 ; 12th International Conference, LVA/ICA 2015, Aug 2015, Liberec, Czech Republic. Springer, 2015, 978-3-319-22481-7 ; http://www.springer.com/us/book/9783319224817; (2015)
    Buch
  14. O'Neill, Maire ; Liu, Weiqiang ; et al.
    In: O'Neill , M , Liu , W & Swartzlander , E 2013 , Security Issues in QCA Circuit Design – Power Analysis Attacks•Liu, W, Srivastava, S, O’Neill, M, Swartzlander, E.E, Security Issues in QCA Circuit Design – Power Analysis Attacks, Book chapter in Field-Coupled Nanocomputing, Springer LNCS 8280, pp 194-222, September 2013. in Field-Coupled Nanocomputing . vol. LNCS 8280 , Springer , pp. 194-222; (2013)
    Buch
  15. Saake, G. ; Türker, C. ; et al.
    2000
    Buch
  16. Meersman, Robert ; Panetto, Hervé ; et al.
    In: On the Move to Meaningful Internet Systems: OTM 2014 Conferences; (2014)
    Buch
  17. Meersman, Robert ; Panetto, Hervé ; et al.
    In: On the Move to Meaningful Internet Systems: OTM 2014 Conferences; (2014)
    Buch
  18. Vigneron, Vincent ; Zarzoso, Vicente ; et al.
    In: https://inria.hal.science/inria-00544145 ; Springer, pp.656, 2010, ⟨10.1007/978-3-642-15995-4⟩; (2010)
    Buch
  19. Cerny, Pavol ; Henzinger, Thomas A ; et al.
    In: Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli . Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi: 10.1007/978-3-642-13754-9_3; (2010)
    Buch
  20. Eder, Johann ; Dustdar, Schahram ; et al.
    In: Business Process Management Workshops ; https://hal.science/hal-00091350 ; Springer, pp.508, 2006; (2006)
    Buch
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -