Fachgebiet
Medium
  • 10739
  • 2645
Erscheinungsjahr
  • 308
  • 1016
  • 1052
  • 801
  • 630
  • 387
  • 403
  • 439
  • 420
  • 430
  • 418
  • 439
  • 400
  • 438
  • 442
  • 400
  • 369
  • 271
  • 247
  • 282
  • 292
  • 225
  • 476
  • 580
  • 264
  • 253
  • 179
  • 176
  • 135
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 5
  • 7
  • 10
  • 6
  • 12
  • 12
  • 6
  • 5
  • 5
  • 9
  • 12
  • 11
  • 5
  • 20
  • 8
  • 22
  • 7
  • 10
  • 6
  • 8
  • 10
  • 11
  • 5
  • 7
  • 13
  • 31
  • 52
  • 7
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 17
  • 12
  • 5
  • 5
  • 7
  • 46
  • 6
  • 6
  • 5
  • 7
  • 5
  • 10
  • 7
  • 6
  • 18
  • 7
  • 6
  • 8
  • 8
  • 9
  • 5
  • 9
  • 7
  • 5
  • 7
  • 10
  • 10
  • 6
  • 7
  • 21
  • 6
  • 9
  • 21
  • 12
  • 8
  • 8
  • 18
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 7
  • 12
  • 11
  • 9
  • 7
  • 7
  • 6
  • 7
  • 12
  • 9
  • 10
  • 15
  • 13
  • 18
  • 14
  • 16
  • 7
  • 8
  • 46
  • 15
  • 8
  • 9
  • 6
  • 7
  • 10
  • 19
  • 7
  • 13
  • 14
  • 13
  • 7
  • 18
  • 11
  • 9
  • 25
  • 6
  • 17
  • 6
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 11
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 25
  • 9
  • 48
  • 11
  • 15
  • 13
  • 9
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 9
  • 17
  • 6
  • 8
  • 10
  • 7
  • 17
  • 10
  • 7
  • 8
  • 7
  • 8
  • 23
  • 12
  • 7
  • 18
  • 11
  • 8
  • 9
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 7
  • 9
  • 16
  • 25
  • 9
  • 9
  • 6
  • 6
  • 11
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 19
  • 12
  • 7
  • 11
  • 11
  • 9
  • 54
  • 51
  • 8
  • 30
  • 6
  • 11
  • 21
  • 11
  • 26
  • 17
  • 7
  • 7
  • 8
  • 14
  • 8
  • 22
  • 7
  • 7
  • 10
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 8
  • 19
  • 12
  • 9
  • 11
  • 12
  • 24
  • 6
  • 9
  • 8
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 10
  • 9
  • 12
  • 16
  • 17
  • 69
  • 44
  • 11
  • 6
  • 30
  • 15
  • 22
  • 34
  • 111
  • 7
  • 14
  • 10
  • 8
  • 22
  • 8
  • 9
  • 23
  • 16
  • 9
  • 9
  • 7
  • 6
  • 11
  • 21
  • 9
  • 16
  • 9
  • 8
  • 10
  • 6
  • 8
  • 15
  • 7
  • 53
  • 6
  • 13
  • 6
  • 10
  • 7
  • 7
  • 6
  • 17
  • 26
  • 11
  • 9
  • 10
  • 25
  • 46
  • 11
  • 7
  • 6
  • 15
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 6
  • 9
  • 6
  • 14
  • 19
  • 8
  • 6
  • 6
  • 10
  • 7
  • 84
  • 6
  • 14
  • 14
  • 8
  • 8
  • 8
  • 6
  • 19
  • 8
  • 11
  • 7
  • 10
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 15
  • 6
  • 7
  • 22
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 6
  • 7
  • 6
  • 17
  • 9
  • 7
  • 6
  • 14
  • 6
  • 18
  • 7
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 8
  • 6
  • 9
  • 10
  • 9
  • 7
  • 7
  • 6
  • 38
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 31
  • 8
  • 9
  • 6
  • 21
  • 46
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 34
  • 6
  • 15
  • 9
  • 6
  • 7
  • 19
  • 6
  • 18
  • 6
  • 28
  • 42
  • 23
  • 12
  • 8
  • 28
  • 7
  • 14
  • 10
  • 8
  • 35
  • 17
  • 36
  • 47
  • 6
  • 8
  • 11
  • 8
  • 11
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 7
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 17
  • 8
  • 6
  • 90
  • 30
  • 33
  • 7
  • 17
  • 8
  • 6
  • 23
  • 7
  • 7
  • 7
  • 19
  • 8
  • 8
  • 7
  • 14
  • 18
  • 6
  • 18
  • 6
  • 8
  • 7
  • 7
  • 10
  • 7
  • 11
  • 15
  • 7
  • 20
  • 7
  • 21
  • 6
  • 6
  • 29
  • 9
  • 12
  • 8
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 9
  • 6
  • 15
  • 28
  • 9
  • 15
  • 6
  • 12
  • 10
  • 7
  • 6
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 10
  • 23
  • 7
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 30
  • 8
  • 10
  • 7
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 21
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 6
  • 10
  • 12
  • 8
  • 9
  • 6
  • 12
  • 9
  • 26
  • 9
  • 6
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 15
  • 6
  • 10
  • 7
  • 43
  • 6
  • 13
  • 13
  • 6
  • 8
  • 6
  • 20
  • 6
  • 8
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 7
  • 9
  • 11
  • 102
  • 16
  • 8
  • 6
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 6
  • 7
  • 10
  • 13
  • 52
  • 16
  • 6
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 11
  • 6
  • 8
  • 7
  • 10
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 6
  • 6
  • 7
  • 6
  • 13
  • 7
  • 18
  • 18
  • 19
  • 11
  • 18
  • 9
  • 7
  • 12
  • 34
  • 15
  • 9
  • 10
  • 18
  • 8
  • 7
  • 7
  • 24
  • 6
  • 14
  • 16
  • 17
  • 6
  • 6
  • 13
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 10
  • 21
  • 8
  • 25
  • 9
  • 10
  • 6
  • 12
  • 6
  • 14
  • 7
  • 6
  • 13
  • 17
  • 12
  • 6
  • 10
  • 7
  • 6
  • 7
  • 7
  • 23
  • 6
  • 9
  • 10
  • 9
  • 6
  • 7
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 25
  • 7
  • 12
  • 10
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 32
  • 9
  • 12
  • 23
  • 11
  • 9
  • 11
  • 15
  • 10
  • 28
  • 8
  • 123
  • 6
  • 60
  • 15
  • 12
  • 12
  • 120
  • 32
  • 6
  • 15
  • 8
  • 13
  • 8
  • 13
  • 15
  • 18
  • 15
  • 12
  • 7
  • 7
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 6
  • 9
  • 15
  • 29
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 10
  • 7
  • 14
  • 6
  • 6
  • 7
  • 12
  • 14
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 9
  • 11
  • 11
  • 16
  • 7
  • 20
  • 40
  • 20
  • 9
  • 11
  • 10
  • 25
  • 10
  • 6
  • 12
  • 10
  • 16
  • 12
  • 8
  • 9
  • 11
  • 6
  • 49
  • 9
  • 42
  • 7
  • 15
  • 10
  • 13
  • 9
  • 14
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 10
  • 11
  • 12
  • 22
  • 8
  • 23
  • 36
  • 6
  • 6
  • 8
  • 15
  • 7
  • 29
  • 13
  • 18
  • 33
  • 71
  • 12
  • 20
  • 22
  • 10
  • 15
  • 8
  • 11
  • 21
  • 22
  • 17
  • 12
  • 9
  • 12
  • 75
  • 25
  • 15
  • 10
  • 7
  • 16
  • 20
  • 12
  • 10
  • 17
  • 9
  • 15
  • 12
  • 8
  • 6
  • 16
  • 16
  • 10
  • 9
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 20
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 17
  • 11
  • 6
  • 10
  • 43
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 11
  • 14
  • 26
  • 9
  • 8
  • 8
  • 6
  • 20
  • 8
  • 25
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 9
  • 7
  • 33
  • 8
  • 17
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 9
  • 7
  • 10
  • 7
  • 17
  • 14
  • 11
  • 7
  • 20
  • 18
  • 7
  • 17
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 28
  • 8
  • 12
  • 6
  • 7
  • 12
  • 10
  • 7
  • 20
  • 7
  • 9
  • 7
  • 6
  • 62
  • 14
  • 7
  • 9
  • 28
  • 6
  • 6
  • 58
  • 20
  • 80
  • 6
  • 21
  • 6
  • 11
  • 8
  • 7
  • 9
  • 38
  • 9
  • 8
  • 23
  • 22
  • 21
  • 11
  • 10
  • 6
  • 14
  • 15
  • 7
  • 31
