Fachgebiet
Medium
  • 10643
  • 2636
Erscheinungsjahr
  • 194
  • 1018
  • 1041
  • 799
  • 624
  • 396
  • 410
  • 439
  • 418
  • 430
  • 418
  • 434
  • 419
  • 432
  • 443
  • 383
  • 389
  • 275
  • 248
  • 273
  • 293
  • 226
  • 479
  • 582
  • 262
  • 253
  • 179
  • 177
  • 134
  • 136
  • 137
  • 120
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 5
  • 6
  • 7
  • 10
  • 12
  • 12
  • 9
  • 5
  • 5
  • 5
  • 9
  • 12
  • 12
  • 5
  • 20
  • 23
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 9
  • 5
  • 13
  • 6
  • 34
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 5
  • 6
  • 20
  • 20
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 13
  • 6
  • 18
  • 7
  • 5
  • 8
  • 5
  • 5
  • 9
  • 5
  • 7
  • 6
  • 7
  • 9
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 12
  • 7
  • 57
  • 5
  • 18
  • 13
  • 7
  • 12
  • 12
  • 11
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 5
  • 7
  • 5
  • 11
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 21
  • 6
  • 8
  • 5
  • 46
  • 14
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 11
  • 14
  • 13
  • 7
  • 7
  • 5
  • 16
  • 10
  • 9
  • 27
  • 5
  • 6
  • 15
  • 12
  • 5
  • 13
  • 6
  • 11
  • 5
  • 7
  • 5
  • 13
  • 5
  • 5
  • 7
  • 8
  • 49
  • 14
  • 5
  • 61
  • 7
  • 12
  • 11
  • 20
  • 20
  • 5
  • 11
  • 9
  • 5
  • 28
  • 9
  • 53
  • 5
  • 12
  • 15
  • 12
  • 9
  • 5
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 5
  • 5
  • 12
  • 5
  • 9
  • 17
  • 6
  • 6
  • 5
  • 9
  • 5
  • 16
  • 12
  • 7
  • 7
  • 5
  • 7
  • 8
  • 19
  • 13
  • 7
  • 16
  • 8
  • 8
  • 10
  • 6
  • 11
  • 17
  • 25
  • 8
  • 9
  • 6
  • 7
  • 9
  • 17
  • 27
  • 11
  • 9
  • 6
  • 11
  • 8
  • 7
  • 7
  • 9
  • 6
  • 11
  • 6
  • 20
  • 14
  • 7
  • 10
  • 12
  • 9
  • 52
  • 47
  • 7
  • 30
  • 6
  • 9
  • 22
  • 11
  • 27
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 7
  • 8
  • 7
  • 10
  • 9
  • 7
  • 7
  • 36
  • 7
  • 19
  • 54
  • 16
  • 8
  • 7
  • 18
  • 9
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 13
  • 12
  • 6
  • 13
  • 11
  • 12
  • 11
  • 19
  • 74
  • 38
  • 7
  • 32
  • 13
  • 22
  • 34
  • 6
  • 116
  • 8
  • 14
  • 10
  • 8
  • 20
  • 10
  • 8
  • 23
  • 15
  • 9
  • 11
  • 7
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 14
  • 6
  • 51
  • 6
  • 13
  • 10
  • 6
  • 11
  • 24
  • 12
  • 7
  • 10
  • 26
  • 46
  • 11
  • 8
  • 13
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 8
  • 6
  • 6
  • 8
  • 12
  • 7
  • 90
  • 8
  • 13
  • 15
  • 8
  • 8
  • 10
  • 7
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 26
  • 6
  • 8
  • 14
  • 10
  • 6
  • 15
  • 6
  • 22
  • 17
  • 7
  • 11
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 6
  • 20
  • 7
  • 6
  • 7
  • 7
  • 14
  • 12
  • 16
  • 10
  • 8
  • 9
  • 8
  • 6
  • 43
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 31
  • 8
  • 10
  • 6
  • 19
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 6
  • 36
  • 6
  • 15
  • 10
  • 6
  • 6
  • 10
  • 19
  • 6
  • 8
  • 18
  • 27
  • 44
  • 20
  • 10
  • 8
  • 28
  • 7
  • 16
  • 10
  • 8
  • 31
  • 17
  • 35
  • 48
  • 7
  • 6
  • 10
  • 11
  • 9
  • 20
  • 11
  • 6
  • 17
  • 10
  • 7
  • 8
  • 6
  • 9
  • 10
  • 7
  • 17
  • 7
  • 90
  • 30
  • 33
  • 7
  • 19
  • 6
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 9
  • 11
  • 16
  • 6
  • 16
  • 6
  • 9
  • 8
  • 7
  • 10
  • 13
  • 15
  • 23
  • 7
  • 21
  • 8
  • 27
  • 6
  • 13
  • 8
  • 83
  • 10
  • 6
  • 23
  • 9
  • 6
  • 16
  • 31
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 30
  • 10
  • 6
  • 7
  • 14
  • 13
  • 19
  • 6
  • 19
  • 22
  • 20
  • 10
  • 24
  • 7
  • 7
  • 11
  • 9
  • 6
  • 13
  • 9
  • 14
  • 30
  • 8
  • 12
  • 42
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 21
  • 10
  • 6
  • 7
  • 6
  • 7
  • 10
  • 6
  • 10
  • 10
  • 9
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 6
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 8
  • 12
  • 8
  • 7
  • 7
  • 8
  • 6
  • 22
  • 7
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 107
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 19
  • 8
  • 7
  • 6
  • 6
  • 10
  • 12
  • 57
  • 23
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 10
  • 6
  • 8
  • 7
  • 10
  • 9
  • 9
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 15
  • 61
  • 8
  • 8
  • 8
  • 20
  • 10
  • 9
  • 23
  • 16
  • 6
  • 6
  • 13
  • 7
  • 17
  • 18
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 9
  • 7
  • 25
  • 6
  • 13
  • 15
  • 16
  • 6
  • 12
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 19
  • 9
  • 27
  • 9
  • 8
  • 13
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 9
  • 7
  • 6
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 7
  • 13
  • 30
  • 15
  • 8
  • 11
  • 25
  • 7
  • 11
  • 8
  • 11
  • 122
  • 11
  • 10
  • 7
  • 32
  • 9
  • 12
  • 6
  • 24
  • 11
  • 9
  • 6
  • 12
  • 16
  • 11
  • 26
  • 8
  • 122
  • 6
  • 62
  • 13
  • 12
  • 11
  • 120
  • 29
  • 6
  • 19
  • 8
  • 14
  • 8
  • 14
  • 15
  • 20
  • 17
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 10
  • 120
  • 9
  • 15
  • 27
  • 11
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 7
  • 9
  • 7
  • 12
  • 10
  • 34
  • 11
  • 7
  • 6
  • 13
  • 6
  • 6
  • 7
  • 12
  • 15
  • 8
  • 35
  • 8
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 10
  • 10
  • 8
  • 11
  • 13
  • 19
  • 44
  • 12
  • 9
  • 11
  • 6
  • 23
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 9
  • 9
  • 11
  • 7
  • 49
  • 9
  • 44
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 33
  • 6
  • 7
  • 8
  • 14
  • 7
  • 32
  • 12
  • 18
  • 34
  • 71
  • 14
  • 20
  • 24
  • 8
  • 15
  • 8
  • 11
  • 22
  • 22
  • 17
  • 9
  • 9
  • 71
  • 27
  • 15
  • 10
  • 8
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 15
  • 10
  • 9
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 13
  • 20
  • 8
  • 8
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 10
  • 41
  • 7
  • 11
  • 9
  • 7
  • 18
  • 9
  • 19
  • 21
  • 11
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 10
  • 16
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 32
  • 7
  • 18
  • 8
  • 14
  • 6
  • 10
  • 8
  • 10
  • 7
  • 10
  • 7
  • 15
  • 11
  • 10
  • 7
  • 23
  • 7
  • 14
  • 18
  • 7
  • 11
  • 32
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 6
  • 13
  • 10
  • 7
  • 23
  • 7
  • 9
  • 7
  • 6
  • 59
  • 13
  • 7
  • 7
  • 30
  • 60
  • 22
  • 77
  • 6
  • 21
  • 6
  • 6
  • 9
  • 9
  • 9
  • 6
  • 43
  • 9
  • 8
  • 24
  • 25
  • 21
  • 12
  • 13
  • 6
  • 16
  • 15
  • 9
  • 29
