Ergebnisse filtern
Fachgebiet
Medium
  • 10489
Erscheinungsjahr
  • 128
  • 800
  • 853
  • 621
  • 478
  • 286
  • 308
  • 292
  • 334
  • 302
  • 303
  • 293
  • 288
  • 288
  • 290
  • 295
  • 273
  • 257
  • 235
  • 259
  • 275
  • 214
  • 354
  • 296
  • 260
  • 253
  • 185
  • 171
  • 126
  • 140
  • 135
  • 115
  • 106
  • 94
  • 70
  • 82
  • 60
  • 57
  • 43
  • 46
  • 33
  • 25
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 4
  • 6
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 8
  • 5
  • 11
  • 4
  • 8
  • 7
  • 7
  • 4
  • 4
  • 5
  • 4
  • 4
  • 8
  • 10
  • 8
  • 4
  • 4
  • 16
  • 5
  • 5
  • 18
  • 4
  • 8
  • 6
  • 4
  • 6
  • 5
  • 9
  • 9
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 5
  • 14
  • 4
  • 4
  • 26
  • 36
  • 9
  • 37
  • 5
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 13
  • 4
  • 16
  • 11
  • 4
  • 5
  • 5
  • 38
  • 8
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 4
  • 13
  • 5
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 6
  • 6
  • 5
  • 6
  • 7
  • 4
  • 6
  • 8
  • 7
  • 9
  • 5
  • 11
  • 5
  • 4
  • 4
  • 6
  • 4
  • 19
  • 7
  • 4
  • 13
  • 4
  • 6
  • 8
  • 4
  • 5
  • 5
  • 5
  • 5
  • 8
  • 5
  • 4
  • 8
  • 5
  • 17
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 11
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 7
  • 6
  • 12
  • 15
  • 6
  • 7
  • 7
  • 5
  • 7
  • 11
  • 4
  • 5
  • 4
  • 4
  • 5
  • 7
  • 5
  • 9
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 11
  • 4
  • 6
  • 6
  • 8
  • 9
  • 6
  • 4
  • 11
  • 8
  • 4
  • 15
  • 10
  • 16
  • 7
  • 4
  • 5
  • 4
  • 5
  • 6
  • 8
  • 4
  • 4
  • 38
  • 8
  • 7
  • 5
  • 4
  • 4
  • 10
  • 5
  • 5
  • 9
  • 7
  • 5
  • 16
  • 8
  • 8
  • 4
  • 5
  • 14
  • 5
  • 6
  • 6
  • 10
  • 4
  • 6
  • 4
  • 7
  • 4
  • 5
  • 24
  • 4
  • 15
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 11
  • 5
  • 6
  • 5
  • 7
  • 5
  • 6
  • 7
  • 4
  • 5
  • 4
  • 5
  • 34
  • 11
  • 41
  • 10
  • 8
  • 12
  • 15
  • 4
  • 13
  • 22
  • 11
  • 35
  • 4
  • 8
  • 14
  • 7
  • 5
  • 5
  • 12
  • 4
  • 4
  • 5
  • 14
  • 9
  • 4
  • 38
  • 5
  • 5
  • 10
  • 8
  • 6
  • 4
  • 6
  • 4
  • 10
  • 8
  • 6
  • 4
  • 5
  • 4
  • 8
  • 4
  • 13
  • 10
  • 6
  • 14
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 15
  • 20
  • 4
  • 6
  • 4
  • 9
  • 5
  • 7
  • 4
  • 5
  • 8
  • 9
  • 11
  • 4
  • 24
  • 6
  • 6
  • 4
  • 5
  • 7
  • 4
  • 4
  • 7
  • 5
  • 7
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 7
  • 5
  • 15
  • 10
  • 4
  • 11
  • 8
  • 4
  • 4
  • 5
  • 45
  • 39
  • 7
  • 23
  • 8
  • 9
  • 10
  • 4
  • 4
  • 4
  • 24
  • 11
  • 4
  • 4
  • 4
  • 9
  • 15
  • 6
  • 4
  • 9
  • 6
  • 4
  • 5
  • 4
  • 4
  • 27
  • 4
  • 4
  • 14
  • 45
  • 8
  • 7
  • 4
  • 4
  • 4
  • 15
  • 7
  • 6
  • 5
  • 10
  • 13
  • 4
  • 14
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 8
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 15
  • 6
  • 8
  • 7
  • 14
  • 7
  • 10
  • 5
  • 13
  • 5
  • 17
  • 54
  • 31
  • 6
  • 21
  • 9
  • 17
  • 23
  • 88
  • 11
  • 5
  • 5
  • 18
  • 8
  • 6
  • 21
  • 16
  • 11
  • 7
  • 5
  • 6
  • 18
  • 12
  • 6
  • 6
  • 5
  • 12
  • 5
  • 35
  • 10
  • 6
  • 5
  • 5
  • 15
  • 7
  • 7
  • 5
  • 19
  • 38
  • 9
  • 17
  • 13
  • 5
  • 6
  • 5
  • 5
  • 5
  • 6
  • 12
  • 15
  • 8
  • 6
  • 9
  • 66
  • 7
  • 5
  • 7
  • 6
  • 9
  • 6
  • 7
  • 15
  • 5
  • 12
  • 7
  • 10
  • 21
  • 15
  • 5
  • 6
  • 6
  • 17
  • 10
  • 8
  • 6
  • 13
  • 5
  • 5
  • 10
  • 5
  • 13
  • 6
  • 10
  • 5
  • 13
  • 6
  • 5
  • 10
  • 7
  • 8
  • 5
  • 11
  • 6
  • 8
  • 7
  • 6
  • 5
  • 29
  • 6
  • 7
  • 5
  • 8
  • 5
  • 21
  • 15
  • 29
  • 9
  • 15
  • 7
  • 5
  • 28
  • 6
  • 6
  • 16
  • 6
  • 15
  • 7
  • 16
  • 27
  • 17
  • 12
  • 5
  • 14
  • 5
  • 12
  • 5
  • 27
  • 14
  • 25
  • 40
  • 7
  • 5
  • 6
  • 5
  • 16
  • 12
  • 8
  • 6
  • 7
  • 7
  • 6
  • 6
  • 12
  • 88
  • 12
  • 5
  • 16
  • 12
  • 6
  • 6
  • 11
  • 13
  • 6
  • 6
  • 6
  • 8
  • 14
  • 10
  • 6
  • 18
  • 20
  • 5
  • 24
  • 7
  • 5
  • 57
  • 7
  • 14
  • 7
  • 5
  • 11
  • 21
  • 5
  • 8
  • 7
  • 10
  • 6
  • 5
  • 5
  • 5
  • 12
  • 6
  • 5
  • 6
  • 23
  • 6
  • 11
  • 13
  • 13
  • 14
  • 13
  • 5
  • 17
  • 10
  • 16
  • 7
  • 5
  • 5
  • 11
  • 10
  • 8
  • 7
  • 27
  • 6
  • 34
  • 24
  • 5
  • 6
  • 11
  • 7
  • 7
  • 10
  • 17
  • 7
  • 9
  • 6
  • 5
  • 8
  • 8
  • 6
  • 20
  • 8
  • 7
  • 5
  • 5
  • 8
  • 7
  • 8
  • 32
  • 11
  • 9
  • 6
  • 6
  • 5
  • 8
  • 5
  • 10
  • 20
  • 9
  • 10
  • 7
  • 6
  • 7
  • 6
  • 5
  • 80
  • 10
  • 6
  • 5
  • 5
  • 6
  • 8
  • 9
  • 6
  • 7
  • 6
  • 9
  • 40
  • 9
  • 5
  • 11
  • 6
  • 5
  • 5
  • 5
  • 12
  • 8
  • 7
  • 5
  • 8
  • 5
  • 5
  • 5
  • 8
  • 8
  • 6
  • 9
  • 5
  • 5
  • 8
  • 5
  • 8
  • 43
  • 5
  • 6
  • 7
  • 17
  • 7
  • 18
  • 11
  • 13
  • 11
  • 15
  • 15
  • 15
  • 5
  • 5
  • 25
  • 13
  • 5
  • 8
  • 6
  • 22
  • 14
  • 10
  • 15
  • 7
  • 8
  • 5
  • 10
  • 7
  • 19
  • 5
  • 11
  • 7
  • 9
  • 8
  • 24
  • 9
  • 6
  • 6
  • 14
  • 10
  • 10
  • 6
  • 15
  • 10
  • 5
  • 13
  • 25
  • 13
  • 5
  • 7
  • 7
  • 20
  • 5
  • 8
  • 89
  • 5
  • 6
  • 9
  • 25
  • 5
  • 8
  • 10
  • 5
  • 6
  • 8
  • 5
  • 9
  • 6
  • 20
  • 91
  • 5
  • 6
  • 43
  • 11
  • 10
  • 10
  • 89
  • 17
  • 6
  • 14
  • 9
  • 5
  • 10
  • 9
  • 13
  • 14
  • 8
  • 6
  • 8
  • 5
  • 5
  • 8
  • 8
  • 89
  • 5
  • 6
  • 11
  • 17
  • 5
  • 10
  • 12
  • 5
  • 12
  • 15
  • 12
  • 12
  • 7
  • 5
  • 10
  • 5
  • 10
  • 9
  • 22
  • 11
  • 8
  • 5
  • 5
  • 7
  • 8
  • 7
  • 6
  • 11
  • 6
  • 7
  • 20
  • 7
  • 8
  • 5
  • 7
  • 5
  • 14
  • 11
  • 6
  • 15
  • 6
  • 12
  • 43
  • 6
  • 10
  • 5
  • 8
  • 17
  • 6
  • 5
  • 10
  • 6
  • 12
  • 13
  • 6
  • 6
  • 5
  • 10
  • 5
  • 34
  • 10
  • 38
  • 10
  • 7
  • 11
  • 11
  • 10
  • 10
  • 23
  • 7
  • 8
  • 17
  • 19
  • 19
  • 11
  • 21
  • 9
  • 12
  • 20
  • 54
  • 10
  • 7
  • 22
  • 8
  • 9
  • 5
  • 6
  • 6
  • 7
  • 20
  • 20
  • 11
  • 5
  • 5
  • 7
  • 44
  • 24
  • 12
  • 8
  • 8
  • 8
  • 16
  • 6
  • 7
  • 12
  • 16
  • 18
  • 10
  • 7
  • 5
  • 15
  • 5
  • 7
  • 8
  • 11
  • 5
  • 89
  • 10
  • 8
  • 8
  • 7
  • 16
  • 5
  • 5
  • 8
  • 16
  • 11
  • 7
  • 29
  • 5
  • 11
  • 5
  • 13
  • 5
  • 8
  • 13
  • 16
  • 8
  • 23
  • 6
  • 8
  • 16
  • 5
  • 18
  • 11
  • 11
  • 10
  • 10
  • 9
  • 6
  • 5
  • 7
  • 5
  • 19
  • 5
  • 14
  • 10
  • 8
  • 6
  • 7
  • 5
  • 6
  • 9
  • 10
  • 9
  • 5
  • 5
  • 18
  • 7
  • 10
  • 5
  • 12
  • 5
  • 8
  • 7
  • 26
  • 9
  • 14
  • 6
  • 6
  • 6
  • 17
  • 8
  • 5
  • 6
  • 6
  • 6
  • 5
  • 18
  • 8
  • 6
  • 45
  • 9
  • 6
  • 5
  • 22
  • 6
  • 6
  • 5
  • 42
  • 7
  • 13
  • 66
  • 5
  • 17
  • 6
  • 10
  • 5
  • 6
  • 5
  • 33
  • 7
  • 6
  • 23
  • 20
  • 20
  • 8
  • 6
  • 6
  • 6
  • 11
  • 7
  • 19
