Fachgebiet
Medium
  • 10649
  • 5303
Erscheinungsjahr
  • 98
  • 1012
  • 1061
  • 789
  • 662
  • 428
  • 409
  • 468
  • 470
  • 432
  • 449
  • 429
  • 415
  • 424
  • 442
  • 454
  • 417
  • 535
  • 486
  • 593
  • 557
  • 521
  • 723
  • 1381
  • 267
  • 263
  • 191
  • 178
  • 154
  • 149
  • 146
  • 129
  • 112
  • 97
  • 74
  • 86
  • 60
  • 60
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 10
  • 9
  • 6
  • 6
  • 11
  • 7
  • 9
  • 8
  • 14
  • 6
  • 14
  • 8
  • 10
  • 23
  • 9
  • 33
  • 10
  • 6
  • 10
  • 9
  • 8
  • 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
  • 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
  • 6
  • 11
  • 6
  • 45
  • 7
  • 6
  • 6
  • 28
  • 24
  • 6
  • 7
  • 17
  • 7
  • 9
  • 11
  • 7
  • 9
  • 10
  • 15
  • 12
  • 11
  • 6
  • 6
  • 6
  • 6
  • 18
  • 7
  • 6
  • 17
  • 9
  • 20
  • 10
  • 18
  • 8
  • 7
  • 6
  • 10
  • 7
  • 12
  • 50
  • 22
  • 14
  • 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
  • 9
  • 13
  • 13
  • 7
  • 11
  • 37
  • 10
  • 46
  • 15
  • 11
  • 28
  • 6
  • 23
  • 9
  • 11
  • 28
  • 7
  • 13
  • 46
  • 14
  • 16
  • 13
  • 8
  • 6
  • 8
  • 12
  • 6
  • 6
  • 11
  • 24
  • 11
  • 10
  • 7
  • 50
  • 7
  • 9
  • 11
  • 9
  • 8
  • 19
  • 7
  • 6
  • 7
  • 8
  • 12
  • 7
  • 10
  • 13
  • 11
  • 19
  • 6
  • 9
  • 7
  • 7
  • 7
  • 16
  • 10
  • 8
  • 12
  • 7
  • 6
  • 14
  • 12
  • 9
  • 10
  • 7
  • 6
  • 7
  • 7
  • 11
  • 20
  • 9
  • 28
  • 13
  • 17
  • 9
  • 6
  • 12
  • 6
  • 6
  • 13
  • 18
  • 27
  • 7
  • 13
  • 11
  • 6
  • 15
  • 11
  • 6
  • 9
  • 6
  • 14
  • 6
  • 10
  • 15
  • 6
  • 7
  • 8
  • 10
  • 18
  • 13
  • 8
  • 13
  • 10
  • 7
  • 64
  • 63
  • 8
  • 30
  • 8
  • 17
  • 6
  • 16
  • 9
  • 34
  • 20
  • 6
  • 6
  • 6
  • 11
  • 28
  • 12
  • 6
  • 7
  • 17
  • 13
  • 12
  • 6
  • 12
  • 7
  • 6
  • 32
  • 19
  • 55
  • 8
  • 10
  • 19
  • 12
  • 7
  • 6
  • 13
  • 6
  • 24
  • 7
  • 6
  • 18
  • 9
  • 7
  • 6
  • 7
  • 7
  • 9
  • 10
  • 8
  • 7
  • 6
  • 8
  • 10
  • 25
  • 21
  • 9
  • 8
  • 6
  • 8
  • 6
  • 6
  • 14
  • 10
  • 10
  • 8
  • 12
  • 6
  • 11
  • 6
  • 6
  • 12
  • 6
  • 6
  • 22
  • 7
  • 19
  • 77
  • 8
  • 6
  • 30
  • 8
  • 36
  • 10
  • 23
  • 34
  • 7
  • 135
  • 6
  • 14
  • 15
  • 10
  • 8
  • 22
  • 6
  • 13
  • 8
  • 8
  • 7
  • 6
  • 26
  • 14
  • 8
  • 13
  • 6
  • 12
  • 6
  • 14
  • 10
  • 6
  • 19
  • 23
  • 6
  • 9
  • 10
  • 7
  • 9
  • 8
  • 6
  • 9
  • 11
  • 18
  • 7
  • 7
  • 7
  • 60
  • 12
  • 11
  • 8
  • 7
  • 8
  • 8
  • 7
  • 29
  • 14
  • 8
  • 10
  • 22
  • 50
  • 9
  • 10
  • 11
  • 21
  • 10
  • 16
  • 6
  • 10
  • 12
  • 8
  • 11
  • 7
  • 7
  • 7
  • 6
  • 7
  • 6
  • 18
  • 21
  • 7
  • 11
  • 6
  • 8
  • 10
  • 10
  • 7
  • 8
  • 100
  • 7
  • 6
  • 8
  • 8
  • 7
  • 9
  • 9
  • 6
  • 11
  • 9
  • 7
  • 6
  • 12
  • 21
  • 8
  • 16
  • 10
  • 6
  • 10
  • 12
  • 26
  • 13
  • 14
  • 7
  • 11
  • 6
  • 10
  • 22
  • 15
  • 14
  • 11
  • 13
  • 7
  • 14
  • 7
  • 17
  • 8
  • 7
  • 14
  • 9
  • 7
  • 24
  • 8
  • 12
  • 10
  • 7
  • 9
  • 7
  • 14
  • 18
  • 7
  • 11
  • 14
  • 15
  • 9
  • 10
  • 38
  • 7
  • 9
  • 8
  • 8
  • 9
  • 31
  • 7
  • 25
  • 43
  • 9
  • 7
  • 10
  • 9
  • 21
  • 8
  • 12
  • 38
  • 16
  • 8
  • 16
  • 9
  • 7
  • 7
  • 11
  • 19
  • 10
  • 13
  • 20
  • 13
  • 21
  • 40
  • 9
  • 19
  • 19
  • 28
  • 8
  • 11
  • 14
  • 8
  • 14
  • 12
  • 13
  • 41
  • 27
  • 48
  • 50
  • 8
  • 8
  • 18
  • 7
  • 7
  • 17
  • 7
  • 12
  • 9
  • 9
  • 9
  • 13
  • 14
  • 11
  • 7
  • 7
  • 16
  • 88
  • 23
  • 24
  • 7
  • 22
  • 8
  • 8
  • 25
  • 7
  • 12
  • 9
  • 21
  • 9
  • 8
  • 10
  • 15
  • 16
  • 9
  • 12
  • 15
  • 23
  • 18
  • 7
  • 16
  • 9
  • 24
  • 8
  • 10
  • 28
  • 7
  • 7
  • 17
  • 75
  • 12
  • 8
  • 24
  • 10
  • 7
  • 16
  • 28
  • 7
  • 11
  • 11
  • 21
  • 7
  • 10
  • 7
  • 7
  • 20
  • 15
  • 9
  • 23
  • 7
  • 7
  • 7
  • 19
  • 25
  • 17
  • 21
  • 16
  • 20
  • 10
  • 19
  • 9
  • 11
  • 11
  • 13
  • 7
  • 19
  • 14
  • 8
  • 34
  • 10
  • 39
  • 36
  • 9
  • 15
  • 11
  • 7
  • 9
  • 12
  • 9
  • 12
  • 31
  • 10
  • 7
  • 13
  • 8
  • 7
  • 12
  • 12
  • 7
  • 7
  • 23
  • 9
  • 26
  • 14
  • 7
  • 10
  • 7
  • 11
  • 8
  • 8
  • 20
  • 10
  • 11
  • 11
  • 9
  • 56
  • 7
  • 14
  • 14
  • 12
  • 10
  • 8
  • 7
  • 11
  • 9
  • 8
  • 25
  • 7
  • 11
  • 14
  • 14
  • 13
  • 8
  • 15
  • 8
  • 117
  • 16
  • 8
  • 10
  • 13
  • 16
  • 13
  • 17
  • 10
  • 11
  • 12
  • 13
  • 7
  • 58
  • 16
  • 18
  • 12
  • 8
  • 11
  • 7
  • 14
  • 12
  • 11
  • 11
  • 10
  • 7
  • 7
  • 17
  • 19
  • 7
  • 9
  • 11
  • 11
  • 9
  • 16
  • 13
  • 14
  • 51
  • 12
  • 7
  • 25
  • 14
  • 8
  • 10
  • 28
  • 18
  • 10
  • 8
  • 11
  • 7
  • 20
  • 20
  • 21
  • 20
  • 10
  • 7
  • 36
  • 7
  • 25
  • 7
  • 15
  • 13
  • 7
  • 7
  • 31
  • 7
  • 18
  • 12
  • 31
  • 10
  • 7
  • 13
  • 12
  • 7
  • 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
  • 39
  • 15
  • 11
  • 13
  • 29
  • 18
  • 13
  • 17
  • 14
  • 26
  • 9
  • 114
  • 81
  • 13
  • 11
  • 7
  • 109
  • 26
  • 7
  • 17
  • 10
  • 12
  • 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
  • 32
  • 11
  • 11
  • 7
  • 8
  • 14
  • 7
  • 27
  • 21
  • 56
  • 19
  • 9
  • 25
  • 15
  • 8
  • 22
  • 13
  • 18
  • 10
  • 14
  • 7
  • 50
  • 58
  • 25
  • 10
  • 18
  • 13
  • 10
  • 10
  • 27
  • 9
  • 14
  • 20
  • 25
  • 31
  • 10
  • 8
  • 7
  • 16
  • 30
  • 23
  • 20
  • 31
  • 86
  • 13
  • 23
  • 36
  • 7
  • 12
  • 9
  • 24
  • 30
  • 11
  • 71
  • 27
  • 14
  • 7
  • 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
  • 17
  • 7
  • 8
  • 51
  • 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
  • 14
  • 9
  • 18
  • 7
  • 7
  • 30
  • 23
  • 15
  • 34
  • 16
  • 9
  • 11
  • 13
  • 14
  • 10
  • 7
  • 57
  • 11
  • 8
  • 30
  • 8
  • 7
  • 58
  • 20
  • 90
  • 7
  • 25
  • 11
  • 7
  • 12
  • 7
  • 36
  • 8
  • 25
  • 33
  • 23
  • 9
  • 7
  • 18
  • 15
  • 7
  • 11
  • 10
  • 27
