Ergebnisse filtern
Fachgebiet
Medium
  • 8358
  • 274
Erscheinungsjahr
  • 300
  • 638
  • 506
  • 312
  • 314
  • 319
  • 303
  • 291
  • 311
  • 344
  • 311
  • 305
  • 228
  • 145
  • 111
  • 248
  • 244
  • 238
  • 147
  • 215
  • 325
  • 286
  • 246
  • 246
  • 177
  • 170
  • 150
  • 145
  • 133
  • 116
  • 115
  • 94
  • 74
  • 83
  • 56
  • 58
  • 45
  • 48
  • 33
  • 27
  • 19
  • 16
  • 16
  • 29
  • 19
  • 11
  • 8
  • 13
  • 10
  • 16
  • 13
  • 5
Autoren
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 6
  • 11
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 14
  • 3
  • 20
  • 4
  • 3
  • 39
  • 3
  • 7
  • 4
  • 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
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 9
  • 6
  • 3
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 5
  • 6
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 13
  • 5
  • 4
  • 4
  • 3
  • 7
  • 3
  • 5
  • 9
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 24
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 12
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 14
  • 11
  • 7
  • 5
  • 8
  • 4
  • 5
  • 7
  • 11
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 11
  • 4
  • 4
  • 7
  • 9
  • 4
  • 4
  • 10
  • 5
  • 7
  • 7
  • 4
  • 4
  • 6
  • 4
  • 5
  • 7
  • 4
  • 39
  • 13
  • 9
  • 5
  • 4
  • 10
  • 4
  • 9
  • 5
  • 4
  • 8
  • 5
  • 8
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 10
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 8
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 4
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 14
  • 11
  • 5
  • 9
  • 8
  • 4
  • 6
  • 20
  • 4
  • 11
  • 11
  • 4
  • 4
  • 8
  • 7
  • 4
  • 4
  • 16
  • 4
  • 8
  • 4
  • 39
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 11
  • 8
  • 9
  • 6
  • 4
  • 4
  • 8
  • 4
  • 6
  • 10
  • 6
  • 5
  • 4
  • 6
  • 6
  • 4
  • 9
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 8
  • 14
  • 4
  • 11
  • 4
  • 4
  • 4
  • 9
  • 7
  • 8
  • 5
  • 7
  • 13
  • 5
  • 4
  • 5
  • 4
  • 5
  • 5
  • 4
  • 5
  • 8
  • 5
  • 5
  • 6
  • 6
  • 4
  • 9
  • 7
  • 4
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 8
  • 7
  • 5
  • 38
  • 32
  • 7
  • 8
  • 4
  • 7
  • 11
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 4
  • 20
  • 6
  • 5
  • 6
  • 4
  • 8
  • 43
  • 7
  • 4
  • 4
  • 4
  • 5
  • 9
  • 11
  • 9
  • 6
  • 5
  • 6
  • 8
  • 4
  • 10
  • 10
  • 6
  • 5
  • 7
  • 6
  • 4
  • 5
  • 8
  • 4
  • 5
  • 6
  • 4
  • 11
  • 33
  • 17
  • 5
  • 5
  • 20
  • 25
  • 71
  • 5
  • 9
  • 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
  • 17
  • 4
  • 6
  • 5
  • 4
  • 23
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 12
  • 5
  • 7
  • 4
  • 12
  • 4
  • 5
  • 4
  • 4
  • 15
  • 5
  • 7
  • 6
  • 5
  • 5
  • 4
  • 6
  • 14
  • 13
  • 9
  • 13
  • 4
  • 7
  • 13
  • 8
  • 12
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 4
  • 5
  • 5
  • 10
  • 7
  • 4
  • 5
  • 8
  • 4
  • 9
  • 12
  • 23
  • 4
  • 5
  • 4
  • 7
  • 4
  • 7
  • 5
  • 9
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 4
  • 10
  • 5
  • 7
  • 8
  • 20
  • 5
  • 18
  • 6
  • 4
  • 15
  • 6
  • 4
  • 8
  • 9
  • 6
  • 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
  • 4
  • 8
  • 4
  • 10
  • 9
  • 10
  • 4
  • 4
  • 4
  • 9
  • 9
  • 6
  • 4
  • 6
  • 12
  • 4
  • 10
  • 21
  • 4
  • 4
  • 9
  • 6
  • 6
  • 5
  • 4
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 7
  • 4
  • 5
  • 5
  • 10
  • 4
  • 4
  • 17
  • 5
  • 4
  • 34
  • 15
  • 4
  • 5
  • 4
  • 6
  • 13
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 14
  • 4
  • 4
  • 4
  • 11
  • 18
  • 5
  • 12
  • 4
  • 8
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 6
  • 38
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 5
  • 9
  • 5
  • 5
  • 5
  • 4
  • 5
  • 5
  • 8
  • 63
  • 6
  • 5
  • 7
  • 8
  • 9
  • 6
  • 5
  • 9
  • 35
  • 5
  • 8
  • 5
  • 6
  • 4
  • 5
  • 11
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 5
  • 10
  • 4
  • 5
  • 6
  • 4
  • 10
  • 4
  • 5
  • 14
  • 9
  • 8
  • 5
  • 13
  • 4
  • 7
  • 13
  • 7
  • 4
  • 6
  • 4
  • 4
  • 18
  • 4
  • 12
  • 5
  • 7
  • 7
  • 4
  • 16
  • 5
  • 8
  • 16
  • 8
  • 6
  • 4
  • 9
  • 13
  • 8
  • 4
  • 4
  • 13
  • 4
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 10
  • 9
  • 4
  • 5
  • 5
  • 12
  • 6
  • 4
  • 4
  • 4
  • 10
  • 20
  • 9
  • 5
  • 4
  • 4
  • 8
  • 12
  • 6
  • 6
  • 6
  • 5
  • 8
  • 26
  • 5
  • 7
  • 6
  • 7
  • 4
  • 15
  • 10
  • 9
  • 4
  • 8
  • 5
  • 18
  • 5
  • 4
  • 6
  • 49
  • 4
  • 10
  • 6
  • 4
  • 11
  • 5
  • 4
  • 4
  • 12
  • 6
  • 8
  • 7
  • 5
  • 9
  • 13
  • 16
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 4
  • 6
  • 8
  • 5
  • 11
  • 4
  • 4
  • 13
  • 7
  • 7
  • 4
  • 6
  • 8
  • 4
  • 7
  • 7
  • 11
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 9
  • 6
  • 4
  • 4
  • 16
  • 7
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 5
  • 8
  • 8
  • 11
  • 7
  • 10
  • 20
  • 6
  • 33
  • 9
  • 4
  • 4
  • 7
  • 5
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 7
  • 10
  • 15
  • 12
  • 9
  • 16
  • 8
  • 11
  • 16
  • 52
  • 14
  • 18
  • 9
  • 6
  • 21
  • 4
  • 5
  • 5
  • 45
  • 9
  • 16
  • 9
  • 4
  • 4
  • 10
  • 13
  • 4
  • 5
  • 11
  • 7
  • 4
  • 4
  • 7
  • 6
  • 7
  • 5
  • 4
  • 5
  • 4
  • 10
  • 8
  • 5
  • 4
  • 5
  • 9
  • 5
  • 11
  • 7
  • 25
  • 4
  • 4
  • 14
  • 13
  • 11
  • 6
  • 6
  • 9
  • 18
  • 6
  • 4
  • 9
  • 16
  • 9
  • 8
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 9
  • 20
  • 6
  • 14
  • 4
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 4
  • 4
  • 16
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 6
  • 33
  • 8
  • 5
  • 4
  • 19
  • 4
  • 16
  • 4
  • 45
  • 7
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 9
  • 20
  • 17
  • 8
  • 9
  • 5
  • 4
  • 12
