Fachgebiet
Medium
  • 10608
  • 2728
Erscheinungsjahr
  • 154
  • 1018
  • 1064
  • 797
  • 663
  • 402
  • 416
  • 435
  • 427
  • 405
  • 454
  • 433
  • 424
  • 439
  • 420
  • 430
  • 402
  • 265
  • 232
  • 280
  • 277
  • 223
  • 470
  • 579
  • 255
  • 255
  • 181
  • 177
  • 146
  • 144
  • 136
  • 120
  • 107
  • 100
  • 75
  • 83
  • 61
  • 59
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 18
  • 12
  • 8
  • 13
  • 9
  • 15
  • 13
  • 5
Autoren
  • 5
  • 7
  • 5
  • 8
  • 9
  • 6
  • 10
  • 13
  • 11
  • 8
  • 12
  • 8
  • 5
  • 9
  • 13
  • 7
  • 6
  • 17
  • 7
  • 22
  • 5
  • 11
  • 7
  • 6
  • 6
  • 9
  • 11
  • 5
  • 6
  • 6
  • 13
  • 42
  • 47
  • 5
  • 56
  • 8
  • 8
  • 5
  • 5
  • 9
  • 17
  • 19
  • 5
  • 10
  • 5
  • 50
  • 11
  • 6
  • 7
  • 8
  • 5
  • 7
  • 6
  • 14
  • 9
  • 6
  • 9
  • 7
  • 6
  • 7
  • 6
  • 7
  • 13
  • 6
  • 19
  • 21
  • 12
  • 8
  • 12
  • 7
  • 32
  • 13
  • 10
  • 6
  • 7
  • 53
  • 15
  • 26
  • 19
  • 6
  • 9
  • 6
  • 7
  • 13
  • 7
  • 12
  • 7
  • 8
  • 13
  • 14
  • 6
  • 18
  • 10
  • 18
  • 10
  • 6
  • 6
  • 6
  • 6
  • 50
  • 24
  • 8
  • 9
  • 11
  • 10
  • 19
  • 9
  • 15
  • 6
  • 18
  • 6
  • 7
  • 16
  • 8
  • 9
  • 29
  • 18
  • 9
  • 10
  • 10
  • 12
  • 8
  • 7
  • 16
  • 8
  • 44
  • 15
  • 53
  • 15
  • 10
  • 24
  • 7
  • 18
  • 14
  • 10
  • 7
  • 27
  • 10
  • 48
  • 12
  • 17
  • 12
  • 7
  • 6
  • 6
  • 17
  • 6
  • 6
  • 16
  • 9
  • 7
  • 50
  • 7
  • 6
  • 11
  • 14
  • 15
  • 6
  • 7
  • 7
  • 10
  • 15
  • 12
  • 9
  • 8
  • 7
  • 6
  • 21
  • 9
  • 12
  • 14
  • 6
  • 8
  • 12
  • 7
  • 8
  • 9
  • 21
  • 26
  • 8
  • 10
  • 12
  • 7
  • 12
  • 7
  • 11
  • 18
  • 29
  • 8
  • 10
  • 7
  • 9
  • 9
  • 14
  • 12
  • 10
  • 8
  • 7
  • 7
  • 10
  • 17
  • 12
  • 10
  • 14
  • 7
  • 50
  • 59
  • 9
  • 31
  • 8
  • 12
  • 6
  • 14
  • 33
  • 12
  • 8
  • 7
  • 8
  • 11
  • 22
  • 8
  • 8
  • 8
  • 6
  • 12
  • 7
  • 6
  • 33
  • 15
  • 57
  • 8
  • 8
  • 6
  • 6
  • 20
  • 7
  • 11
  • 10
  • 8
  • 17
  • 14
  • 8
  • 8
  • 12
  • 9
  • 6
  • 6
  • 7
  • 6
  • 8
  • 18
  • 24
  • 12
  • 8
  • 11
  • 8
  • 6
  • 17
  • 8
  • 11
  • 9
  • 11
  • 21
  • 7
  • 21
  • 7
  • 70
  • 7
  • 35
  • 7
  • 6
  • 28
  • 7
  • 18
  • 32
  • 120
  • 10
  • 15
  • 10
  • 9
  • 10
  • 21
  • 10
  • 21
  • 15
  • 6
  • 8
  • 6
  • 12
  • 14
  • 7
  • 9
  • 18
  • 6
  • 14
  • 6
  • 7
  • 7
  • 16
  • 7
  • 52
  • 8
  • 7
  • 11
  • 6
  • 8
  • 8
  • 8
  • 8
  • 7
  • 11
  • 21
  • 13
  • 10
  • 8
  • 25
  • 50
  • 9
  • 9
  • 11
  • 20
  • 10
  • 12
  • 6
  • 6
  • 7
  • 8
  • 8
  • 8
  • 24
  • 17
  • 7
  • 6
  • 10
  • 15
  • 6
  • 90
  • 10
  • 8
  • 6
  • 15
  • 7
  • 6
  • 8
  • 17
  • 6
  • 15
  • 7
  • 7
  • 10
  • 33
  • 8
  • 19
  • 6
  • 11
  • 6
  • 8
  • 13
  • 7
  • 19
  • 7
  • 24
  • 10
  • 13
  • 13
  • 6
  • 6
  • 10
  • 15
  • 10
  • 10
  • 7
  • 6
  • 18
  • 6
  • 6
  • 6
  • 11
  • 9
  • 10
  • 9
  • 11
  • 11
  • 16
  • 7
  • 11
  • 9
  • 11
  • 36
  • 6
  • 7
  • 6
  • 8
  • 6
  • 8
  • 25
  • 9
  • 6
  • 21
  • 45
  • 6
  • 15
  • 17
  • 7
  • 11
  • 44
  • 6
  • 6
  • 13
  • 7
  • 8
  • 8
  • 6
  • 7
  • 22
  • 8
  • 18
  • 11
  • 20
  • 40
  • 6
  • 18
  • 10
  • 28
  • 9
  • 10
  • 17
  • 6
  • 39
  • 8
  • 19
  • 40
  • 55
  • 7
  • 6
  • 10
  • 6
  • 17
  • 8
  • 17
  • 7
  • 6
  • 12
  • 9
  • 8
  • 8
  • 16
  • 11
  • 7
  • 6
  • 17
  • 6
  • 89
  • 21
  • 21
  • 17
  • 6
  • 6
  • 6
  • 22
  • 7
  • 6
  • 7
  • 11
  • 19
  • 9
  • 9
  • 8
  • 15
  • 18
  • 6
  • 14
  • 15
  • 10
  • 8
  • 11
  • 19
  • 16
  • 6
  • 24
  • 22
  • 12
  • 6
  • 28
  • 7
  • 14
  • 79
  • 15
  • 8
  • 24
  • 6
  • 17
  • 24
  • 7
  • 10
  • 7
  • 15
  • 6
  • 7
  • 8
  • 9
  • 16
  • 10
  • 7
  • 11
  • 33
  • 11
  • 7
  • 8
  • 16
  • 14
  • 6
  • 15
  • 6
  • 21
  • 16
  • 15
  • 14
  • 20
  • 6
  • 11
  • 16
  • 12
  • 12
  • 35
  • 8
  • 10
  • 42
  • 34
  • 9
  • 6
  • 6
  • 7
  • 6
  • 7
  • 8
  • 10
  • 8
  • 31
  • 9
  • 9
  • 12
  • 7
  • 13
  • 8
  • 13
  • 13
  • 8
  • 20
  • 9
  • 8
  • 7
  • 10
  • 6
  • 7
  • 10
  • 7
  • 8
  • 16
  • 12
  • 7
  • 8
  • 45
  • 10
  • 8
  • 12
  • 6
  • 6
  • 10
  • 6
  • 10
  • 6
  • 9
  • 27
  • 8
  • 7
  • 6
  • 11
  • 7
  • 8
  • 11
  • 10
  • 12
  • 110
  • 9
  • 7
  • 7
  • 9
  • 13
  • 6
  • 15
  • 13
  • 6
  • 8
  • 12
  • 70
  • 18
  • 20
  • 9
  • 7
  • 10
  • 6
  • 6
  • 11
  • 8
  • 6
  • 7
  • 10
  • 12
  • 6
  • 9
  • 6
  • 11
  • 9
  • 9
  • 7
  • 7
  • 8
  • 14
  • 7
  • 11
  • 9
  • 6
  • 8
  • 56
  • 7
  • 10
  • 17
  • 9
  • 9
  • 6
  • 10
  • 23
  • 17
  • 7
  • 8
  • 12
  • 6
  • 13
  • 8
  • 19
  • 21
  • 17
  • 18
  • 11
  • 7
  • 16
  • 10
  • 35
  • 7
  • 16
  • 8
  • 6
  • 17
  • 7
  • 6
  • 8
  • 8
  • 6
  • 6
  • 23
  • 19
  • 7
  • 18
  • 8
  • 12
  • 7
  • 10
  • 11
  • 6
  • 11
  • 16
  • 7
  • 17
  • 6
  • 7
  • 16
  • 9
  • 29
  • 6
  • 9
  • 6
  • 14
  • 12
  • 16
  • 17
  • 11
  • 6
  • 10
  • 7
  • 6
  • 11
  • 17
  • 6
  • 10
  • 8
  • 9
  • 6
  • 8
  • 11
  • 23
  • 32
  • 19
  • 8
  • 8
  • 10
  • 22
  • 8
  • 12
  • 16
  • 10
  • 111
  • 8
  • 7
  • 8
  • 8
  • 34
  • 10
  • 6
  • 9
  • 26
  • 12
  • 9
  • 8
  • 13
  • 13
  • 28
  • 6
  • 114
  • 6
  • 61
  • 13
  • 10
  • 6
  • 108
  • 25
  • 7
  • 19
  • 15
  • 6
  • 16
  • 6
  • 11
  • 11
  • 19
  • 20
  • 9
  • 7
  • 6
  • 7
  • 8
  • 6
  • 14
  • 109
  • 8
  • 6
  • 8
  • 12
  • 23
  • 10
  • 17
  • 11
  • 15
  • 18
  • 14
  • 10
  • 9
  • 6
  • 7
  • 6
  • 14
  • 8
  • 10
  • 29
  • 17
  • 9
  • 6
  • 7
  • 8
  • 10
  • 7
  • 6
  • 6
  • 18
  • 10
  • 32
  • 10
  • 8
  • 9
  • 11
  • 6
  • 10
  • 17
  • 9
  • 9
  • 9
  • 8
  • 6
  • 16
  • 8
  • 16
  • 55
  • 13
  • 8
  • 8
  • 13
  • 23
  • 7
  • 14
  • 6
  • 16
  • 13
  • 6
  • 8
  • 6
  • 6
  • 14
  • 16
  • 7
  • 48
  • 9
  • 62
  • 6
  • 17
  • 6
  • 15
  • 10
  • 15
  • 14
  • 6
  • 8
  • 7
  • 23
  • 6
  • 7
  • 22
  • 7
  • 16
  • 18
  • 30
  • 10
  • 7
  • 7
  • 21
  • 20
  • 17
  • 18
  • 30
  • 6
  • 76
  • 12
  • 15
  • 24
  • 11
  • 6
  • 11
  • 10
  • 11
  • 21
  • 22
  • 20
  • 6
  • 6
  • 9
  • 74
  • 29
  • 16
  • 6
  • 14
  • 12
  • 11
  • 23
  • 9
  • 7
  • 17
  • 7
  • 6
  • 12
  • 15
  • 7
  • 12
  • 8
  • 17
  • 17
  • 10
  • 13
  • 15
  • 6
  • 108
  • 6
  • 11
  • 25
  • 6
  • 17
  • 7
  • 6
  • 11
  • 6
  • 9
  • 16
  • 14
  • 8
  • 6
  • 42
  • 11
  • 9
  • 12
  • 8
  • 13
  • 10
  • 15
  • 20
  • 7
  • 13
  • 24
  • 12
  • 7
  • 8
  • 7
  • 19
  • 8
  • 23
  • 17
  • 10
  • 8
  • 8
  • 6
  • 12
  • 8
  • 8
  • 12
  • 25
  • 8
  • 13
  • 6
  • 12
  • 7
  • 7
  • 11
  • 9
  • 6
  • 14
  • 7
  • 11
  • 7
  • 15
  • 12
  • 24
  • 7
  • 10
  • 28
  • 6
  • 6
  • 10
  • 34
  • 12
  • 6
  • 6
  • 19
  • 7
  • 26
  • 15
  • 12
  • 10
  • 24
  • 7
  • 7
  • 8
  • 59
  • 7
  • 7
  • 37
  • 10
  • 7
  • 61
  • 18
  • 7
  • 79
  • 18
  • 10
  • 12
  • 6
  • 6
  • 7
  • 8
  • 40
  • 6
  • 27
  • 19
  • 24
  • 8
  • 14
  • 12
  • 19
  • 21
  • 7
  • 6
  • 8
  • 7
  • 23
