Ergebnisse filtern
Fachgebiet
Medium
  • 8227
Erscheinungsjahr
  • 299
  • 625
  • 489
  • 306
  • 305
  • 318
  • 301
  • 291
  • 311
  • 297
  • 291
  • 303
  • 224
  • 44
  • 75
  • 221
  • 219
  • 214
  • 145
  • 214
  • 324
  • 285
  • 243
  • 245
  • 175
  • 169
  • 126
  • 141
  • 131
  • 114
  • 111
  • 92
  • 72
  • 83
  • 56
  • 56
  • 44
  • 45
  • 33
  • 27
  • 19
  • 13
  • 15
  • 27
  • 19
  • 11
  • 7
  • 12
  • 10
  • 13
  • 13
  • 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
  • 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
  • 7
  • 4
  • 4
  • 20
  • 5
  • 6
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 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
  • 18
  • 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
  • 12
  • 22
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 10
  • 4
  • 9
  • 5
  • 5
  • 8
  • 19
  • 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
  • 15
  • 6
  • 11
  • 16
  • 51
  • 14
  • 18
  • 9
  • 6
  • 20
  • 4
  • 5
  • 5
  • 43
  • 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
  • 5
  • 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
  • 6
  • 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
  • 1055
  • 3418
  • 2679
  • 1
  • 1
  • 97
  • 874
  • 102
Preis
  • 45
  • 346
  • 6421
  • 1415
Sprachen
  • 8221
  • 17
  • 14
Verfügbarkeit
  • 8199
  • 28
Katalog
  • 8227
  • 491
8.227  Treffer  für „Lecture Notes in Computer Science“
    Johnson / Hunt | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Johnson / Hunt Formal Methods in Computer-Aided Design

    Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41219-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Radhakrishnan / Pandya | FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Radhakrishnan / Pandya FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

    23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20680-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fang | HCI in Games | Buch | Sack Fachmedien

    Fang HCI in Games

    6th International Conference, HCI-Games 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-60694-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Finkel / Comon | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Finkel / Comon Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (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
    Karpov / Samudravijaya / Prasanna | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Samudravijaya / Prasanna Speech and Computer

    25th International Conference, SPECOM 2023, Dharwad, India, November 29 ¿ December 2, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-48308-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Mporas / Potapova | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Mporas / Potapova Speech and Computer

    19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66428-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gribaudo / Razumchik / Iacono | Computer Performance Engineering | Buch | Sack Fachmedien

    Gribaudo / Razumchik / Iacono Computer Performance Engineering

    16th European Workshop, EPEW 2019, Milan, Italy, November 28¿29, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-44410-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carette / Watt / Dixon | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Carette / Watt / Dixon Intelligent Computer Mathematics

    16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02613-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Somenzi / Hunt, Jr. / Hunt | Computer Aided Verification | Buch | Sack Fachmedien

    Somenzi / Hunt, Jr. / Hunt Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40524-5
    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 II
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-35598-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolter / Horváth | Computer Performance Engineering | Buch | Sack Fachmedien

    Wolter / Horváth Computer Performance Engineering

    11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10884-1
    Medium: Buch
    51,36 € (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
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Malik | Computer Aided Verification | Buch | Sack Fachmedien

    Gupta / Malik Computer Aided Verification

    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-70543-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    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 I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41527-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas / Gilly | Computer Performance Engineering | Buch | Sack Fachmedien

    Thomas / Gilly Computer Performance Engineering

    18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21¿23, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-25048-4
    Medium: Buch
    69,54 € (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 I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60404-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilmore / Tribastone | Computer Performance Engineering | Buch | Sack Fachmedien

    Gilmore / Tribastone Computer Performance Engineering

    9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36780-9
    Medium: Buch
    49,22 € (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
    Six / Norrie | Computer Assisted Learning | Buch | Sack Fachmedien

    Six / Norrie Computer Assisted Learning

    3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52699-5
    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