Ergebnisse filtern
Fachgebiet
Medium
  • 3609
Erscheinungsjahr
  • 61
  • 475
  • 481
  • 80
  • 42
  • 25
  • 40
  • 41
  • 58
  • 54
  • 60
  • 45
  • 49
  • 46
  • 55
  • 54
  • 127
  • 87
  • 130
  • 151
  • 158
  • 123
  • 192
  • 176
  • 154
  • 133
  • 93
  • 73
  • 56
  • 48
  • 56
  • 35
  • 34
  • 20
  • 13
  • 23
  • 15
  • 19
  • 4
  • 8
  • 4
  • 7
  • 1
  • 2
  • 1
Autoren
  • 3
  • 2
  • 3
  • 5
  • 4
  • 8
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 10
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 8
  • 4
  • 4
  • 14
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 16
  • 2
  • 5
  • 3
  • 5
  • 2
  • 3
  • 5
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 11
  • 3
  • 13
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 3
  • 3
  • 3
  • 17
  • 10
  • 18
  • 2
  • 2
  • 2
  • 3
  • 15
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 10
  • 3
  • 4
  • 6
  • 6
  • 2
  • 3
  • 15
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 11
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 6
  • 5
  • 3
  • 4
  • 7
  • 5
  • 3
  • 3
  • 8
  • 5
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 8
  • 11
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 24
  • 20
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 27
  • 4
  • 3
  • 3
  • 3
  • 10
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 8
  • 6
  • 7
  • 3
  • 9
  • 5
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 30
  • 4
  • 5
  • 30
  • 5
  • 3
  • 6
  • 6
  • 3
  • 3
  • 37
  • 4
  • 4
  • 16
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 8
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 9
  • 3
  • 4
  • 4
  • 12
  • 4
  • 6
  • 15
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 38
  • 6
  • 5
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 5
  • 10
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 3
  • 9
  • 4
  • 3
  • 3
  • 11
  • 3
  • 4
  • 8
  • 8
  • 7
  • 3
  • 17
  • 3
  • 5
  • 3
  • 3
  • 21
  • 3
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 21
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 9
  • 3
  • 4
  • 5
  • 3
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 12
  • 3
  • 3
  • 3
  • 18
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 3
  • 5
  • 10
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 85
  • 4
  • 14
  • 13
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 4
  • 9
  • 6
  • 4
  • 6
  • 4
  • 18
  • 18
  • 3
  • 3
  • 3
  • 3
  • 3
  • 15
  • 3
  • 4
  • 5
  • 3
  • 4
  • 6
  • 8
  • 5
  • 6
  • 6
  • 4
  • 3
  • 18
  • 7
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 6
  • 5
  • 10
  • 3
  • 10
  • 7
  • 7
  • 5
  • 10
  • 3
  • 4
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 16
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 10
  • 6
  • 5
  • 3
  • 33
  • 3
  • 9
  • 5
  • 3
  • 8
  • 8
  • 4
  • 4
  • 3
  • 8
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 7
  • 6
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 16
  • 4
  • 3
  • 3
  • 3
  • 3
  • 13
  • 3
  • 7
  • 6
  • 4
  • 3
  • 3
  • 3
  • 11
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 7
  • 7
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 5
  • 8
  • 13
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 86
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 3
  • 86
  • 4
  • 3
  • 3
  • 4
  • 3
  • 21
  • 3
  • 10
  • 86
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 8
  • 5
  • 3
  • 9
  • 3
  • 3
  • 86
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 5
  • 5
  • 3
  • 6
  • 5
  • 14
  • 4
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 7
  • 4
  • 3
  • 14
  • 3
  • 18
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 5
  • 12
  • 3
  • 7
  • 3
  • 10
  • 10
  • 10
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 3
  • 3
  • 3
  • 17
  • 4
  • 5
  • 21
  • 10
  • 8
  • 6
  • 15
  • 6
  • 4
  • 9
  • 6
  • 10
  • 4
  • 7
  • 14
  • 4
  • 5
  • 9
  • 86
  • 5
  • 8
  • 4
  • 6
  • 3
  • 9
  • 3
  • 3
  • 5
  • 6
  • 5
  • 4
  • 5
  • 3
  • 3
  • 5
  • 6
  • 4
  • 18
  • 5
  • 8
  • 4
  • 21
  • 5
  • 10
  • 3
  • 4
  • 3
  • 3
  • 18
  • 4
  • 42
  • 4
  • 25
  • 4
  • 4
  • 13
  • 36
  • 15
  • 4
  • 4
  • 3
  • 18
  • 7
  • 18
  • 14
  • 6
  • 4
  • 4
  • 11
  • 3
  • 3
  • 4