Verlag
  • 2
  • 10433
  • 3
  • 4
  • 2
  • 1
  • 3
  • 1
  • 40
Preis
  • 47
  • 363
  • 8090
  • 1989
Sprachen
  • 10483
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10475
  • 14
Katalog
  • 10489
  • 574
10.489  Treffer  für „Lecture Notes in Computer Science“
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    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
    Enea / Lal | Computer Aided Verification | Buch | Sack Fachmedien

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37702-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois / Kerber | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    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
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Potapova / Vlado | Speech and Computer | Buch | Sack Fachmedien

    Ronzhin / Potapova / Vlado Speech and Computer

    16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11580-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhuri / Farzan | Computer Aided Verification | Buch | Sack Fachmedien

    Chaudhuri / Farzan Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41539-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Kuncak / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Majumdar / Kuncak / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chockler / Weissenbacher | Computer Aided Verification | Buch | Sack Fachmedien

    Chockler / Weissenbacher Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96144-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring / Campbell / Carette | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    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
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31373-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg | Computer Aided Verification | Buch | Sack Fachmedien

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Maler | Computer Aided Verification | Buch | Sack Fachmedien

    Bouajjani / Maler Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomek | Computer Assisted Learning | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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
    Thomas / Juiz | Computer Performance Engineering | Buch | Sack Fachmedien

    Thomas / Juiz Computer Performance Engineering

    5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87411-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    Hunt / 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
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    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
    Kotenko / Skormin | Computer Network Security | Buch | Sack Fachmedien

    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
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    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
    Gurfinkel / Ganesh | Computer Aided Verification | Buch | Sack Fachmedien

    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
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    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
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    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
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth / Wolter | Computer Performance Engineering | Buch | Sack Fachmedien

    Horváth / Wolter Computer Performance Engineering

    11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10884-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhuri / Farzan | Computer Aided Verification | Buch | Sack Fachmedien

    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
    Karpov / Gosztolya | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Gosztolya Speech and Computer

    27th International Conference, SPECOM 2025, Szeged, Hungary, October 13-15, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07955-8
    Medium: Buch
    113,41 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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