Verlag
  • 2
  • 11559
  • 40
  • 1563
  • 2
  • 25
  • 105
  • 1
  • 1
  • 38
Preis
  • 47
  • 470
  • 10568
  • 2251
Sprachen
  • 13328
  • 20
  • 15
Verfügbarkeit
  • 13305
  • 31
Eigenschaften
  • 9
Katalog
  • 13336
  • 568
13.336  Treffer  für „Lecture Notes in Computer Science“


    Alur / Henzinger Computer Aided Verification

    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61474-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Norrie / Six Computer Assisted Learning

    3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52699-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Karpov / Delic / Delic Speech and Computer

    26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-77960-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Watt / Sexton / Davenport Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Parthasarathy / Seshia Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Paiva / Koepke Intelligent Computer Mathematics

    18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07020-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37708-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gurfinkel / Ganesh Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-65632-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Chen / Vincze Computer Vision Systems

    11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68345-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kotenko / Skormin Computer Network Security

    5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14705-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brinksma / Larsen Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43997-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ronzhin / Potapova / Németh Speech and Computer

    18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-43958-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Salah / Karpov / Potapova Speech and Computer

    21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-26060-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98667-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98678-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98681-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kerber / Carette / Kaliszyk Intelligent Computer Mathematics

    International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20615-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Dubois / Kerber Intelligent Computer Mathematics

    16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42752-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tomek Computer Assisted Learning

    4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55578-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Courcoubetis Computer Aided Verification

    5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beltrán / Knottenbelt / Bradley Computer Performance Engineering

    12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23266-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ronzhin / Potapova / Fakotakis Speech and Computer

    17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23131-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 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
    ISBN: 978-3-031-35595-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35601-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Crowley / Piater / Vincze Computer Vision Systems

    Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-36592-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



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