Ergebnisse filtern
Fachgebiet
Medium
  • 10516
Erscheinungsjahr
  • 128
  • 801
  • 855
  • 622
  • 480
  • 291
  • 309
  • 292
  • 336
  • 303
  • 303
  • 293
  • 289
  • 288
  • 290
  • 296
  • 273
  • 257
  • 233
  • 259
  • 275
  • 214
  • 356
  • 298
  • 260
  • 255
  • 185
  • 171
  • 126
  • 140
  • 136
  • 115
  • 106
  • 94
  • 70
  • 85
  • 60
  • 57
  • 44
  • 46
  • 33
  • 26
  • 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
  • 5
  • 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
  • 27
  • 36
  • 9
  • 37
  • 5
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 13
  • 4
  • 16
  • 11
  • 4
  • 4
  • 5
  • 5
  • 39
  • 8
  • 5
  • 4
  • 5
  • 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
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 11
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 8
  • 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
  • 10
  • 6
  • 4
  • 11
  • 8
  • 4
  • 14
  • 10
  • 16
  • 7
  • 4
  • 5
  • 4
  • 5
  • 6
  • 8
  • 4
  • 4
  • 39
  • 8
  • 7
  • 5
  • 4
  • 4
  • 10
  • 5
  • 5
  • 9
  • 7
  • 5
  • 16
  • 8
  • 8
  • 4
  • 5
  • 14
  • 5
  • 6
  • 6
  • 4
  • 10
  • 4
  • 6
  • 4
  • 7
  • 4
  • 5
  • 24
  • 4
  • 15
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 11
  • 5
  • 6
  • 4
  • 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
  • 39
  • 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
  • 21
  • 4
  • 6
  • 4
  • 8
  • 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
  • 17
  • 6
  • 4
  • 9
  • 6
  • 4
  • 5
  • 4
  • 4
  • 27
  • 4
  • 4
  • 14
  • 46
  • 8
  • 7
  • 4
  • 4
  • 4
  • 15
  • 7
  • 6
  • 5
  • 11
  • 13
  • 4
  • 14
  • 6
  • 4
  • 6
  • 4
  • 6
  • 8
  • 5
  • 5
  • 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
  • 39
  • 9
  • 17
  • 14
  • 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
  • 29
  • 6
  • 6
  • 16
  • 6
  • 14
  • 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
  • 6
  • 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
  • 10
  • 6
  • 9
  • 5
  • 5
  • 8
  • 5
  • 8
  • 43
  • 5
  • 6
  • 7
  • 17
  • 7
  • 18
  • 11
  • 13
  • 11
  • 15
  • 15
  • 14
  • 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
  • 8
  • 8
  • 5
  • 9
  • 6
  • 20
  • 91
  • 5
  • 6
  • 44
  • 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
  • 11
  • 5
  • 8
  • 17
  • 6
  • 5
  • 10
  • 6
  • 12
  • 13
  • 6
  • 6
  • 5
  • 10
  • 5
  • 34
  • 10
  • 40
  • 10
  • 7
  • 11
  • 11
  • 10
  • 10
  • 23
  • 8
  • 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
  • 7
  • 8
  • 23
  • 6
  • 8
  • 16
  • 5
  • 18
  • 11
  • 11
  • 11
  • 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
  • 10460
  • 3
  • 4
  • 2
  • 1
  • 3
  • 1
  • 40
Preis
  • 47
  • 363
  • 8110
  • 1996
Sprachen
  • 10510
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10500
  • 16
Katalog
  • 10516
  • 575
10.516  Treffer  für „Lecture Notes in Computer Science“
    Kaliszyk / Brady / Kohlhase | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kaliszyk / Brady / Kohlhase Intelligent Computer Mathematics

    12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23249-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shoham / Vizel | Computer Aided Verification | Buch | Sack Fachmedien

    Shoham / Vizel Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13184-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blumenthal / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Blumenthal / Gornostaev / Unger Human-Computer Interaction

    5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60614-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kurshan | Computer-Aided Verification | Buch | Sack Fachmedien

    Clarke / Kurshan Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorodetsky / Popyack / Skormin | Computer Network Security | Buch | Sack Fachmedien

    Gorodetsky / Popyack / Skormin Computer Network Security

    Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40797-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Halbwachs / Peled Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66202-0
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58179-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiele / Sagerer | Computer Vision Systems | Buch | Sack Fachmedien

    Schiele / Sagerer Computer Vision Systems

    Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42285-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Železný / Habernal / Ronzhin | Speech and Computer | Buch | Sack Fachmedien

    Železný / Habernal / Ronzhin Speech and Computer

    15th International Conference, SPECOM 2013, September 1-5, 2013, Pilsen, Czech Republic, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-01930-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Pasareanu / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Kroening / Pasareanu / 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
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase / Johansson / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kohlhase / Johansson / Miller Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42546-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakhshi / Ballarini / Barbot | Computer Performance Engineering | Buch | Sack Fachmedien

    Bakhshi / Ballarini / Barbot Computer Performance Engineering

    15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02226-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Potapova | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Potapova Speech and Computer

    23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87801-6
    Medium: Buch
    128,39 € (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
    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
    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
    Rabe / Farmer / Passmore | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Rabe / Farmer / Passmore Intelligent Computer Mathematics

    11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96811-7
    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
    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
    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
    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
    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
    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
    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

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