Fachgebiet
Medium
  • 10601
  • 5301
Erscheinungsjahr
  • 107
  • 1011
  • 1065
  • 789
  • 661
  • 430
  • 407
  • 466
  • 468
  • 432
  • 450
  • 430
  • 415
  • 424
  • 443
  • 453
  • 416
  • 536
  • 486
  • 593
  • 557
  • 521
  • 719
  • 1371
  • 258
  • 262
  • 182
  • 176
  • 145
  • 144
  • 144
  • 125
  • 111
  • 97
  • 74
  • 85
  • 60
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 10
  • 6
  • 6
  • 11
  • 7
  • 9
  • 8
  • 14
  • 6
  • 14
  • 8
  • 10
  • 23
  • 9
  • 33
  • 10
  • 6
  • 10
  • 9
  • 11
  • 11
  • 12
  • 13
  • 30
  • 39
  • 9
  • 62
  • 10
  • 8
  • 7
  • 7
  • 10
  • 16
  • 6
  • 20
  • 6
  • 12
  • 7
  • 8
  • 12
  • 50
  • 10
  • 6
  • 8
  • 7
  • 11
  • 10
  • 7
  • 8
  • 8
  • 6
  • 14
  • 9
  • 6
  • 15
  • 7
  • 11
  • 6
  • 7
  • 15
  • 9
  • 9
  • 12
  • 7
  • 28
  • 13
  • 20
  • 12
  • 7
  • 7
  • 16
  • 11
  • 9
  • 31
  • 16
  • 11
  • 6
  • 45
  • 6
  • 6
  • 28
  • 23
  • 7
  • 17
  • 7
  • 9
  • 11
  • 7
  • 9
  • 10
  • 15
  • 12
  • 11
  • 6
  • 6
  • 18
  • 7
  • 6
  • 17
  • 9
  • 20
  • 10
  • 18
  • 8
  • 7
  • 6
  • 10
  • 7
  • 12
  • 50
  • 22
  • 12
  • 10
  • 8
  • 13
  • 6
  • 12
  • 13
  • 8
  • 8
  • 19
  • 8
  • 15
  • 7
  • 18
  • 11
  • 10
  • 18
  • 11
  • 6
  • 15
  • 8
  • 27
  • 11
  • 23
  • 6
  • 19
  • 6
  • 11
  • 8
  • 6
  • 9
  • 7
  • 13
  • 13
  • 7
  • 11
  • 37
  • 11
  • 46
  • 15
  • 11
  • 28
  • 6
  • 23
  • 9
  • 11
  • 28
  • 7
  • 13
  • 50
  • 14
  • 16
  • 13
  • 8
  • 6
  • 8
  • 12
  • 6
  • 11
  • 23
  • 11
  • 10
  • 7
  • 50
  • 7
  • 9
  • 11
  • 9
  • 8
  • 19
  • 7
  • 6
  • 7
  • 8
  • 6
  • 12
  • 7
  • 10
  • 13
  • 11
  • 18
  • 6
  • 9
  • 7
  • 7
  • 16
  • 10
  • 8
  • 14
  • 7
  • 6
  • 14
  • 12
  • 9
  • 10
  • 7
  • 7
  • 7
  • 7
  • 11
  • 20
  • 9
  • 28
  • 13
  • 16
  • 9
  • 6
  • 12
  • 6
  • 6
  • 13
  • 18
  • 27
  • 7
  • 13
  • 11
  • 6
  • 15
  • 11
  • 6
  • 9
  • 6
  • 14
  • 6
  • 10
  • 14
  • 6
  • 7
  • 8
  • 10
  • 19
  • 15
  • 8
  • 13
  • 12
  • 7
  • 64
  • 63
  • 8
  • 30
  • 8
  • 17
  • 6
  • 16
  • 9
  • 34
  • 20
  • 6
  • 6
  • 6
  • 6
  • 11
  • 27
  • 12
  • 6
  • 7
  • 17
  • 13
  • 12
  • 6
  • 11
  • 7
  • 6
  • 32
  • 19
  • 55
  • 8
  • 10
  • 19
  • 12
  • 7
  • 6
  • 13
  • 6
  • 24
  • 7
  • 6
  • 18
  • 9
  • 8
  • 6
  • 7
  • 7
  • 9
  • 10
  • 8
  • 7
  • 6
  • 7
  • 10
  • 25
  • 21
  • 9
  • 8
  • 6
  • 8
  • 6
  • 6
  • 14
  • 10
  • 10
  • 8
  • 12
  • 6
  • 11
  • 6
  • 6
  • 13
  • 6
  • 6
  • 19
  • 7
  • 19
  • 77
  • 8
  • 6
  • 31
  • 8
  • 36
  • 10
  • 23
  • 34
  • 135
  • 6
  • 14
  • 15
  • 10
  • 8
  • 22
  • 6
  • 13
  • 8
  • 8
  • 7
  • 6
  • 26
  • 14
  • 8
  • 13
  • 6
  • 12
  • 6
  • 14
  • 10
  • 6
  • 18
  • 23
  • 6
  • 9
  • 10
  • 7
  • 9
  • 8
  • 6
  • 9
  • 11
  • 18
  • 7
  • 7
  • 6
  • 56
  • 13
  • 11
  • 8
  • 7
  • 8
  • 8
  • 9
  • 29
  • 14
  • 8
  • 10
  • 22
  • 50
  • 9
  • 8
  • 11
  • 21
  • 10
  • 16
  • 6
  • 10
  • 12
  • 8
  • 9
  • 7
  • 7
  • 6
  • 7
  • 6
  • 18
  • 21
  • 7
  • 11
  • 6
  • 8
  • 10
  • 10
  • 7
  • 8
  • 99
  • 7
  • 6
  • 8
  • 8
  • 7
  • 9
  • 9
  • 6
  • 11
  • 9
  • 7
  • 6
  • 12
  • 21
  • 8
  • 15
  • 10
  • 6
  • 10
  • 12
  • 26
  • 13
  • 17
  • 6
  • 11
  • 9
  • 6
  • 6
  • 6
  • 6
  • 10
  • 22
  • 15
  • 14
  • 9
  • 13
  • 7
  • 14
  • 7
  • 17
  • 8
  • 7
  • 14
  • 9
  • 7
  • 24
  • 8
  • 12
  • 10
  • 10
  • 7
  • 13
  • 18
  • 7
  • 11
  • 14
  • 15
  • 9
  • 10
  • 38
  • 7
  • 9
  • 8
  • 8
  • 9
  • 31
  • 7
  • 25
  • 43
  • 9
  • 7
  • 10
  • 9
  • 21
  • 8
  • 12
  • 42
  • 16
  • 8
  • 16
  • 9
  • 7
  • 11
  • 19
  • 10
  • 13
  • 20
  • 13
  • 21
  • 40
  • 9
  • 19
  • 19
  • 28
  • 8
  • 11
  • 14
  • 7
  • 14
  • 12
  • 13
  • 41
  • 27
  • 49
  • 50
  • 8
  • 8
  • 18
  • 7
  • 7
  • 17
  • 7
  • 12
  • 9
  • 9
  • 12
  • 13
  • 14
  • 10
  • 7
  • 7
  • 16
  • 88
  • 23
  • 24
  • 7
  • 23
  • 8
  • 8
  • 25
  • 7
  • 12
  • 9
  • 21
  • 9
  • 7
  • 8
  • 10
  • 15
  • 16
  • 9
  • 12
  • 15
  • 23
  • 18
  • 7
  • 20
  • 9
  • 24
  • 8
  • 10
  • 29
  • 7
  • 7
  • 17
  • 75
  • 12
  • 8
  • 24
  • 10
  • 7
  • 16
  • 28
  • 7
  • 11
  • 11
  • 21
  • 7
  • 10
  • 7
  • 7
  • 20
  • 15
  • 9
  • 27
  • 9
  • 7
  • 7
  • 7
  • 19
  • 25
  • 17
  • 21
  • 16
  • 20
  • 10
  • 20
  • 9
  • 11
  • 10
  • 13
  • 7
  • 19
  • 14
  • 8
  • 33
  • 10
  • 39
  • 36
  • 9
  • 15
  • 8
  • 7
  • 9
  • 12
  • 9
  • 12
  • 31
  • 10
  • 7
  • 10
  • 8
  • 7
  • 12
  • 7
  • 7
  • 7
  • 22
  • 9
  • 26
  • 14
  • 7
  • 10
  • 7
  • 11
  • 8
  • 8
  • 20
  • 9
  • 11
  • 10
  • 7
  • 56
  • 7
  • 14
  • 14
  • 12
  • 8
  • 9
  • 7
  • 11
  • 9
  • 8
  • 25
  • 7
  • 11
  • 14
  • 14
  • 14
  • 8
  • 15
  • 8
  • 117
  • 16
  • 8
  • 10
  • 13
  • 16
  • 13
  • 18
  • 10
  • 11
  • 12
  • 13
  • 7
  • 58
  • 16
  • 18
  • 12
  • 7
  • 10
  • 7
  • 14
  • 12
  • 11
  • 7
  • 11
  • 10
  • 7
  • 7
  • 17
  • 20
  • 7
  • 9
  • 11
  • 11
  • 9
  • 16
  • 13
  • 12
  • 51
  • 12
  • 7
  • 25
  • 14
  • 8
  • 10
  • 26
  • 18
  • 10
  • 8
  • 11
  • 7
  • 20
  • 20
  • 21
  • 20
  • 12
  • 7
  • 36
  • 7
  • 25
  • 9
  • 15
  • 13
  • 7
  • 8
  • 7
  • 31
  • 9
  • 18
  • 12
  • 31
  • 9
  • 7
  • 13
  • 12
  • 7
  • 21
  • 8
  • 19
  • 17
  • 7
  • 14
  • 7
  • 7
  • 7
  • 27
  • 9
  • 15
  • 7
  • 12
  • 9
  • 21
  • 18
  • 21
  • 9
  • 13
  • 7
  • 16
  • 7
  • 11
  • 7
  • 12
  • 8
  • 15
  • 37
  • 17
  • 7
  • 14
  • 8
  • 9
  • 21
  • 7
  • 16
  • 110
  • 9
  • 9
  • 7
  • 8
  • 39
  • 15
  • 11
  • 12
  • 27
  • 18
  • 10
  • 17
  • 14
  • 26
  • 9
  • 114
  • 80
  • 13
  • 13
  • 7
  • 109
  • 26
  • 7
  • 17
  • 10
  • 15
  • 12
  • 26
  • 19
  • 7
  • 8
  • 7
  • 14
  • 110
  • 7
  • 24
  • 12
  • 13
  • 9
  • 9
  • 23
  • 19
  • 18
  • 7
  • 8
  • 8
  • 8
  • 8
  • 27
  • 16
  • 10
  • 7
  • 14
  • 8
  • 7
  • 7
  • 9
  • 33
  • 11
  • 11
  • 7
  • 8
  • 14
  • 7
  • 27
  • 21
  • 56
  • 19
  • 9
  • 25
  • 15
  • 8
  • 22
  • 11
  • 18
  • 8
  • 10
  • 14
  • 7
  • 50
  • 58
  • 26
  • 10
  • 18
  • 13
  • 10
  • 10
  • 27
  • 9
  • 14
  • 21
  • 25
  • 31
  • 8
  • 7
  • 16
  • 30
  • 23
  • 20
  • 32
  • 86
  • 13
  • 23
  • 35
  • 7
  • 12
  • 10
  • 24
  • 30
  • 11
  • 66
  • 27
  • 14
  • 8
  • 10
  • 10
  • 25
  • 15
  • 8
  • 10
  • 7
  • 7
  • 9
  • 19
  • 7
  • 7
  • 12
  • 14
  • 10
  • 14
  • 10
  • 22
  • 17
  • 109
  • 9
  • 15
  • 7
  • 20
  • 7
  • 8
  • 31
  • 7
  • 7
  • 8
  • 52
  • 9
  • 9
  • 7
  • 14
  • 12
  • 11
  • 10
  • 15
  • 17
  • 7
  • 14
  • 14
  • 26
  • 9
  • 11
  • 7
  • 30
  • 10
  • 9
  • 13
  • 10
  • 8
  • 32
  • 8
  • 20
  • 13
  • 11
  • 11
  • 13
  • 8
  • 20
  • 9
  • 18
  • 7
  • 7
  • 34
  • 23
  • 15
  • 34
  • 16
  • 9
  • 11
  • 13
  • 20
  • 10
  • 7
  • 57
  • 11
  • 8
  • 30
  • 8
  • 7
  • 58
  • 18
  • 90
  • 7
  • 24
  • 11
  • 7
  • 12
  • 7
  • 40
  • 8
  • 25
  • 33
  • 23
  • 9
  • 7
  • 18
  • 15
  • 7
  • 11
  • 10
  • 27
