Ergebnisse filtern
Fachgebiet
Medium
  • 11272
  • 2638
Erscheinungsjahr
  • 6
  • 861
  • 1014
  • 1059
  • 800
  • 640
  • 421
  • 429
  • 428
  • 448
  • 405
  • 428
  • 436
  • 444
  • 431
  • 410
  • 398
  • 384
  • 257
  • 217
  • 274
  • 286
  • 234
  • 439
  • 523
  • 257
  • 256
  • 178
  • 178
  • 155
  • 140
  • 135
  • 120
  • 110
  • 95
  • 75
  • 88
  • 59
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 7
  • 9
  • 16
  • 30
  • 14
  • 9
  • 13
  • 6
  • 21
  • 6
  • 22
  • 6
  • 7
  • 7
  • 11
  • 8
  • 6
  • 15
  • 6
  • 42
  • 44
  • 62
  • 7
  • 6
  • 9
  • 17
  • 23
  • 16
  • 7
  • 7
  • 6
  • 50
  • 16
  • 7
  • 9
  • 7
  • 14
  • 6
  • 19
  • 10
  • 9
  • 30
  • 11
  • 12
  • 10
  • 11
  • 6
  • 6
  • 13
  • 9
  • 7
  • 24
  • 7
  • 19
  • 10
  • 14
  • 9
  • 7
  • 7
  • 32
  • 11
  • 13
  • 7
  • 6
  • 48
  • 9
  • 7
  • 26
  • 21
  • 7
  • 14
  • 12
  • 9
  • 9
  • 13
  • 6
  • 9
  • 6
  • 6
  • 21
  • 14
  • 8
  • 14
  • 10
  • 8
  • 20
  • 6
  • 6
  • 6
  • 7
  • 10
  • 50
  • 24
  • 6
  • 7
  • 9
  • 6
  • 7
  • 7
  • 21
  • 8
  • 8
  • 18
  • 7
  • 9
  • 16
  • 10
  • 6
  • 12
  • 31
  • 7
  • 18
  • 13
  • 16
  • 6
  • 12
  • 7
  • 6
  • 8
  • 14
  • 8
  • 7
  • 8
  • 41
  • 6
  • 18
  • 52
  • 7
  • 13
  • 11
  • 23
  • 24
  • 19
  • 57
  • 10
  • 54
  • 13
  • 17
  • 15
  • 6
  • 8
  • 7
  • 10
  • 13
  • 6
  • 12
  • 14
  • 7
  • 16
  • 6
  • 6
  • 50
  • 6
  • 15
  • 9
  • 19
  • 8
  • 7
  • 12
  • 14
  • 15
  • 7
  • 10
  • 8
  • 6
  • 7
  • 22
  • 8
  • 8
  • 19
  • 11
  • 9
  • 6
  • 7
  • 8
  • 7
  • 29
  • 31
  • 17
  • 32
  • 10
  • 7
  • 8
  • 9
  • 10
  • 7
  • 8
  • 6
  • 8
  • 24
  • 14
  • 31
  • 6
  • 9
  • 9
  • 6
  • 8
  • 10
  • 12
  • 8
  • 6
  • 6
  • 7
  • 8
  • 10
  • 10
  • 17
  • 10
  • 6
  • 12
  • 13
  • 6
  • 51
  • 45
  • 10
  • 45
  • 15
  • 18
  • 7
  • 8
  • 44
  • 17
  • 6
  • 7
  • 8
  • 11
  • 6
  • 6
  • 20
  • 6
  • 6
  • 6
  • 15
  • 7
  • 11
  • 6
  • 12
  • 34
  • 21
  • 54
  • 78
  • 13
  • 7
  • 19
  • 8
  • 13
  • 6
  • 14
  • 17
  • 22
  • 6
  • 11
  • 12
  • 7
  • 9
  • 7
  • 7
  • 8
  • 7
  • 8
  • 7
  • 8
  • 8
  • 27
  • 23
  • 13
  • 6
  • 12
  • 6
  • 17
  • 13
  • 6
  • 11
  • 14
  • 7
  • 23
  • 88
  • 48
  • 11
  • 30
  • 8
  • 24
  • 35
  • 138
  • 15
  • 8
  • 6
  • 10
  • 20
  • 6
  • 16
  • 11
  • 7
  • 6
  • 25
  • 18
  • 6
  • 9
  • 8
  • 15
  • 9
  • 7
  • 7
  • 21
  • 6
  • 9
  • 7
  • 7
  • 6
  • 7
  • 6
  • 20
  • 6
  • 60
  • 6
  • 15
  • 10
  • 7
  • 6
  • 11
  • 22
  • 9
  • 13
  • 8
  • 29
  • 50
  • 8
  • 6
  • 7
  • 7
  • 21
  • 7
  • 16
  • 7
  • 11
  • 7
  • 10
  • 20
  • 7
  • 6
  • 21
  • 20
  • 11
  • 7
  • 6
  • 6
  • 11
  • 118
  • 10
  • 6
  • 10
  • 7
  • 17
  • 9
  • 7
  • 7
  • 11
  • 6
  • 6
  • 10
  • 20
  • 6
  • 17
  • 7
  • 12
  • 25
  • 9
  • 6
  • 17
  • 13
  • 6
  • 10
  • 7
  • 13
  • 25
  • 19
  • 11
  • 12
  • 15
  • 8
  • 9
  • 18
  • 6
  • 9
  • 11
  • 7
  • 15
  • 6
  • 7
  • 6
  • 10
  • 8
  • 12
  • 7
  • 10
  • 18
  • 6
  • 6
  • 20
  • 6
  • 11
  • 7
  • 16
  • 9
  • 51
  • 6
  • 13
  • 10
  • 6
  • 29
  • 8
  • 7
  • 22
  • 50
  • 7
  • 9
  • 8
  • 17
  • 20
  • 7
  • 14
  • 46
  • 6
  • 7
  • 6
  • 9
  • 8
  • 6
  • 9
  • 22
  • 7
  • 10
  • 14
  • 6
  • 22
  • 48
  • 26
  • 10
  • 8
  • 15
  • 9
  • 9
  • 6
  • 22
  • 8
  • 29
  • 7
  • 78
  • 6
  • 14
  • 37
  • 65
  • 6
  • 7
  • 15
  • 6
  • 8
  • 6
  • 8
  • 6
  • 10
  • 11
  • 6
  • 13
  • 6
  • 11
  • 8
  • 8
  • 8
  • 9
  • 7
  • 8
  • 6
  • 19
  • 7
  • 114
  • 16
  • 6
  • 8
  • 52
  • 9
  • 7
  • 7
  • 6
  • 15
  • 7
  • 11
  • 7
  • 7
  • 12
  • 16
  • 15
  • 16
  • 8
  • 6
  • 15
  • 11
  • 10
  • 25
  • 23
  • 9
  • 35
  • 9
  • 6
  • 12
  • 8
  • 99
  • 8
  • 31
  • 9
  • 7
  • 6
  • 17
  • 33
  • 6
  • 10
  • 8
  • 6
  • 7
  • 10
  • 38
  • 11
  • 12
  • 7
  • 33
  • 7
  • 6
  • 6
  • 7
  • 7
  • 19
  • 14
  • 6
  • 7
  • 18
  • 20
  • 18
  • 19
  • 20
  • 18
  • 6
  • 78
  • 13
  • 6
  • 13
  • 9
  • 9
  • 37
  • 12
  • 12
  • 10
  • 6
  • 44
  • 41
  • 7
  • 10
  • 10
  • 13
  • 10
  • 25
  • 6
  • 10
  • 6
  • 7
  • 9
  • 8
  • 6
  • 19
  • 8
  • 6
  • 6
  • 12
  • 7
  • 28
  • 11
  • 7
  • 10
  • 11
  • 14
  • 10
  • 10
  • 18
  • 7
  • 7
  • 55
  • 8
  • 6
  • 17
  • 10
  • 6
  • 6
  • 6
  • 9
  • 10
  • 7
  • 9
  • 7
  • 9
  • 26
  • 10
  • 7
  • 6
  • 13
  • 14
  • 6
  • 9
  • 6
  • 10
  • 10
  • 6
  • 129
  • 6
  • 11
  • 10
  • 16
  • 18
  • 14
  • 13
  • 7
  • 12
  • 7
  • 14
  • 7
  • 58
  • 13
  • 23
  • 12
  • 6
  • 12
  • 8
  • 6
  • 8
  • 20
  • 6
  • 25
  • 31
  • 15
  • 6
  • 6
  • 6
  • 9
  • 10
  • 12
  • 7
  • 7
  • 7
  • 11
  • 6
  • 6
  • 7
  • 6
  • 6
  • 14
  • 8
  • 6
  • 7
  • 13
  • 56
  • 11
  • 6
  • 26
  • 9
  • 9
  • 49
  • 18
  • 13
  • 7
  • 11
  • 7
  • 18
  • 20
  • 6
  • 17
  • 22
  • 20
  • 9
  • 14
  • 7
  • 12
  • 31
  • 13
  • 7
  • 9
  • 15
  • 13
  • 8
  • 7
  • 6
  • 23
  • 7
  • 12
  • 9
  • 19
  • 13
  • 8
  • 11
  • 14
  • 8
  • 14
  • 6
  • 9
  • 19
  • 9
  • 31
  • 9
  • 9
  • 8
  • 10
  • 6
  • 6
  • 48
  • 12
  • 15
  • 10
  • 6
  • 8
  • 7
  • 25
  • 11
  • 11
  • 6
  • 6
  • 9
  • 11
  • 7
  • 38
  • 6
  • 9
  • 16
  • 8
  • 8
  • 43
  • 7
  • 8
  • 8
  • 12
  • 11
  • 7
  • 114
  • 7
  • 6
  • 10
  • 7
  • 45
  • 20
  • 7
  • 6
  • 8
  • 78
  • 23
  • 14
  • 9
  • 6
  • 10
  • 15
  • 16
  • 26
  • 22
  • 10
  • 10
  • 117
  • 6
  • 53
  • 13
  • 12
  • 16
  • 8
  • 113
  • 22
  • 7
  • 8
  • 21
  • 13
  • 6
  • 13
  • 8
  • 13
  • 19
  • 20
  • 7
  • 7
  • 13
  • 8
  • 14
  • 10
  • 7
  • 114
  • 6
  • 8
  • 22
  • 6
  • 7
  • 8
  • 8
  • 82
  • 15
  • 23
  • 22
  • 7
  • 13
  • 11
  • 11
  • 12
  • 6
  • 16
  • 11
  • 10
  • 27
  • 22
  • 11
  • 12
  • 8
  • 8
  • 12
  • 7
  • 11
  • 8
  • 19
  • 9
  • 6
  • 37
  • 6
  • 9
  • 8
  • 10
  • 12
  • 6
  • 7
  • 17
  • 11
  • 7
  • 10
  • 11
  • 21
  • 10
  • 16
  • 26
  • 32
  • 14
  • 8
  • 25
  • 14
  • 7
  • 16
  • 12
  • 37
  • 15
  • 9
  • 7
  • 19
  • 11
  • 56
  • 9
  • 68
  • 13
  • 7
  • 13
  • 8
  • 15
  • 14
  • 8
  • 8
  • 28
  • 9
  • 22
  • 8
  • 18
  • 23
  • 24
  • 9
  • 11
  • 28
  • 19
  • 37
  • 86
  • 10
  • 26
  • 26
  • 11
  • 13
  • 10
  • 12
  • 27
  • 7
  • 21
  • 20
  • 12
  • 7
  • 8
  • 21
  • 11
  • 87
  • 82
  • 31
  • 16
  • 8
  • 10
  • 19
  • 19
  • 16
  • 8
  • 8
  • 13
  • 25
  • 15
  • 7
  • 18
  • 19
  • 7
  • 8
  • 12
  • 14
  • 113
  • 15
  • 24
  • 10
  • 21
  • 7
  • 9
  • 7
  • 17
  • 11
  • 11
  • 10
  • 45
  • 7
  • 13
  • 11
  • 9
  • 14
  • 18
  • 28
  • 13
  • 18
  • 46
  • 14
  • 7
  • 21
  • 18
  • 12
  • 12
  • 12
  • 13
  • 7
  • 7
  • 29
  • 18
  • 10
  • 7
  • 9
  • 12
  • 7
  • 12
  • 15
  • 16
  • 8
  • 25
  • 13
  • 16
  • 8
  • 8
  • 19
  • 34
  • 13
  • 15
  • 20
  • 27
  • 7
  • 13
  • 15
  • 12
  • 11
  • 25
  • 11
  • 8
  • 58
  • 7
  • 7
  • 7
  • 31
  • 62
  • 51
  • 87
  • 52
  • 7
  • 16
  • 9
  • 7
  • 22
  • 44
  • 32
  • 25
  • 27
  • 10
  • 7
  • 8
  • 12
  • 12
  • 7
  • 20
