Ergebnisse filtern
Fachgebiet
Medium
  • 5857
Erscheinungsjahr
  • 249
  • 437
  • 293
  • 176
  • 190
  • 212
  • 194
  • 177
  • 217
  • 199
  • 187
  • 187
  • 143
  • 26
  • 51
  • 162
  • 161
  • 187
  • 121
  • 174
  • 254
  • 221
  • 192
  • 189
  • 131
  • 123
  • 108
  • 117
  • 101
  • 94
  • 92
  • 72
  • 59
  • 68
  • 45
  • 46
  • 30
  • 31
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 10
  • 5
  • 12
  • 9
  • 11
  • 10
  • 3
Autoren
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 11
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 14
  • 20
  • 4
  • 27
  • 3
  • 7
  • 3
  • 6
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 39
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 6
  • 5
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 12
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 7
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 14
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 10
  • 3
  • 3
  • 9
  • 4
  • 8
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 39
  • 13
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 8
  • 5
  • 3
  • 8
  • 4
  • 3
  • 8
  • 5
  • 6
  • 4
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 8
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 5
  • 11
  • 3
  • 4
  • 4
  • 20
  • 3
  • 4
  • 11
  • 8
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 39
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 6
  • 8
  • 3
  • 4
  • 6
  • 5
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 8
  • 14
  • 11
  • 3
  • 4
  • 8
  • 4
  • 8
  • 4
  • 7
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 31
  • 32
  • 8
  • 9
  • 3
  • 4
  • 8
  • 9
  • 3
  • 3
  • 24
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 17
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 43
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 6
  • 3
  • 9
  • 6
  • 3
  • 9
  • 3
  • 4
  • 5
  • 10
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 8
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 12
  • 4
  • 6
  • 5
  • 4
  • 5
  • 3
  • 4
  • 9
  • 3
  • 5
  • 3
  • 7
  • 4
  • 6
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 13
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 18
  • 3
  • 20
  • 6
  • 47
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 4
  • 5
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 8
  • 9
  • 7
  • 14
  • 4
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 8
  • 3
  • 4
  • 5
  • 4
  • 19
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 6
  • 13
  • 5
  • 4
  • 6
  • 10
  • 39
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 11
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 14
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 23
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 12
  • 3
  • 3
  • 4
  • 6
  • 3
  • 6
  • 3
  • 4
  • 12
  • 5
  • 3
  • 6
  • 3
  • 3
  • 16
  • 6
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 6
  • 7
  • 14
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 14
  • 3
  • 4
  • 3
  • 3
  • 13
  • 4
  • 4
  • 3
  • 5
  • 8
  • 3
  • 4
  • 3
  • 12
  • 5
  • 7
  • 3
  • 6
  • 3
  • 5
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 6
  • 4
  • 5
  • 3
  • 8
  • 3
  • 5
  • 3
  • 9
  • 8
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 5
  • 6
  • 3
  • 10
  • 4
  • 4
  • 3
  • 5
  • 6
  • 9
  • 3
  • 5
  • 5
  • 3
  • 6
  • 4
  • 15
  • 6
  • 3
  • 4
  • 9
  • 4
  • 5
  • 3
  • 3
  • 24
  • 3
  • 4
  • 14
  • 36
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 3
  • 6
  • 13
  • 7
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 9
  • 6
  • 4
  • 3
  • 4
  • 6
  • 11
  • 4
  • 10
  • 21
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 5
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 34
  • 9
  • 4
  • 3
  • 5
  • 5
  • 9
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 11
  • 3
  • 5
  • 4
  • 3
  • 3
  • 10
  • 6
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 27
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 14
  • 9
  • 3
  • 5
  • 5
  • 6
  • 39
  • 7
  • 4
  • 6
  • 3
  • 9
  • 34
  • 5
  • 7
  • 5
  • 6
  • 5
  • 11
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 3
  • 10
  • 5
  • 11
  • 4
  • 3
  • 4
  • 13
  • 3
  • 8
  • 5
  • 6
  • 4
  • 18
  • 11
  • 5
  • 5
  • 6
  • 4
  • 11
  • 12
  • 8
  • 6
  • 4
  • 5
  • 4
  • 3
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 8
  • 10
  • 3
  • 4
  • 6
  • 7
  • 20
  • 9
  • 3
  • 5
  • 12
  • 6
  • 6
  • 5
  • 3
  • 7
  • 5
  • 7
  • 6
  • 3
  • 7
  • 8
  • 3
  • 3
  • 5
  • 18
  • 5
  • 4
  • 3
  • 4
  • 40
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 3
  • 6
  • 3
  • 9
  • 11
  • 14
  • 3
  • 4
  • 4
  • 4
  • 5
  • 10
  • 3
  • 8
  • 5
  • 10
  • 4
  • 13
  • 7
  • 8
  • 4
  • 7
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 13
  • 5
  • 6
  • 4
  • 9
  • 4
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 3
  • 5
  • 8
  • 3
  • 11
  • 10
  • 10
  • 33
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 7
  • 14
  • 10
  • 12
  • 6
  • 9
  • 13
  • 41
  • 7
  • 16
  • 9
  • 13
  • 3
  • 3
  • 4
  • 22
  • 9
  • 9
  • 4
  • 10
  • 13
  • 5
  • 7
  • 7
  • 6
  • 5
  • 10
  • 6
  • 3
  • 8
  • 4
  • 3
  • 19
  • 13
  • 6
  • 5
  • 18
  • 6
  • 4
  • 5
  • 14
  • 5
  • 4
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 18
  • 6
  • 9
  • 4
  • 6
  • 5
  • 4
  • 7
  • 4
  • 4
  • 16
  • 5
  • 4
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 5
  • 10
  • 8
  • 5
  • 4
  • 18
  • 16
  • 4
  • 15
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 6
  • 20
  • 4
  • 7
  • 8
  • 5
  • 10
Verlag
  • 684
  • 2675
  • 1680
  • 1
  • 79
  • 656
  • 82
Preis
  • 26
  • 197
  • 4506
  • 1128
Sprachen
  • 5852
  • 15
  • 13
Verfügbarkeit
  • 5836
  • 21
Katalog
  • 5857
  • 294
5.857  Treffer  für „Lecture Notes in Computer Science“
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

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

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

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

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

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

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

    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
    Blumenthal / Unger / Gornostaev | Human-Computer Interaction | Buch | Sack Fachmedien

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

    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
    Chin / Pong / Ip | Image Analysis Applications and Computer Graphics | Buch | Sack Fachmedien

    Chin / Pong / Ip Image Analysis Applications and Computer Graphics

    Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60697-0
    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
    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 | Buch | Sack Fachmedien

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

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

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

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

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

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

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

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

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

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

    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
    Kuncak / Majumdar / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Kuncak / Majumdar / Kuncak Computer Aided Verification

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

    Kuncak / Majumdar / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-63386-2
    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