Verlag
  • 1
  • 11519
  • 40
  • 1523
  • 14
  • 2
  • 3
  • 131
  • 1
  • 1
  • 1
  • 43
Preis
  • 47
  • 483
  • 10473
  • 2276
Sprachen
  • 13271
  • 20
  • 15
Verfügbarkeit
  • 13258
  • 21
Eigenschaften
  • 7
Katalog
  • 13279
  • 548
13.279  Treffer  für „Lecture Notes in Computer Science“


    Sun / Huang / Ji Chinese Computational Linguistics

    18th China National Conference, CCL 2019, Kunming, China, October 18–20, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32381-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Masuch / Polos Knowledge Representation and Reasoning Under Uncertainty

    Logic at Work
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58095-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Martins / Sedlár Dynamic Logic. New Trends and Applications

    Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-65839-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sekerinski / Ribeiro Formal Methods Teaching

    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71378-1
    Medium: Buch
    40,65 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Esparza / Lakos Application and Theory of Petri Nets 2002

    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yamamoto / Mori Human Interface and the Management of Information. Visual Information and Knowledge Management

    Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-22660-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Fisman / Rosu Tools and Algorithms for the Construction and Analysis of Systems

    28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99523-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dou / Gruber / Joller Advanced Parallel Processing Technologies

    8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03643-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rutkowski / Korytkowski / Scherer Artificial Intelligence and Soft Computing

    13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07175-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nguyen / Attachoo / Trawinski Intelligent Information and Database Systems

    6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-05475-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bécue / Cuppens-Boulahia / Cuppens Security of Industrial Control Systems and Cyber Physical Systems

    First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40384-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Budach / Bukharajev / Lupanov Fundamentals of Computation Theory

    International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18740-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rau Cross-Cultural Design

    17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-031-93730-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Mika / Goble / Tudorache The Semantic Web - ISWC 2014

    13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11963-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ciccarelli / Miklós Comparative Genomics

    International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-04743-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sankaranarayanan / Sharygina Tools and Algorithms for the Construction and Analysis of Systems

    29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30819-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Crestani / Dunlop / Mizzaro Mobile and Ubiquitous Information Access

    Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24641-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Baeza-Yates / Chávez / Crochemore Combinatorial Pattern Matching

    14th Annual Symposium, CPM 2003, Morelia, Michoacán, Mexico, June 25-27, 2003, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-44888-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Müller-Schloer / Ungerer / Bauer Organic and Pervasive Computing -- ARCS 2004

    International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24714-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hospodár / Jirásková Implementation and Application of Automata

    24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23679-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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 II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60238-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Faber / Paschke Reasoning Web. Web Logic Rules

    11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
    1. Auflage 2015
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-21768-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hagiya / Ohuchi DNA Computing

    8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00531-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Erdi / Esposito / Marinaro Computational Neuroscience: Cortical Dynamics

    8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22566-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20303-2
    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