Verlag
  • 6
  • 12018
  • 23
  • 1658
  • 1
  • 6
  • 9
  • 4
  • 140
  • 1
  • 1
  • 5
  • 38
Preis
  • 47
  • 507
  • 10833
  • 2523
Sprachen
  • 13902
  • 19
  • 15
Verfügbarkeit
  • 13588
  • 322
Eigenschaften
  • 50
Katalog
  • 13910
  • 599
13.910  Treffer  für „Lecture Notes in Computer Science“
    Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masoodian / Jones / Rogers | Computer Human Interaction | Buch | Sack Fachmedien

    Masoodian / Jones / Rogers Computer Human Interaction

    6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22312-2
    Medium: Buch
    106,99 € (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
    Ž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
    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
    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
    Ball / Jones | Computer Aided Verification | Buch | Sack Fachmedien

    Ball / Jones Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Beltrán / Knottenbelt / Bradley | Computer Performance Engineering | eBook | Sack Fachmedien
    E-Book

    Beltrán / Knottenbelt / Bradley Computer Performance Engineering

    12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23267-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    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
    Chin / Ip / Naiman | Image Analysis Applications and Computer Graphics | Buch | Sack Fachmedien

    Chin / Ip / Naiman Image Analysis Applications and Computer Graphics

    Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60697-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lämmel / Saraiva / Visser | Generative and Transformational Techniques in Software Engineering | Buch | Sack Fachmedien

    Lämmel / Saraiva / Visser Generative and Transformational Techniques in Software Engineering

    International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45778-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hannebauer | Autonomous Dynamic Reconfiguration in Multi-Agent Systems | Buch | Sack Fachmedien

    Hannebauer Autonomous Dynamic Reconfiguration in Multi-Agent Systems

    Improving the Quality and Efficiency of Collaborative Problem Solving
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44312-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gollmann / Karjoth / Waidner | Computer Security -- ESORICS 2002 | Buch | Sack Fachmedien

    Gollmann / Karjoth / Waidner Computer Security -- ESORICS 2002

    7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14-16, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44345-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snekkenes / Gollmann | Computer Security - ESORICS 2003 | Buch | Sack Fachmedien

    Snekkenes / Gollmann Computer Security - ESORICS 2003

    8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20300-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuppens / Deswarte / Gollmann | Computer Security - ESORICS 2000 | Buch | Sack Fachmedien

    Cuppens / Deswarte / Gollmann Computer Security - ESORICS 2000

    6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41031-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grechenig / Tscheligi | Human Computer Interaction | Buch | Sack Fachmedien

    Grechenig / Tscheligi Human Computer Interaction

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

    Norrie / Six Computer Assisted Learning

    3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52699-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Henzinger | Computer Aided Verification | Buch | Sack Fachmedien

    Alur / Henzinger Computer Aided Verification

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

    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
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Larsen | Computer Aided Verification | Buch | Sack Fachmedien

    Brinksma / Larsen Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43997-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / Koepke | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    de Paiva / Koepke Intelligent Computer Mathematics

    18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07020-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Sexton / Davenport | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Davenport Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiems / Iacono | Computer Performance Engineering | Buch | Sack Fachmedien

    Fiems / Iacono Computer Performance Engineering

    22nd European Workshop on Performance Engineering, EPEW 2026, Grimstad, Norway, June 24-26, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29104-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