Verlag
  • 1
  • 3584
  • 1
  • 2
  • 1
  • 20
Preis
  • 1
  • 65
  • 2855
  • 688
Sprachen
  • 3609
  • 1
Verfügbarkeit
  • 3603
  • 6
Katalog
  • 3609
  • 335
3.609  Treffer  für „Lecture Notes in Computer Science“
    Katsikas / Pohle / Cuppens | Computer Security | Buch | Sack Fachmedien

    Katsikas / Pohle / Cuppens Computer Security

    ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-42047-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katsikas / Cuppens / Lambrinoudakis | Computer Security | Buch | Sack Fachmedien

    Katsikas / Cuppens / Lambrinoudakis Computer Security

    ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-12785-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lopez / Zhou / Soriano | Computer Security | Buch | Sack Fachmedien

    Lopez / Zhou / Soriano Computer Security

    23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99072-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boureanu / Pallas / Dragan | Computer Security | Buch | Sack Fachmedien

    Boureanu / Pallas / Dragan Computer Security

    ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 17-18, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-66503-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katsikas / Furnell / Cuppens | Computer Security | Buch | Sack Fachmedien

    Katsikas / Furnell / Cuppens Computer Security

    ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64329-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Akiyama | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Cheng / Akiyama 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
    ISBN: 978-3-031-15254-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Inomata / Yasuda | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Inomata / Yasuda Advances in Information and Computer Security

    13th International Workshop on Security, IWSEC 2018, Sendai, Japan, September 3-5, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-97915-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanaoka / Yamauchi | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Hanaoka / Yamauchi Advances in Information and Computer Security

    7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34116-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Johnson | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Hunt / Johnson Formal Methods in Computer-Aided Design

    Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41219-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aagaard / O'Leary | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

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

    4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00116-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aoki / Kanaoka | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Aoki / Kanaoka Advances in Information and Computer Security

    15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2-4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58207-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iwata / Nishigaki | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Iwata / Nishigaki Advances in Information and Computer Security

    6th International Workshop on Security, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25140-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopalakrishnan / Windley | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Gopalakrishnan / Windley Formal Methods in Computer-Aided Design

    Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65191-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Obana / Chida | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Obana / Chida Advances in Information and Computer Security

    12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64199-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogawa / Yoshioka | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Ogawa / Yoshioka Advances in Information and Computer Security

    11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44523-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / Martin | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Hu / Martin Formal Methods in Computer-Aided Design

    5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23738-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srivas / Camilleri | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Srivas / Camilleri Formal Methods in Computer-Aided Design

    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61937-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Echizen / Kunihiro / Sasaki | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Echizen / Kunihiro / Sasaki Advances in Information and Computer Security

    5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16824-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuura / Fujisaki | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Matsuura / Fujisaki Advances in Information and Computer Security

    Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89597-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Choo / Ha | Computer-Human Interaction | Buch | Sack Fachmedien

    Lee / Choo / Ha Computer-Human Interaction

    8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70584-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Skou | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Skou Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55179-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / Vardi | Computer Aided Verification | Buch | Sack Fachmedien

    Hu / Vardi Computer Aided Verification

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

    Alur / Peled Computer Aided Verification

    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22342-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Autexier / Campbell / Rubio | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Autexier / Campbell / Rubio Intelligent Computer Mathematics

    9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85109-7
    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