Fachgebiet
Medium
  • 11377
  • 2628
Erscheinungsjahr
  • 76
  • 956
  • 1018
  • 1060
  • 785
  • 656
  • 392
  • 426
  • 433
  • 425
  • 396
  • 426
  • 445
  • 423
  • 470
  • 411
  • 405
  • 369
  • 254
  • 236
  • 267
  • 272
  • 241
  • 436
  • 483
  • 260
  • 260
  • 180
  • 180
  • 145
  • 145
  • 137
  • 121
  • 114
  • 96
  • 74
  • 86
  • 56
  • 59
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 10
  • 6
  • 10
  • 31
  • 13
  • 9
  • 6
  • 10
  • 8
  • 6
  • 23
  • 9
  • 26
  • 7
  • 9
  • 6
  • 9
  • 7
  • 8
  • 7
  • 15
  • 40
  • 44
  • 59
  • 7
  • 6
  • 8
  • 6
  • 21
  • 6
  • 25
  • 14
  • 7
  • 7
  • 8
  • 58
  • 14
  • 6
  • 6
  • 6
  • 7
  • 6
  • 6
  • 15
  • 8
  • 49
  • 10
  • 31
  • 10
  • 12
  • 11
  • 10
  • 6
  • 6
  • 13
  • 7
  • 9
  • 27
  • 6
  • 11
  • 22
  • 13
  • 11
  • 10
  • 31
  • 17
  • 10
  • 6
  • 48
  • 9
  • 28
  • 22
  • 8
  • 10
  • 10
  • 9
  • 8
  • 7
  • 6
  • 8
  • 8
  • 11
  • 18
  • 13
  • 7
  • 15
  • 11
  • 8
  • 15
  • 6
  • 6
  • 7
  • 10
  • 58
  • 25
  • 7
  • 6
  • 6
  • 8
  • 19
  • 9
  • 8
  • 7
  • 16
  • 10
  • 6
  • 9
  • 17
  • 10
  • 9
  • 8
  • 31
  • 7
  • 17
  • 6
  • 8
  • 9
  • 6
  • 6
  • 17
  • 6
  • 9
  • 6
  • 8
  • 7
  • 15
  • 6
  • 7
  • 41
  • 6
  • 19
  • 48
  • 15
  • 11
  • 20
  • 24
  • 15
  • 53
  • 15
  • 46
  • 10
  • 17
  • 8
  • 6
  • 8
  • 8
  • 6
  • 13
  • 12
  • 7
  • 16
  • 7
  • 16
  • 6
  • 58
  • 6
  • 10
  • 13
  • 14
  • 13
  • 10
  • 6
  • 9
  • 7
  • 11
  • 11
  • 16
  • 6
  • 7
  • 6
  • 7
  • 9
  • 21
  • 8
  • 8
  • 19
  • 8
  • 10
  • 10
  • 10
  • 7
  • 32
  • 30
  • 19
  • 32
  • 8
  • 13
  • 7
  • 11
  • 9
  • 7
  • 10
  • 8
  • 24
  • 12
  • 31
  • 7
  • 7
  • 7
  • 10
  • 12
  • 6
  • 10
  • 10
  • 8
  • 7
  • 6
  • 11
  • 20
  • 14
  • 7
  • 14
  • 12
  • 8
  • 10
  • 47
  • 49
  • 9
  • 53
  • 10
  • 12
  • 12
  • 6
  • 8
  • 42
  • 17
  • 6
  • 7
  • 12
  • 6
  • 6
  • 6
  • 7
  • 18
  • 6
  • 6
  • 12
  • 6
  • 10
  • 7
  • 12
  • 29
  • 19
  • 62
  • 97
  • 13
  • 7
  • 6
  • 21
  • 10
  • 13
  • 8
  • 8
  • 14
  • 6
  • 18
  • 6
  • 11
  • 13
  • 10
  • 11
  • 8
  • 7
  • 11
  • 6
  • 10
  • 27
  • 24
  • 8
  • 9
  • 12
  • 6
  • 20
  • 14
  • 6
  • 18
  • 23
  • 77
  • 48
  • 10
  • 11
  • 28
  • 10
  • 25
  • 33
  • 8
  • 132
  • 6
  • 7
  • 16
  • 11
  • 6
  • 10
  • 22
  • 7
  • 15
  • 13
  • 7
  • 6
  • 26
  • 14
  • 6
  • 6
  • 14
  • 6
  • 7
  • 11
  • 22
  • 6
  • 11
  • 7
  • 6
  • 6
  • 7
  • 8
  • 13
  • 6
  • 6
  • 50
  • 6
  • 16
  • 11
  • 7
  • 11
  • 10
  • 20
  • 7
  • 11
  • 9
  • 29
  • 58
  • 8
  • 9
  • 7
  • 11
  • 21
  • 6
  • 11
  • 11
  • 6
  • 8
  • 10
  • 22
  • 14
  • 22
  • 9
  • 7
  • 7
  • 6
  • 7
  • 12
  • 9
  • 124
  • 6
  • 6
  • 11
  • 8
  • 18
  • 6
  • 6
  • 9
  • 6
  • 8
  • 6
  • 9
  • 22
  • 7
  • 16
  • 6
  • 14
  • 7
  • 25
  • 13
  • 13
  • 12
  • 8
  • 7
  • 14
  • 26
  • 8
  • 17
  • 9
  • 7
  • 12
  • 15
  • 9
  • 6
  • 6
  • 7
  • 6
  • 14
  • 6
  • 9
  • 9
  • 6
  • 17
  • 7
  • 6
  • 10
  • 7
  • 6
  • 6
  • 17
  • 6
  • 10
  • 17
  • 7
  • 21
  • 9
  • 7
  • 13
  • 8
  • 45
  • 14
  • 8
  • 11
  • 7
  • 29
  • 8
  • 6
  • 7
  • 22
  • 49
  • 8
  • 7
  • 8
  • 17
  • 22
  • 15
  • 41
  • 11
  • 9
  • 10
  • 7
  • 6
  • 8
  • 8
  • 21
  • 7
  • 7
  • 15
  • 6
  • 23
  • 46
  • 7
  • 19
  • 10
  • 8
  • 23
  • 9
  • 9
  • 6
  • 21
  • 9
  • 7
  • 27
  • 6
  • 97
  • 6
  • 15
  • 28
  • 62
  • 13
  • 6
  • 8
  • 7
  • 7
  • 11
  • 7
  • 9
  • 7
  • 13
  • 6
  • 13
  • 12
  • 8
  • 7
  • 10
  • 14
  • 7
  • 8
  • 6
  • 6
  • 22
  • 7
  • 116
  • 6
  • 18
  • 7
  • 55
  • 8
  • 8
  • 8
  • 16
  • 13
  • 15
  • 8
  • 7
  • 12
  • 19
  • 15
  • 13
  • 9
  • 6
  • 36
  • 7
  • 7
  • 13
  • 16
  • 23
  • 6
  • 25
  • 6
  • 6
  • 34
  • 10
  • 7
  • 6
  • 10
  • 6
  • 95
  • 13
  • 23
  • 9
  • 8
  • 7
  • 17
  • 28
  • 10
  • 9
  • 12
  • 9
  • 6
  • 7
  • 12
  • 40
  • 12
  • 6
  • 12
  • 7
  • 33
  • 7
  • 7
  • 8
  • 14
  • 16
  • 8
  • 14
  • 8
  • 6
  • 21
  • 22
  • 19
  • 20
  • 22
  • 10
  • 6
  • 97
  • 13
  • 13
  • 11
  • 8
  • 36
  • 13
  • 10
  • 11
  • 38
  • 39
  • 6
  • 7
  • 8
  • 7
  • 11
  • 15
  • 7
  • 31
  • 6
  • 9
  • 7
  • 7
  • 10
  • 9
  • 8
  • 6
  • 8
  • 13
  • 6
  • 15
  • 29
  • 13
  • 14
  • 14
  • 14
  • 13
  • 9
  • 11
  • 17
  • 6
  • 7
  • 8
  • 52
  • 6
  • 16
  • 12
  • 7
  • 8
  • 6
  • 9
  • 8
  • 7
  • 8
  • 7
  • 10
  • 23
  • 7
  • 7
  • 6
  • 13
  • 9
  • 6
  • 8
  • 6
  • 9
  • 8
  • 122
  • 6
  • 9
  • 10
  • 6
  • 7
  • 7
  • 14
  • 19
  • 14
  • 8
  • 7
  • 13
  • 13
  • 7
  • 6
  • 62
  • 11
  • 26
  • 12
  • 13
  • 7
  • 6
  • 6
  • 20
  • 6
  • 26
  • 7
  • 31
  • 19
  • 6
  • 6
  • 7
  • 12
  • 10
  • 6
  • 7
  • 7
  • 7
  • 18
  • 6
  • 8
  • 11
  • 6
  • 12
  • 6
  • 9
  • 11
  • 57
  • 9
  • 6
  • 21
  • 10
  • 6
  • 49
  • 16
  • 6
  • 6
  • 11
  • 11
  • 17
  • 24
  • 6
  • 21
  • 22
  • 22
  • 9
  • 15
  • 6
  • 7
  • 11
  • 32
  • 10
  • 7
  • 16
  • 7
  • 7
  • 8
  • 6
  • 24
  • 7
  • 12
  • 6
  • 21
  • 15
  • 7
  • 6
  • 16
  • 8
  • 17
  • 8
  • 17
  • 8
  • 22
  • 7
  • 11
  • 31
  • 10
  • 12
  • 7
  • 12
  • 8
  • 8
  • 48
  • 16
  • 11
  • 6
  • 8
  • 6
  • 10
  • 19
  • 10
  • 9
  • 8
  • 8
  • 7
  • 9
  • 12
  • 16
  • 37
  • 9
  • 15
  • 10
  • 8
  • 46
  • 7
  • 11
  • 10
  • 12
  • 11
  • 7
  • 114
  • 10
  • 10
  • 7
  • 39
  • 22
  • 7
  • 97
  • 8
  • 30
  • 11
  • 9
  • 8
  • 17
  • 25
  • 23
  • 9
  • 10
  • 116
  • 51
  • 13
  • 11
  • 17
  • 113
  • 28
  • 7
  • 23
  • 11
  • 12
  • 7
  • 7
  • 13
  • 18
  • 23
  • 8
  • 7
  • 8
  • 9
  • 7
  • 7
  • 14
  • 8
  • 114
  • 9
  • 8
  • 26
  • 7
  • 13
  • 13
  • 7
  • 100
  • 13
  • 19
  • 21
  • 9
  • 15
  • 12
  • 7
  • 14
  • 17
  • 13
  • 9
  • 22
  • 21
  • 9
  • 10
  • 12
  • 15
  • 9
  • 19
  • 10
  • 33
  • 10
  • 10
  • 8
  • 12
  • 9
  • 17
  • 12
  • 13
  • 7
  • 21
  • 9
  • 17
  • 25
  • 32
  • 7
  • 8
  • 8
  • 11
  • 25
  • 16
  • 7
  • 7
  • 17
  • 7
  • 8
  • 44
  • 17
  • 9
  • 8
  • 10
  • 7
  • 19
  • 10
  • 54
  • 9
  • 63
  • 14
  • 9
  • 16
  • 8
  • 13
  • 13
  • 8
  • 15
  • 30
  • 7
  • 23
  • 16
  • 19
  • 23
  • 28
  • 12
  • 8
  • 14
  • 32
  • 19
  • 33
  • 84
  • 14
  • 22
  • 29
  • 9
  • 13
  • 7
  • 8
  • 27
  • 7
  • 22
  • 19
  • 7
  • 10
  • 9
  • 8
  • 25
  • 13
  • 79
  • 101
  • 31
  • 17
  • 11
  • 8
  • 16
  • 18
  • 11
  • 13
  • 21
  • 7
  • 10
  • 7
  • 18
  • 20
  • 15
  • 12
  • 9
  • 113
  • 13
  • 7
  • 24
  • 11
  • 23
  • 8
  • 8
  • 11
  • 14
  • 10
  • 11
  • 35
  • 11
  • 8
  • 10
  • 7
  • 12
  • 27
  • 9
  • 10
  • 45
  • 9
  • 18
  • 7
  • 21
  • 18
  • 11
  • 8
  • 12
  • 28
  • 14
  • 14
  • 11
  • 12
  • 11
  • 17
  • 12
  • 9
  • 23
  • 17
  • 8
  • 14
  • 10
  • 21
  • 33
  • 9
  • 15
  • 27
  • 24
  • 10
  • 15
  • 12
  • 23
  • 8
  • 61
  • 10
  • 36
  • 30
  • 52
  • 49
  • 80
  • 56
  • 16
  • 8
  • 9
  • 25
  • 39
  • 8
  • 33
  • 24
  • 28
  • 11
  • 9
  • 12
  • 9
  • 11
  • 25
