Ergebnisse filtern
Fachgebiet
Medium
  • 8569
  • 497
Erscheinungsjahr
  • 506
  • 631
  • 509
  • 296
  • 320
  • 320
  • 298
  • 298
  • 314
  • 351
  • 314
  • 306
  • 238
  • 322
  • 119
  • 292
  • 223
  • 229
  • 156
  • 217
  • 328
  • 286
  • 247
  • 248
  • 176
  • 169
  • 147
  • 143
  • 132
  • 119
  • 117
  • 93
  • 75
  • 85
  • 55
  • 58
  • 46
  • 48
  • 33
  • 27
  • 19
  • 16
  • 16
  • 29
  • 19
  • 11
  • 8
  • 13
  • 10
  • 16
  • 13
  • 5
Autoren
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 8
  • 14
  • 4
  • 4
  • 4
  • 5
  • 5
  • 5
  • 7
  • 5
  • 5
  • 5
  • 14
  • 19
  • 38
  • 6
  • 5
  • 6
  • 4
  • 5
  • 7
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 5
  • 39
  • 6
  • 7
  • 4
  • 4
  • 5
  • 5
  • 7
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 6
  • 7
  • 4
  • 6
  • 5
  • 5
  • 4
  • 6
  • 5
  • 5
  • 4
  • 6
  • 5
  • 6
  • 10
  • 4
  • 5
  • 12
  • 4
  • 4
  • 5
  • 14
  • 6
  • 4
  • 4
  • 7
  • 6
  • 10
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 7
  • 4
  • 5
  • 5
  • 6
  • 4
  • 23
  • 4
  • 4
  • 4
  • 7
  • 4
  • 12
  • 5
  • 4
  • 4
  • 17
  • 10
  • 4
  • 7
  • 5
  • 7
  • 4
  • 5
  • 6
  • 11
  • 4
  • 4
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 12
  • 4
  • 4
  • 4
  • 7
  • 8
  • 4
  • 4
  • 10
  • 5
  • 9
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 8
  • 5
  • 9
  • 4
  • 39
  • 16
  • 9
  • 4
  • 4
  • 8
  • 4
  • 9
  • 5
  • 4
  • 12
  • 5
  • 8
  • 13
  • 5
  • 6
  • 6
  • 5
  • 10
  • 8
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 10
  • 5
  • 4
  • 10
  • 4
  • 4
  • 4
  • 11
  • 4
  • 5
  • 5
  • 6
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 7
  • 5
  • 6
  • 16
  • 11
  • 5
  • 9
  • 8
  • 4
  • 7
  • 19
  • 4
  • 4
  • 11
  • 12
  • 4
  • 5
  • 4
  • 8
  • 7
  • 4
  • 5
  • 6
  • 18
  • 4
  • 9
  • 5
  • 39
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 5
  • 5
  • 5
  • 13
  • 9
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 5
  • 10
  • 6
  • 6
  • 4
  • 7
  • 7
  • 6
  • 4
  • 5
  • 5
  • 4
  • 4
  • 10
  • 4
  • 4
  • 6
  • 15
  • 4
  • 10
  • 10
  • 7
  • 8
  • 4
  • 7
  • 14
  • 4
  • 5
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 5
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 5
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 36
  • 33
  • 21
  • 4
  • 14
  • 4
  • 25
  • 11
  • 4
  • 5
  • 7
  • 20
  • 6
  • 4
  • 5
  • 11
  • 5
  • 8
  • 43
  • 7
  • 5
  • 4
  • 4
  • 13
  • 4
  • 5
  • 10
  • 14
  • 4
  • 9
  • 4
  • 7
  • 6
  • 8
  • 4
  • 4
  • 4
  • 10
  • 13
  • 4
  • 6
  • 4
  • 6
  • 5
  • 4
  • 5
  • 6
  • 5
  • 8
  • 6
  • 5
  • 10
  • 36
  • 16
  • 4
  • 5
  • 19
  • 23
  • 75
  • 6
  • 11
  • 5
  • 7
  • 5
  • 16
  • 5
  • 5
  • 6
  • 4
  • 11
  • 5
  • 4
  • 7
  • 12
  • 5
  • 5
  • 13
  • 4
  • 4
  • 6
  • 9
  • 4
  • 32
  • 5
  • 6
  • 4
  • 5
  • 7
  • 4
  • 5
  • 13
  • 9
  • 39
  • 6
  • 12
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 18
  • 4
  • 6
  • 4
  • 28
  • 4
  • 6
  • 4
  • 8
  • 6
  • 10
  • 5
  • 5
  • 4
  • 14
  • 4
  • 5
  • 4
  • 6
  • 15
  • 5
  • 6
  • 9
  • 6
  • 6
  • 4
  • 16
  • 12
  • 10
  • 13
  • 4
  • 4
  • 7
  • 13
  • 6
  • 10
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 9
  • 7
  • 7
  • 4
  • 8
  • 7
  • 4
  • 5
  • 8
  • 7
  • 5
  • 11
  • 22
  • 5
  • 4
  • 7
  • 4
  • 7
  • 4
  • 7
  • 7
  • 4
  • 6
  • 4
  • 4
  • 11
  • 4
  • 4
  • 10
  • 5
  • 8
  • 6
  • 20
  • 5
  • 13
  • 6
  • 6
  • 16
  • 7
  • 4
  • 7
  • 4
  • 9
  • 6
  • 25
  • 4
  • 20
  • 37
  • 4
  • 14
  • 4
  • 4
  • 4
  • 6
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 6
  • 4
  • 7
  • 4
  • 8
  • 12
  • 85
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 7
  • 8
  • 11
  • 4
  • 7
  • 6
  • 4
  • 8
  • 9
  • 10
  • 4
  • 4
  • 4
  • 19
  • 9
  • 5
  • 4
  • 6
  • 10
  • 5
  • 6
  • 21
  • 4
  • 5
  • 4
  • 9
  • 4
  • 5
  • 6
  • 5
  • 4
  • 9
  • 9
  • 13
  • 9
  • 5
  • 13
  • 7
  • 6
  • 4
  • 5
  • 5
  • 11
  • 9
  • 6
  • 19
  • 4
  • 4
  • 33
  • 15
  • 6
  • 5
  • 4
  • 6
  • 6
  • 13
  • 4
  • 9
  • 5
  • 4
  • 4
  • 5
  • 11
  • 6
  • 4
  • 4
  • 11
  • 15
  • 7
  • 10
  • 5
  • 4
  • 8
  • 13
  • 4
  • 4
  • 4
  • 6
  • 35
  • 4
  • 4
  • 10
  • 6
  • 5
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 14
  • 4
  • 6
  • 9
  • 5
  • 5
  • 5
  • 4
  • 8
  • 5
  • 8
  • 67
  • 4
  • 5
  • 5
  • 7
  • 6
  • 4
  • 10
  • 39
  • 5
  • 11
  • 5
  • 6
  • 4
  • 5
  • 11
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 7
  • 5
  • 5
  • 9
  • 4
  • 7
  • 5
  • 8
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 5
  • 12
  • 10
  • 8
  • 5
  • 13
  • 4
  • 6
  • 14
  • 4
  • 8
  • 4
  • 6
  • 4
  • 5
  • 19
  • 6
  • 12
  • 6
  • 8
  • 6
  • 4
  • 4
  • 20
  • 5
  • 10
  • 18
  • 11
  • 5
  • 7
  • 6
  • 9
  • 13
  • 8
  • 4
  • 4
  • 10
  • 4
  • 5
  • 7
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 9
  • 4
  • 4
  • 6
  • 4
  • 5
  • 12
  • 4
  • 4
  • 4
  • 4
  • 9
  • 20
  • 9
  • 5
  • 8
  • 16
  • 8
  • 8
  • 4
  • 86
  • 4
  • 6
  • 5
  • 8
  • 26
  • 5
  • 7
  • 6
  • 9
  • 15
  • 7
  • 9
  • 6
  • 4
  • 5
  • 17
  • 6
  • 88
  • 6
  • 49
  • 4
  • 10
  • 11
  • 5
  • 84
  • 9
  • 4
  • 4
  • 4
  • 10
  • 6
  • 4
  • 7
  • 4
  • 9
  • 13
  • 19
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 9
  • 85
  • 4
  • 6
  • 6
  • 5
  • 6
  • 11
  • 12
  • 4
  • 14
  • 15
  • 7
  • 8
  • 4
  • 6
  • 8
  • 7
  • 7
  • 14
  • 7
  • 5
  • 9
  • 4
  • 4
  • 10
  • 7
  • 4
  • 20
  • 4
  • 5
  • 4
  • 8
  • 4
  • 6
  • 4
  • 4
  • 4
  • 16
  • 6
  • 11
  • 38
  • 4
  • 4
  • 10
  • 15
  • 7
  • 8
  • 9
  • 11
  • 4
  • 7
  • 6
  • 20
  • 6
  • 34
  • 10
  • 4
  • 6
  • 5
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 13
  • 7
  • 10
  • 15
  • 10
  • 9
  • 16
  • 7
  • 11
  • 20
  • 57
  • 12
  • 15
  • 9
  • 4
  • 13
  • 19
  • 4
  • 4
  • 5
  • 47
  • 4
  • 8
  • 16
  • 7
  • 4
  • 4
  • 4
  • 10
  • 13
  • 4
  • 4
  • 5
  • 11
  • 7
  • 6
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 84
  • 5
  • 5
  • 13
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 5
  • 12
  • 6
  • 9
  • 7
  • 4
  • 25
  • 11
  • 5
  • 13
  • 6
  • 13
  • 10
  • 7
  • 4
  • 10
  • 17
  • 6
  • 5
  • 4
  • 9
  • 17
  • 9
  • 4
  • 8
  • 4
  • 10
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 9
  • 21
  • 6
  • 12
  • 5
  • 6
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 16
  • 6
  • 4
  • 4
  • 4
  • 6
  • 4
  • 12
  • 5
  • 5
  • 8
  • 6
  • 4
  • 5
  • 5
  • 6
  • 35
  • 8
  • 5
  • 19
  • 5
  • 19
  • 5
  • 42
  • 7
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 14
  • 4
  • 7
  • 5
  • 19
  • 18
  • 4
  • 4
  • 8
  • 11
  • 5
  • 4
  • 4
  • 11