Verlag
  • 8
  • 13871
  • 300
  • 1582
  • 2
  • 50
  • 99
  • 1
  • 39
Preis
  • 50
  • 493
  • 12992
  • 2417
Sprachen
  • 15942
  • 24
  • 17
  • 1
Verfügbarkeit
  • 15934
  • 18
Eigenschaften
  • 13
Katalog
  • 15952
  • 584
15.952  Treffer  für „Lecture Notes in Computer Science“


    Zaroliagis / Pantziou / Kontogiannis Algorithms, Probability, Networks, and Games

    Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24023-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Möbus / Nawroth / Leh Digital Hermeneutics II: Sources, Analysis, Interpretation, Annotation, and Curation

    Third International Workshop, Frankfurt am Main, Germany, November 23-24, 2023, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08696-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dehne / Sack / Santoro Algorithms and Data Structures

    2nd Workshop, WADS '91, Ottawa, Canada, August 14-16, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54343-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Campilho / Kamel Image Analysis and Recognition

    Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-44894-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aha / Lieber Case-Based Reasoning Research and Development

    25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61029-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cerri / Prati Intelligent Systems

    9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61377-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Carrasco-Ochoa / Martí­nez-Trinidad / Sossa-Azuela Pattern Recognition

    7th Mexican Conference, MCPR 2015, Mexico City, Mexico, June 24-27, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19263-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bartocci / Falcone Lectures on Runtime Verification

    Introductory and Advanced Topics
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-75632-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bertrand / Imiya / Klette Digital and Image Geometry

    Advanced Lectures
    2001
    Verlag: Springer
    ISBN: 978-3-540-45576-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Marcus / Wang Design, User Experience, and Usability: Theory and Practice

    7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91797-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    128,39 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ponce / Hebert / Schmid Toward Category-Level Object Recognition

    2006
    Verlag: Springer
    ISBN: 978-3-540-68795-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Palanque / Paterno Interactive Systems. Design, Specification, and Verification

    7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
    2001
    Verlag: Springer
    ISBN: 978-3-540-44675-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cohen / Mora / Moreno Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56686-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Harris / Li Engineering Psychology and Cognitive Ergonomics

    20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-35392-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lester / Vicari / Paraguacu Intelligent Tutoring Systems

    7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings
    2004
    Verlag: Springer
    ISBN: 978-3-540-30139-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    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
    1998
    Verlag: Springer
    ISBN: 978-3-540-49437-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Staab / Koltsova / Ignatov Social Informatics

    10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part II
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-01159-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Voronkov Perspectives of System Informatics

    9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer
    ISBN: 978-3-662-46823-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Gao / Du / Han Combinatorial Optimization and Applications

    11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-71149-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Câmpeanu / Manea / Shallit Descriptional Complexity of Formal Systems

    18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41113-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Du / Li Computing and Combinatorics

    First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60216-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bao / Grant / Kirkpatrick AI for Brain Lesion Detection and Trauma Video Action Recognition

    First BONBID-HIE Lesion Segmentation Challenge and First Trauma Thompson Challenge, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 16 and 12, 2023, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-71626-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    117,69 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Wang / Milletari / Roysam Domain Adaptation and Representation Transfer and Medical Image Learning with Less Labels and Imperfect Data

    First MICCAI Workshop, DART 2019, and First International Workshop, MIL3ID 2019, Shenzhen, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-33391-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Barik / Gupta / Palsberg Principles and Practices of Building Parallel Software

    Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97491-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-68863-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



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