Verlag
  • 7
  • 12066
  • 23
  • 1654
  • 2
  • 2
  • 3
  • 41
  • 5
  • 154
  • 1
  • 1
  • 12
  • 34
Preis
  • 47
  • 524
  • 10933
  • 2501
Sprachen
  • 13997
  • 20
  • 15
  • 1
Verfügbarkeit
  • 13714
  • 291
Eigenschaften
  • 40
Katalog
  • 14005
  • 594
14.005  Treffer  für „Lecture Notes in Computer Science“


    Gilly / Thomas Computer Performance Engineering

    18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings
    Erscheinungsjahr 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-25049-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Shoham / Vizel Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13184-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Christensen / Corke / Detry Computer Vision Systems

    14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-44136-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Silva / Leino Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81684-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

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

    Piskac / Rakamaric Computer Aided Verification

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

    Kaliszyk / Brady / Kohlhase Intelligent Computer Mathematics

    12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23249-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93844-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Carnevali / Doncel Computer Performance Engineering

    21st European Workshop on Performance Engineering, EPEW 2025, Catania, Italy, June 26, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-16344-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Darulova / Lin / Rümmer Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32536-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part V
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-60449-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    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

    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

    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

    Gorodetsky / Kotenko / Skormin Computer Network Security

    Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29113-8
    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

    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

    Damm / Hermanns Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    Aldini / Bernardo / Bononi Computer Performance Engineering

    7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15783-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grechenig / Tscheligi Human Computer Interaction

    Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57312-8
    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