Verlag
  • 1721
  • 3491
  • 2777
  • 1
  • 1
  • 110
  • 929
  • 36
Preis
  • 45
  • 348
  • 7172
  • 1501
Sprachen
  • 9058
  • 18
  • 15
Verfügbarkeit
  • 8892
  • 174
Katalog
  • 9066
  • 491
9.066  Treffer  für „Lecture Notes in Computer Science“
    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
    Maurer | Computer Assisted Learning | Buch | Sack Fachmedien

    Maurer Computer Assisted Learning

    2nd International Conference, ICCAL '89, Dallas, TX, USA, May 9-11, 1989. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51142-7
    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
    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
    Leino / Silva | Computer Aided Verification | Buch | Sack Fachmedien

    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 | 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
    Farzan / Chaudhuri | Computer Aided Verification | Buch | Sack Fachmedien

    Farzan / Chaudhuri Computer Aided Verification

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

    Bloem / Biere 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
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesh / Gurfinkel | Computer Aided Verification | Buch | Sack Fachmedien

    Ganesh / Gurfinkel Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24¿27, 2024, Proceedings, Part II
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-65629-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kerber / Carette / Sorge | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kerber / Carette / Sorge Intelligent Computer Mathematics

    International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20614-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bass / Unger / Gornostaev | Human-Computer Interaction | Buch | Sack Fachmedien

    Bass / Unger / Gornostaev Human-Computer Interaction

    Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57433-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Favela / Chávez / Menasalvas | Advances in Web Intelligence | Buch | Sack Fachmedien

    Favela / Chávez / Menasalvas Advances in Web Intelligence

    Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22009-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henzinger / Alur | Computer Aided Verification | Buch | Sack Fachmedien

    Henzinger / Alur Computer Aided Verification

    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61474-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rak / Bay / Szczypiorski | Computer Network Security | Buch | Sack Fachmedien

    Rak / Bay / Szczypiorski Computer Network Security

    7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-65126-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Brinksma | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Brinksma Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43997-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tscheligi / Grechenig | Human Computer Interaction | Buch | Sack Fachmedien

    Tscheligi / Grechenig Human Computer Interaction

    Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutsia / Buzzard | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kutsia / Buzzard Intelligent Computer Mathematics

    15th International Conference, CICM 2022, Tbilisi, Georgia, September 19¿23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16680-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Sexton / Urban | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Urban Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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 II
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21667-6
    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