Ergebnisse filtern
Fachgebiet
Medium
  • 3255
Erscheinungsjahr
  • 273
  • 307
  • 147
  • 100
  • 119
  • 132
  • 126
  • 119
  • 128
  • 105
  • 110
  • 111
  • 86
  • 16
  • 38
  • 92
  • 75
  • 91
  • 74
  • 87
  • 121
  • 97
  • 89
  • 102
  • 67
  • 57
  • 54
  • 49
  • 45
  • 44
  • 47
  • 34
  • 25
  • 29
  • 18
  • 14
  • 12
  • 9
  • 4
  • 2
Autoren
  • 3
  • 6
  • 4
  • 3
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 14
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 14
  • 7
  • 3
  • 2
  • 6
  • 3
  • 6
  • 3
  • 2
  • 4
  • 2
  • 4
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 39
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 10
  • 7
  • 2
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 10
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 17
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 39
  • 16
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 12
  • 3
  • 3
  • 6
  • 6
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 4
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 19
  • 2
  • 2
  • 3
  • 4
  • 2
  • 11
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 39
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 8
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 7
  • 10
  • 8
  • 4
  • 8
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 5
  • 4
  • 12
  • 6
  • 13
  • 5
  • 4
  • 4
  • 3
  • 10
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 8
  • 3
  • 4
  • 12
  • 4
  • 3
  • 6
  • 3
  • 43
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 14
  • 3
  • 5
  • 3
  • 4
  • 12
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 15
  • 5
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 8
  • 6
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 14
  • 3
  • 3
  • 3
  • 4
  • 3
  • 17
  • 20
  • 3
  • 12
  • 3
  • 5
  • 5
  • 16
  • 4
  • 6
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 8
  • 12
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 21
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 5
  • 6
  • 9
  • 39
  • 3
  • 3
  • 6
  • 14
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 14
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 27
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 11
  • 6
  • 3
  • 4
  • 14
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 14
  • 3
  • 13
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 11
  • 4
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 4
  • 5
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 9
  • 6
  • 5
  • 3
  • 16
  • 5
  • 5
  • 3
  • 3
  • 5
  • 12
  • 3
  • 3
  • 14
  • 3
  • 11
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 13
  • 3
  • 3
  • 4
  • 25
  • 3
  • 4
  • 6
  • 6
  • 5
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 7
  • 5
  • 4
  • 3
  • 4
  • 16
  • 7
  • 6
  • 5
  • 6
  • 7
  • 4
  • 10
  • 6
  • 3
  • 7
  • 21
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 6
  • 9
  • 4
  • 3
  • 3
  • 13
  • 3
  • 8
  • 5
  • 12
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 11
  • 3
  • 5
  • 3
  • 3
  • 12
  • 4
  • 5
  • 4
  • 4
  • 3
  • 6
  • 3
  • 6
  • 4
  • 10
  • 7
  • 3
  • 6
  • 6
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 9
  • 3
  • 7
  • 4
  • 8
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 10
  • 4
  • 3
  • 4
  • 6
  • 4
  • 3
  • 8
  • 20
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 34
  • 8
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 9
  • 5
  • 3
  • 6
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 3
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 14
  • 3
  • 4
  • 6
  • 4
  • 7
  • 5
  • 5
  • 12
  • 4
  • 8
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 13
  • 13
  • 5
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 5
  • 8
  • 5
  • 7
  • 4
  • 5
  • 6
  • 4
  • 3
  • 3
  • 6
  • 9
  • 5
  • 3
  • 4
  • 3
  • 5
  • 6
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 13
  • 5
  • 4
  • 26
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 8
  • 5
  • 3
  • 6
  • 4
  • 28
  • 3
  • 4
  • 6
  • 6
  • 8
  • 3
  • 3
  • 24
  • 8
  • 3
  • 3
  • 9
  • 4
  • 4
  • 4
  • 6
  • 3
  • 9
  • 25
  • 6
  • 5
  • 8
  • 11
  • 14
  • 8
  • 4
  • 7
  • 9
  • 4
  • 6
  • 4
  • 4
  • 5
  • 11
  • 4
  • 3
  • 9
  • 6
  • 11
  • 4
  • 11
  • 7
  • 3
  • 3
  • 4
  • 8
  • 4
  • 4
  • 3
  • 4
  • 5
  • 7
  • 12
  • 8
  • 5
  • 10
  • 18
  • 10
  • 9
  • 13
  • 5
  • 21
  • 3
  • 4
  • 10
  • 13
  • 5
  • 7
  • 4
  • 24
  • 13
  • 6
  • 3
  • 4
  • 6
  • 17
  • 11
  • 3
  • 13
  • 4
  • 5
  • 17
  • 5
  • 5
  • 3
  • 4
  • 10
  • 6
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 7
  • 5
  • 6
  • 3
  • 8
  • 19
  • 5
  • 7
  • 5
  • 4
  • 5
  • 3
  • 14
  • 5
  • 3
  • 4
  • 3
  • 6
  • 8
  • 5
  • 9
Verlag
  • 484
  • 1213
  • 996
  • 1
  • 76
  • 469
  • 16
Preis
  • 1
  • 83
  • 2450
  • 721
Sprachen
  • 3255
Verfügbarkeit
  • 3179
  • 76
Katalog
  • 3255
  • 191
3.255  Treffer  für „Lecture Notes in Computer Science“
    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
    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
    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
    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
    Tzovaras / Argyros / Giakoumis | Computer Vision Systems | Buch | Sack Fachmedien

    Tzovaras / Argyros / Giakoumis Computer Vision Systems

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

    Christensen Computer Vision Systems

    First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65459-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sistla / Emerson | Computer Aided Verification | Buch | Sack Fachmedien

    Sistla / Emerson Computer Aided Verification

    12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67770-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardi / Hu | Computer Aided Verification | Buch | Sack Fachmedien

    Vardi / Hu Computer Aided Verification

    10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64608-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Alur | Computer Aided Verification | Buch | Sack Fachmedien

    Peled / Alur Computer Aided Verification

    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22342-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajamani / Etessami | Computer Aided Verification | Buch | Sack Fachmedien

    Rajamani / Etessami Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27231-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blumenthal / Unger / Gornostaev | Human-Computer Interaction | Buch | Sack Fachmedien

    Blumenthal / Unger / Gornostaev Human-Computer Interaction

    4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58648-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geuvers / England / Teschke | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Geuvers / England / Teschke Intelligent Computer Mathematics

    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-62074-9
    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 I
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-37705-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crowley / Paletta / Piater | Computer Vision Systems | Buch | Sack Fachmedien

    Crowley / Paletta / Piater Computer Vision Systems

    Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00921-4
    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 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 Nature Switzerland
    ISBN: 978-3-031-35571-4
    Medium: Buch
    139,09 € (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
    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 III
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-37708-2
    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