Fachgebiet
Medium
  • 11127
Erscheinungsjahr
  • 6
  • 747
  • 797
  • 839
  • 618
  • 476
  • 279
  • 316
  • 316
  • 312
  • 279
  • 318
  • 305
  • 302
  • 296
  • 294
  • 284
  • 286
  • 255
  • 211
  • 261
  • 270
  • 229
  • 358
  • 307
  • 255
  • 254
  • 177
  • 177
  • 134
  • 137
  • 133
  • 117
  • 106
  • 93
  • 73
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 9
  • 5
  • 12
  • 25
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 8
  • 10
  • 4
  • 5
  • 8
  • 17
  • 6
  • 13
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 9
  • 9
  • 6
  • 4
  • 5
  • 5
  • 4
  • 6
  • 6
  • 14
  • 4
  • 33
  • 36
  • 7
  • 41
  • 5
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 8
  • 5
  • 13
  • 4
  • 21
  • 13
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 7
  • 4
  • 39
  • 13
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 7
  • 5
  • 7
  • 4
  • 4
  • 4
  • 10
  • 4
  • 7
  • 17
  • 9
  • 8
  • 4
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 8
  • 24
  • 4
  • 8
  • 10
  • 10
  • 11
  • 7
  • 6
  • 4
  • 12
  • 6
  • 4
  • 4
  • 5
  • 4
  • 19
  • 5
  • 6
  • 14
  • 6
  • 12
  • 5
  • 5
  • 5
  • 9
  • 8
  • 4
  • 4
  • 8
  • 26
  • 4
  • 4
  • 4
  • 10
  • 5
  • 11
  • 5
  • 6
  • 40
  • 4
  • 5
  • 4
  • 4
  • 8
  • 5
  • 20
  • 18
  • 6
  • 4
  • 4
  • 4
  • 8
  • 6
  • 11
  • 9
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 4
  • 7
  • 10
  • 4
  • 4
  • 4
  • 7
  • 8
  • 12
  • 12
  • 9
  • 4
  • 12
  • 8
  • 8
  • 16
  • 4
  • 7
  • 5
  • 4
  • 4
  • 6
  • 10
  • 39
  • 18
  • 7
  • 6
  • 4
  • 8
  • 5
  • 7
  • 7
  • 16
  • 4
  • 5
  • 9
  • 4
  • 15
  • 7
  • 5
  • 13
  • 4
  • 4
  • 6
  • 24
  • 4
  • 15
  • 10
  • 4
  • 4
  • 11
  • 4
  • 4
  • 10
  • 6
  • 6
  • 10
  • 4
  • 7
  • 34
  • 4
  • 17
  • 41
  • 13
  • 8
  • 17
  • 19
  • 4
  • 11
  • 4
  • 45
  • 4
  • 9
  • 38
  • 4
  • 9
  • 14
  • 12
  • 4
  • 12
  • 6
  • 11
  • 10
  • 6
  • 4
  • 5
  • 39
  • 5
  • 11
  • 9
  • 12
  • 4
  • 4
  • 4
  • 4
  • 12
  • 13
  • 6
  • 5
  • 4
  • 15
  • 6
  • 14
  • 6
  • 8
  • 4
  • 6
  • 5
  • 23
  • 26
  • 15
  • 27
  • 9
  • 9
  • 5
  • 8
  • 8
  • 5
  • 7
  • 6
  • 5
  • 16
  • 13
  • 24
  • 6
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 9
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 15
  • 10
  • 4
  • 10
  • 10
  • 4
  • 4
  • 5
  • 50
  • 41
  • 8
  • 39
  • 4
  • 8
  • 16
  • 7
  • 8
  • 34
  • 13
  • 4
  • 7
  • 4
  • 4
  • 18
  • 4
  • 4
  • 8
  • 4
  • 6
  • 5
  • 10
  • 26
  • 12
  • 43
  • 78
  • 9
  • 7
  • 15
  • 10
  • 8
  • 5
  • 6
  • 10
  • 15
  • 5
  • 8
  • 8
  • 6
  • 6
  • 6
  • 8
  • 6
  • 5
  • 5
  • 5
  • 5
  • 20
  • 17
  • 11
  • 6
  • 9
  • 8
  • 5
  • 5
  • 12
  • 22
  • 67
  • 34
  • 8
  • 22
  • 17
  • 23
  • 106
  • 5
  • 11
  • 6
  • 8
  • 15
  • 11
  • 6
  • 7
  • 19
  • 15
  • 5
  • 11
  • 8
  • 6
  • 16
  • 7
  • 5
  • 6
  • 5
  • 13
  • 43
  • 6
  • 10
  • 8
  • 6
  • 9
  • 16
  • 6
  • 7
  • 8
  • 23
  • 39
  • 17
  • 8
  • 10
  • 5
  • 15
  • 5
  • 14
  • 15
  • 6
  • 5
  • 7
  • 94
  • 5
  • 8
  • 5
  • 8
  • 6
  • 5
  • 7
  • 15
  • 5
  • 12
  • 6
  • 8
  • 5
  • 19
  • 13
  • 7
  • 5
  • 8
  • 6
  • 11
  • 17
  • 16
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 7
  • 10
  • 5
  • 6
  • 13
  • 6
  • 7
  • 5
  • 5
  • 6
  • 10
  • 6
  • 8
  • 11
  • 5
  • 15
  • 8
  • 7
  • 10
  • 42
  • 12
  • 5
  • 7
  • 24
  • 6
  • 18
  • 40
  • 6
  • 5
  • 10
  • 15
  • 9
  • 33
  • 6
  • 7
  • 6
  • 9
  • 5
  • 18
  • 6
  • 7
  • 11
  • 6
  • 17
  • 37
  • 22
  • 8
  • 10
  • 6
  • 17
  • 25
  • 5
  • 78
  • 14
  • 25
  • 44
  • 5
  • 6
  • 10
  • 7
  • 5
  • 5
  • 11
  • 6
  • 5
  • 12
  • 6
  • 7
  • 7
  • 5
  • 9
  • 7
  • 6
  • 5
  • 16
  • 90
  • 13
  • 44
  • 7
  • 12
  • 6
  • 8
  • 5
  • 8
  • 14
  • 10
  • 11
  • 5
  • 5
  • 5
  • 9
  • 10
  • 18
  • 19
  • 8
  • 27
  • 5
  • 6
  • 6
  • 80
  • 5
  • 17
  • 6
  • 7
  • 10
  • 21
  • 5
  • 6
  • 8
  • 5
  • 6
  • 6
  • 32
  • 6
  • 9
  • 25
  • 6
  • 5
  • 5
  • 13
  • 12
  • 13
  • 14
  • 11
  • 15
  • 11
  • 16
  • 78
  • 11
  • 9
  • 8
  • 28
  • 34
  • 31
  • 5
  • 5
  • 10
  • 8
  • 11
  • 5
  • 18
  • 6
  • 6
  • 7
  • 9
  • 13
  • 5
  • 10
  • 20
  • 9
  • 9
  • 8
  • 10
  • 9
  • 7
  • 15
  • 7
  • 5
  • 35
  • 12
  • 9
  • 5
  • 8
  • 7
  • 6
  • 20
  • 7
  • 9
  • 13
  • 7
  • 8
  • 11
  • 96
  • 5
  • 7
  • 7
  • 5
  • 9
  • 11
  • 5
  • 7
  • 5
  • 7
  • 7
  • 10
  • 36
  • 7
  • 5
  • 16
  • 9
  • 5
  • 9
  • 6
  • 5
  • 14
  • 5
  • 21
  • 25
  • 5
  • 9
  • 5
  • 6
  • 8
  • 6
  • 8
  • 13
  • 6
  • 7
  • 5
  • 9
  • 7
  • 7
  • 5
  • 8
  • 48
  • 8
  • 23
  • 5
  • 6
  • 41
  • 14
  • 10
  • 9
  • 13
  • 18
  • 13
  • 16
  • 15
  • 6
  • 11
  • 5
  • 9
  • 28
  • 12
  • 12
  • 7
  • 6
  • 5
  • 20
  • 5
  • 10
  • 6
  • 15
  • 11
  • 6
  • 5
  • 6
  • 13
  • 7
  • 11
  • 6
  • 5
  • 12
  • 5
  • 8
  • 24
  • 7
  • 6
  • 38
  • 9
  • 8
  • 9
  • 6
  • 5
  • 17
  • 8
  • 8
  • 7
  • 30
  • 6
  • 14
  • 6
  • 7
  • 36
  • 8
  • 7
  • 6
  • 9
  • 10
  • 5
  • 90
  • 7
  • 6
  • 5
  • 9
  • 5
  • 6
  • 33
  • 15
  • 8
  • 78
  • 20
  • 12
  • 8
  • 13
  • 13
  • 19
  • 18
  • 9
  • 9
  • 93
  • 6
  • 47
  • 5
  • 11
  • 11
  • 8
  • 6
  • 89
  • 17
  • 20
  • 12
  • 8
  • 9
  • 16
  • 12
  • 6
  • 9
  • 5
  • 5
  • 8
  • 90
  • 5
  • 5
  • 6
  • 17
  • 8
  • 7
  • 81
  • 12
  • 16
  • 15
  • 11
  • 9
  • 8
  • 10
  • 13
  • 5
  • 7
  • 7
  • 22
  • 18
  • 8
  • 5
  • 6
  • 14
  • 7
  • 28
  • 5
  • 7
  • 8
  • 5
  • 6
  • 5
  • 5
  • 14
  • 8
  • 6
  • 9
  • 7
  • 16
  • 6
  • 12
  • 23
  • 31
  • 6
  • 6
  • 6
  • 19
  • 9
  • 6
  • 13
  • 12
  • 31
  • 11
  • 5
  • 13
  • 10
  • 42
  • 8
  • 50
  • 11
  • 9
  • 6
  • 11
  • 12
  • 5
  • 22
  • 18
  • 6
  • 17
  • 18
  • 19
  • 5
  • 5
  • 24
  • 14
  • 28
  • 63
  • 10
  • 16
  • 19
  • 8
  • 9
  • 7
  • 24
  • 6
  • 19
  • 15
  • 7
  • 6
  • 6
  • 17
  • 10
  • 59
  • 6
  • 81
  • 24
  • 12
  • 6
  • 13
  • 15
  • 7
  • 7
  • 7
  • 12
  • 15
  • 5
  • 12
  • 7
  • 15
  • 13
  • 7
  • 6
  • 10
  • 10
  • 89
  • 11
  • 5
  • 18
  • 16
  • 5
  • 6
  • 6
  • 5
  • 7
  • 16
  • 8
  • 8
  • 7
  • 34
  • 5
  • 11
  • 9
  • 5
  • 8
  • 12
  • 13
  • 21
  • 5
  • 10
  • 6
  • 36
  • 6
  • 5
  • 6
  • 14
  • 19
  • 14
  • 10
  • 6
  • 6
  • 8
  • 8
  • 6
  • 5
  • 25
  • 7
  • 16
  • 10
  • 6
  • 6
  • 8
  • 6
  • 6
  • 5
  • 6
  • 14
  • 13
  • 9
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 12
  • 6
  • 5
  • 9
  • 5
  • 17
  • 25
  • 13
  • 6
  • 14
  • 5
  • 19
  • 18
  • 5
  • 7
  • 5
  • 5
  • 12
  • 6
  • 10
  • 18
  • 10
  • 6
  • 43
  • 6
  • 8
  • 6
  • 6
  • 5
  • 23
  • 6
  • 48
  • 40
  • 65
  • 41
  • 16
  • 6
  • 11
  • 6
  • 18
  • 32
  • 7
  • 26
  • 21
  • 21
  • 9
  • 6
  • 5
  • 10
  • 7
  • 7
  • 6
  • 20
Verlag
  • 9
  • 10956
  • 3
  • 5
  • 1
  • 100
  • 4
  • 1
  • 12
  • 36
Preis
  • 42
  • 403
  • 8440
  • 2242
Sprachen
  • 11122
  • 16
  • 13
Verfügbarkeit
  • 10864
  • 263
Eigenschaften
  • 2
Katalog
  • 11127
  • 588
11.127  Treffer  für „Lecture Notes in Computer Science“


    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53290-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 I
    2024
    Verlag: Springer
    ISBN: 978-3-031-60404-1
    Medium: Buch
    85,59 € (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 I
    2024
    Verlag: Springer
    ISBN: 978-3-031-65626-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gilly / Thomas Computer Performance Engineering

    18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25048-4
    Medium: Buch
    69,54 € (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 II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35598-1
    Medium: Buch
    160,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 I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32518-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29582-8
    Medium: Buch
    104,85 € (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 VI
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93964-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29595-8
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chaudhuri / Farzan Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41527-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tribastone / Gilmore Computer Performance Engineering

    9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36780-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hunt, Jr. / Somenzi Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kotenko / Skormin Computer Network Security

    6th International Conference on Mathematical Methods, Models and Architectures for Comüuter Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33703-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lew / Sebe / Huang Human-Computer Interaction

    International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75772-6
    Medium: Buch
    53,49 € (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 I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37705-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shoham / Vizel Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13187-5
    Medium: Buch
    42,79 € (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 IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35571-4
    Medium: Buch
    139,09 € (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 II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93837-5
    Medium: Buch
    85,59 € (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 I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93834-4
    Medium: Buch
    85,59 € (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 VII
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93981-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Autexier / Calmet / Delahaye Intelligent Computer Mathematics

    10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-14127-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29585-9
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tzovaras / Giakoumis / Vincze Computer Vision Systems

    12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34994-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kohlhase / Kovács Intelligent Computer Mathematics

    17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66996-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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