Verlag
  • 1289
  • 3482
  • 2768
  • 1
  • 1
  • 97
  • 891
  • 103
Preis
  • 45
  • 356
  • 6751
  • 1480
Sprachen
  • 8624
  • 19
  • 16
Verfügbarkeit
  • 8597
  • 35
Katalog
  • 8632
  • 496
8.632  Treffer  für „Lecture Notes in Computer Science“
    Akiyama / Cheng | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Akiyama / Cheng Advances in Information and Computer Security

    17th International Workshop on Security, IWSEC 2022, Tokyo, Japan, August 31 ¿ September 2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-15254-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Leary / Aagaard | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    O'Leary / Aagaard Formal Methods in Computer-Aided Design

    4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00116-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephanidis / Antona | Universal Access in Human-Computer Interaction | Buch | Sack Fachmedien

    Stephanidis / Antona Universal Access in Human-Computer Interaction

    18th International Conference, UAHCI 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-60880-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Aydogan / Aydogan / Baarslag | Conflict Resolution in Decision Making | Buch | Sack Fachmedien

    Aydogan / Aydogan / Baarslag Conflict Resolution in Decision Making

    Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57284-0
    Medium: Buch
    53,49 € (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
    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
    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
    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
    Puigjaner / Serra / Savino | Computer Performance Evaluation | Buch | Sack Fachmedien

    Puigjaner / Serra / Savino Computer Performance Evaluation

    Modelling Techniques and Tools
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64949-6
    Medium: Buch
    53,49 € (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

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