Verlag
  • 8
  • 13815
  • 301
  • 1582
  • 3
  • 49
  • 104
  • 1
  • 39
Preis
  • 50
  • 496
  • 12958
  • 2398
Sprachen
  • 15892
  • 24
  • 17
  • 1
Verfügbarkeit
  • 15883
  • 19
Eigenschaften
  • 14
Katalog
  • 15902
  • 579
15.902  Treffer  für „Lecture Notes in Computer Science“


    Nielsen / Simpson Application and Theory of Petri Nets 2000

    21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
    2000
    Verlag: Springer
    ISBN: 978-3-540-44988-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08166-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hilliger / Muñoz-Merino / De Laet Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption

    17th European Conference on Technology Enhanced Learning, EC-TEL 2022, Toulouse, France, September 12-16, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-16289-3
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Jin Fuzzy Systems and Knowledge Discovery

    Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
    2005
    Verlag: Springer
    ISBN: 978-3-540-31830-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    119,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Mori / Asahi Human Interface and the Management of Information

    Thematic Area, HIMI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-60106-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huang / Zhang / Reyes Garcia Advanced Intelligent Computing Theories and Applications: With Aspects of Artificial Intelligence

    6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14932-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lakhnech / Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

    Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23167-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lakhnech / Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

    Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
    2004
    Verlag: Springer
    ISBN: 978-3-540-30206-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lu / Ouyang / Huang Image and Graphics

    12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-46304-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lu / Ouyang / Huang Image and Graphics

    12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-46313-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhang / Soo Design and Applications of Intelligent Agents

    Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 Melbourne, Australia, August 28-29, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67911-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dolev / Oltean Optical Supercomputing

    Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10442-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Baroglio / Hubner / Winikoff Engineering Multi-Agent Systems

    8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-66534-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Rajsbaum LATIN 2002: Theoretical Informatics

    5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43400-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Plaice / Kropf / Schulthess Distributed Communities on the Web

    4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00301-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    André / Dybkjaer / Minker Affective Dialogue Systems

    Tutorial and Research Workshop, ADS 2004, Kloster Irsee, Germany, June 14-16, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22143-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Göbel / Spierling / Hoffmann Technologies for Interactive Digital Storytelling and Entertainment

    Second International Conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22283-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Koch / Gool 3D Structure from Multiple Images of Large-Scale Environments

    European Workshop, SMILE'98, Freiburg, Germany, June 6-7, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65310-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zaphiris / Ioannou Learning and Collaboration Technologies. Learning and Teaching

    5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91151-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zaphiris / Ioannou Learning and Collaboration Technologies. Design, Development and Technological Innovation

    5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91742-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huang / Sugimoto Image and Video Technology -- PSIVT 2013 Workshops

    GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-53925-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Heuel Uncertain Projective Geometry

    Statistical Reasoning for Polyhedral Object Reconstruction
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22029-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Olderog / Steffen Correct System Design

    Recent Insights and Advances
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66624-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Natraj / Cameron / Melhuish Towards Autonomous Robotic Systems

    14th Annual Conference, TAROS 2013, Oxford, UK, August 28--30, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43645-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Tryfonas / Askoxylakis Human Aspects of Information Security, Privacy, and Trust

    Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20375-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular