Fachgebiet
Medium
  • 8196
Erscheinungsjahr
  • 297
  • 621
  • 486
  • 303
  • 304
  • 318
  • 301
  • 291
  • 311
  • 297
  • 290
  • 302
  • 222
  • 44
  • 74
  • 221
  • 219
  • 214
  • 145
  • 214
  • 323
  • 285
  • 243
  • 245
  • 175
  • 169
  • 126
  • 141
  • 131
  • 114
  • 111
  • 92
  • 72
  • 83
  • 56
  • 54
  • 44
  • 45
  • 31
  • 27
  • 17
  • 12
  • 14
  • 25
  • 18
  • 11
  • 7
  • 12
  • 10
  • 13
  • 12
  • 4
Autoren
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 6
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 14
  • 3
  • 20
  • 4
  • 3
  • 38
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 6
  • 6
  • 3
  • 5
  • 5
  • 4
  • 6
  • 4
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 39
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 9
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 5
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 12
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 9
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 24
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 14
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 3
  • 3
  • 5
  • 8
  • 4
  • 5
  • 3
  • 6
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 9
  • 4
  • 4
  • 10
  • 5
  • 6
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 39
  • 13
  • 9
  • 5
  • 3
  • 4
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 9
  • 5
  • 4
  • 8
  • 4
  • 3
  • 3
  • 8
  • 4
  • 5
  • 6
  • 4
  • 4
  • 10
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 7
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 8
  • 5
  • 5
  • 4
  • 6
  • 4
  • 5
  • 7
  • 4
  • 5
  • 12
  • 11
  • 4
  • 8
  • 6
  • 4
  • 6
  • 20
  • 4
  • 11
  • 10
  • 4
  • 8
  • 7
  • 4
  • 4
  • 15
  • 4
  • 8
  • 4
  • 39
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 11
  • 8
  • 8
  • 6
  • 4
  • 4
  • 8
  • 6
  • 10
  • 6
  • 4
  • 4
  • 5
  • 6
  • 7
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 8
  • 14
  • 4
  • 11
  • 4
  • 4
  • 8
  • 7
  • 8
  • 5
  • 7
  • 13
  • 5
  • 5
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 5
  • 6
  • 6
  • 4
  • 8
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 9
  • 6
  • 5
  • 37
  • 32
  • 8
  • 9
  • 4
  • 8
  • 10
  • 4
  • 4
  • 24
  • 11
  • 5
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 20
  • 5
  • 6
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 4
  • 4
  • 4
  • 4
  • 10
  • 43
  • 8
  • 4
  • 5
  • 9
  • 4
  • 11
  • 10
  • 4
  • 5
  • 6
  • 8
  • 4
  • 10
  • 10
  • 4
  • 5
  • 7
  • 6
  • 5
  • 8
  • 4
  • 5
  • 6
  • 4
  • 11
  • 33
  • 16
  • 4
  • 17
  • 20
  • 70
  • 4
  • 7
  • 5
  • 5
  • 5
  • 11
  • 4
  • 8
  • 9
  • 5
  • 5
  • 14
  • 5
  • 4
  • 4
  • 6
  • 10
  • 4
  • 28
  • 5
  • 6
  • 4
  • 5
  • 7
  • 11
  • 9
  • 39
  • 4
  • 11
  • 5
  • 4
  • 4
  • 4
  • 15
  • 4
  • 4
  • 4
  • 23
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 12
  • 4
  • 5
  • 12
  • 4
  • 5
  • 4
  • 4
  • 15
  • 5
  • 5
  • 6
  • 5
  • 4
  • 6
  • 14
  • 13
  • 9
  • 13
  • 7
  • 13
  • 8
  • 12
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 10
  • 6
  • 4
  • 5
  • 8
  • 4
  • 9
  • 11
  • 21
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 10
  • 4
  • 9
  • 5
  • 5
  • 8
  • 18
  • 5
  • 18
  • 6
  • 4
  • 15
  • 6
  • 4
  • 8
  • 9
  • 4
  • 4
  • 24
  • 4
  • 19
  • 36
  • 10
  • 6
  • 4
  • 7
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 5
  • 6
  • 8
  • 13
  • 4
  • 7
  • 8
  • 4
  • 10
  • 7
  • 9
  • 4
  • 4
  • 9
  • 8
  • 6
  • 4
  • 6
  • 11
  • 4
  • 10
  • 21
  • 4
  • 4
  • 8
  • 5
  • 6
  • 5
  • 4
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 7
  • 4
  • 5
  • 5
  • 10
  • 4
  • 16
  • 4
  • 34
  • 15
  • 4
  • 5
  • 4
  • 5
  • 13
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 11
  • 18
  • 5
  • 10
  • 6
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 38
  • 4
  • 11
  • 4
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 9
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 62
  • 6
  • 4
  • 7
  • 5
  • 9
  • 6
  • 4
  • 9
  • 34
  • 5
  • 8
  • 5
  • 6
  • 4
  • 5
  • 11
  • 4
  • 4
  • 5
  • 6
  • 5
  • 4
  • 6
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 10
  • 5
  • 11
  • 9
  • 8
  • 5
  • 13
  • 7
  • 12
  • 5
  • 4
  • 6
  • 4
  • 4
  • 18
  • 12
  • 5
  • 7
  • 7
  • 4
  • 16
  • 5
  • 8
  • 13
  • 8
  • 6
  • 4
  • 9
  • 13
  • 7
  • 4
  • 4
  • 11
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 10
  • 8
  • 5
  • 4
  • 12
  • 6
  • 4
  • 4
  • 8
  • 20
  • 9
  • 5
  • 4
  • 7
  • 12
  • 6
  • 6
  • 6
  • 5
  • 8
  • 26
  • 5
  • 7
  • 6
  • 7
  • 9
  • 7
  • 8
  • 4
  • 8
  • 5
  • 18
  • 5
  • 4
  • 6
  • 48
  • 4
  • 10
  • 6
  • 9
  • 5
  • 4
  • 4
  • 12
  • 4
  • 8
  • 7
  • 9
  • 13
  • 16
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 4
  • 6
  • 8
  • 5
  • 10
  • 4
  • 13
  • 7
  • 7
  • 4
  • 6
  • 8
  • 4
  • 7
  • 7
  • 11
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 7
  • 6
  • 4
  • 4
  • 13
  • 6
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 5
  • 8
  • 7
  • 11
  • 7
  • 10
  • 19
  • 6
  • 33
  • 9
  • 4
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 14
  • 7
  • 8
  • 14
  • 10
  • 9
  • 14
  • 6
  • 11
  • 16
  • 51
  • 14
  • 18
  • 9
  • 6
  • 20
  • 4
  • 5
  • 5
  • 42
  • 9
  • 16
  • 9
  • 4
  • 4
  • 10
  • 13
  • 4
  • 5
  • 11
  • 7
  • 4
  • 4
  • 7
  • 6
  • 7
  • 4
  • 5
  • 4
  • 10
  • 6
  • 5
  • 4
  • 5
  • 8
  • 7
  • 7
  • 25
  • 4
  • 14
  • 13
  • 7
  • 6
  • 6
  • 5
  • 18
  • 6
  • 4
  • 9
  • 15
  • 9
  • 8
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 9
  • 18
  • 6
  • 13
  • 4
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 4
  • 4
  • 16
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 5
  • 4
  • 6
  • 5
  • 6
  • 32
  • 8
  • 5
  • 4
  • 19
  • 16
  • 4
  • 45
  • 7
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 6
  • 20
  • 16
  • 8
  • 8
  • 5
  • 4
  • 10
Verlag
  • 1050
  • 3406
  • 2670
  • 1
  • 1
  • 97
  • 870
  • 101
Preis
  • 40
  • 342
  • 6400
  • 1414
Sprachen
  • 8191
  • 16
  • 14
Verfügbarkeit
  • 8169
  • 27
Katalog
  • 8196
  • 490
8.196  Treffer  für „Lecture Notes in Computer Science“


    Leino / Silva Computer Aided Verification

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

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

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

    Hashizume / Kurosu 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 Nature Switzerland
    ISBN: 978-3-031-60427-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kohlhase / Johansson / Tompa Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42546-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dill Computer Aided Verification

    6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58179-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurshan / Clarke Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sagerer / Schiele Computer Vision Systems

    Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42285-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Peled / Halbwachs Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66202-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorodetsky / Skormin / Popyack Computer Network Security

    Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40797-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blumenthal / Unger / Gornostaev Human-Computer Interaction

    5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60614-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Masoodian / Rogers / Jones Computer Human Interaction

    6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22312-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (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
    1992
    Verlag: Springer Berlin Heidelberg
    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
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chen / Neumann / Leibe Computer Vision Systems

    9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39401-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jeuring / Campbell / Carette Intelligent Computer Mathematics

    11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Pro
    2012
    Verlag: Springer
    ISBN: 978-3-642-31373-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lal / Enea Computer Aided Verification

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

    Tasiran / Dillig Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25542-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leino / Silva Computer Aided Verification

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

    Hashizume / Kurosu 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 Nature Switzerland
    ISBN: 978-3-031-35601-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    Hashizume / Kurosu 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
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60448-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hashizume / Kurosu 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 IV
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60440-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hashizume / Kurosu 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 II
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60411-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Potapova / Karpov Speech and Computer

    23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27¿30, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87801-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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