Verlag
  • 3
  • 11605
  • 40
  • 1549
  • 1
  • 14
  • 4
  • 3
  • 124
  • 1
  • 1
  • 39
Preis
  • 47
  • 487
  • 10566
  • 2284
Sprachen
  • 13376
  • 19
  • 15
Verfügbarkeit
  • 13366
  • 18
Eigenschaften
  • 28
Katalog
  • 13384
  • 551
13.384  Treffer  für „Lecture Notes in Computer Science“


    Thomsen / Soeken Reversible Computation

    11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-21500-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ye / Zhang Internet of Things – ICIOT 2023

    8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17–18, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-51734-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    De Paolis / Arpaia / Sacco Extended Reality

    International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-71712-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tanner / Irvine Applied Imagery Pattern Recognition

    53rd Applied Imagery Pattern Recognition Workshop, AIPR 2025, Washington, DC, USA, October 13-14, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-18473-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Olenev / Evtushenko / Jacimovic Optimization and Applications

    16th International Conference, OPTIMA 2025, Petrovac, Montenegro, September 22-26, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-15790-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    García-Sánchez / Díaz Álvarez / Murphy Applications of Evolutionary Computation

    29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-23606-7
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhang / Wibowo Big Data – BigData 2025

    14th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27–30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-06524-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Foschini / Kontogiannis Algorithmic Aspects of Cloud Computing

    7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-33437-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Corchado / Quintián / Troncoso Lora Hybrid Artificial Intelligent Systems

    20th International Conference, HAIS 2025, Salamanca, Spain, October 16–17, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-08465-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Julian / Camacho / Yin Intelligent Data Engineering and Automated Learning – IDEAL 2024

    25th International Conference, Valencia, Spain, November 20–22, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-77731-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-960795-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Rapp / Di Caro / Meziane Natural Language Processing and Information Systems

    29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25–27, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-70239-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Barney Smith / Liwicki / Peng Document Analysis and Recognition - ICDAR 2024

    18th International Conference, Athens, Greece, August 30 – September 4, 2024, Proceedings, Part III
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-70543-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hillston / Soudjani / Waga Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

    First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68415-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    He / Lai / Zhang Metaverse - METAVERSE 2023

    19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-44753-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Busemeyer / Dubois / Lambert-Mogiliansky Quantum Interaction

    6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35658-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Balouek / Medeiros Distributed Applications and Interoperable Systems

    25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95727-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fink / Jain / Kise Document Analysis and Recognition - ICDAR 2023

    17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41675-0
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Morgenstern / Stefaneas / Lévy Theory, Practice, and Applications of Rules on the Web

    7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39616-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Li / Huynh / Das Wireless Algorithms, Systems, and Applications

    Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88581-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Qiu Algorithms and Architectures for Parallel Processing

    20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60244-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yamashita / Minato Reversible Computation

    6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08493-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Glück / Kafle Logic-Based Program Synthesis and Transformation

    33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45783-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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