يعرض 1 - 20 نتائج من 118 نتيجة بحث عن '"KRUMM, Heiko"', وقت الاستعلام: 0.55s تنقيح النتائج
  1. 1
  2. 2
    Conference

    مصطلحات موضوعية: ddc:004

    Relation: Sicherheit in komplexen, vernetzten Umgebungen, 22. September 2005, Bonn, Deutschland; Lecture Notes in Informatics (LNI) Proceedings;P-68; 3-88579-397-0; http://hdl.handle.net/2003/23210; http://dx.doi.org/10.17877/DE290R-15888

  3. 3
    Book

    المصدر: IFIP International Federation for Information Processing ; New Developments in Distributed Applications and Interoperable Systems ; page 289-294 ; ISBN 0792374819

  4. 4
    Book

    المؤلفون: Rothmaier, Gerrit, Krumm, Heiko

    المصدر: Formal Techniques for Networked and Distributed Systems - FORTE 2005 ; Lecture Notes in Computer Science ; page 247-260 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540291893 9783540320845

  5. 5
    Book

    المصدر: Ambient Networks ; Lecture Notes in Computer Science ; page 36-47 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540293880 9783540322443

  6. 6
    Conference

    مصطلحات موضوعية: ddc:004

    Relation: DIMVA 2004, July 6-7, Dortmund, Germany; Lecture Notes in Informatics;P-46; Peter Herrmann, Lars Wiebusch, Heiko Krumm: Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. In Flegel, U.; Meier, M. (Eds.): Proc. of the International GI Workshop on Detection of Intrusions and Malware & Vulnerability Assessment, number P-46 in Lecture Notes in Informatics, pp. 55-70, Dortmund, Germany, July 2004, Köllen Verlag; ISBN 3-88579-365-X.; http://hdl.handle.net/2003/22774; http://dx.doi.org/10.17877/DE290R-2029

  7. 7
    Conference
  8. 8
    Book

    المصدر: Security and Protection in Information Processing Systems ; page 65-81 ; ISBN 9781475780161 9781402081439

  9. 9
    Book

    المصدر: Towards the Knowledge Society ; IFIP Advances in Information and Communication Technology ; page 195-209 ; ISSN 1868-4238 1868-422X ; ISBN 9781475768619 9780387356174

  10. 10
    Book

    المصدر: Distributed Applications and Interoperable Systems II ; page 345-358 ; ISBN 9781475750089 9780387355658

  11. 11
    Book
  12. 12
    Book

    المصدر: Lecture Notes in Computer Science ; Active Technologies for Network and Service Management ; page 243-255 ; ISSN 0302-9743 ; ISBN 9783540665984 9783540481003

  13. 13
    Book

    المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 407-411 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540610427 9783540498742

  14. 14
    Book

    المؤلفون: Krumm, Heiko

    المصدر: Automatic Verification Methods for Finite State Systems ; Lecture Notes in Computer Science ; page 89-96 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540521488 9783540469056

  15. 15
    Academic Journal

    المؤلفون: Mester, Arnulf, Krumm, Heiko

    المصدر: Computer Science Education ; volume 10, issue 3, page 243-265 ; ISSN 0899-3408 1744-5175

    الاتاحة: https://doi.org/10.1076/0899-3408(200012)10:3%3B1-s%3Bft243
    http://www.tandfonline.com/doi/pdf/10.1076/0899-3408(200012)10:3%3B1-S%3BFT243

  16. 16
    Conference
  17. 17
    Academic Journal
  18. 18
    Conference
  19. 19
    Conference

    المؤلفون: Burkert, Malte, Krumm, Heiko

    المصدر: 2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech) ; volume 12, page 352-359

  20. 20
    Conference