Ergebnisse filtern
Fachgebiet
Medium
  • 3556
Erscheinungsjahr
  • 35
  • 477
  • 471
  • 79
  • 40
  • 23
  • 28
  • 39
  • 50
  • 50
  • 50
  • 50
  • 44
  • 47
  • 55
  • 50
  • 125
  • 92
  • 115
  • 163
  • 140
  • 138
  • 198
  • 177
  • 159
  • 137
  • 99
  • 73
  • 59
  • 48
  • 55
  • 37
  • 36
  • 20
  • 14
  • 22
  • 15
  • 19
  • 4
  • 8
  • 4
  • 7
  • 1
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 6
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 5
  • 3
  • 3
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 6
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 8
  • 4
  • 2
  • 5
  • 14
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 16
  • 3
  • 3
  • 5
  • 2
  • 3
  • 5
  • 8
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 4
  • 5
  • 7
  • 2
  • 2
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 6
  • 2
  • 3
  • 2
  • 12
  • 3
  • 12
  • 4
  • 2
  • 6
  • 2
  • 4
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 17
  • 8
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 15
  • 2
  • 4
  • 2
  • 2
  • 3
  • 10
  • 2
  • 3
  • 2
  • 6
  • 6
  • 4
  • 14
  • 2
  • 2
  • 10
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 11
  • 4
  • 2
  • 3
  • 13
  • 8
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 3
  • 9
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 7
  • 3
  • 3
  • 8
  • 6
  • 3
  • 3
  • 22
  • 20
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 27
  • 3
  • 3
  • 3
  • 9
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 9
  • 6
  • 7
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 30
  • 3
  • 26
  • 5
  • 3
  • 3
  • 7
  • 5
  • 38
  • 4
  • 3
  • 4
  • 13
  • 3
  • 4
  • 4
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 9
  • 6
  • 3
  • 4
  • 3
  • 12
  • 4
  • 5
  • 15
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 38
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 9
  • 4
  • 7
  • 5
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 6
  • 4
  • 3
  • 4
  • 12
  • 3
  • 4
  • 7
  • 8
  • 7
  • 3
  • 17
  • 3
  • 5
  • 3
  • 22
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 7
  • 5
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 11
  • 5
  • 13
  • 3
  • 4
  • 4
  • 13
  • 4
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 3
  • 3
  • 85
  • 4
  • 16
  • 14
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 8
  • 4
  • 3
  • 8
  • 3
  • 18
  • 3
  • 4
  • 4
  • 3
  • 15
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 6
  • 6
  • 8
  • 7
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 10
  • 10
  • 4
  • 6
  • 8
  • 5
  • 10
  • 4
  • 5
  • 5
  • 3
  • 8
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 15
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 34
  • 3
  • 10
  • 3
  • 8
  • 8
  • 3
  • 4
  • 3
  • 8
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 6
  • 3
  • 7
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 18
  • 3
  • 3
  • 5
  • 3
  • 4
  • 13
  • 3
  • 4
  • 3
  • 6
  • 3
  • 5
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 14
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 8
  • 4
  • 4
  • 3
  • 4
  • 12
  • 3
  • 4
  • 86
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 5
  • 86
  • 4
  • 3
  • 4
  • 3
  • 3
  • 22
  • 3
  • 10
  • 86
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 3
  • 9
  • 3
  • 3
  • 3
  • 86
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 7
  • 4
  • 6
  • 3
  • 6
  • 14
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 3
  • 6
  • 4
  • 3
  • 3
  • 15
  • 19
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 9
  • 3
  • 11
  • 4
  • 4
  • 4
  • 11
  • 9
  • 9
  • 4
  • 8
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 15
  • 3
  • 6
  • 6
  • 3
  • 22
  • 10
  • 8
  • 3
  • 6
  • 3
  • 15
  • 6
  • 7
  • 6
  • 10
  • 3
  • 3
  • 9
  • 14
  • 5
  • 5
  • 6
  • 10
  • 86
  • 5
  • 3
  • 5
  • 4
  • 4
  • 9
  • 3
  • 4
  • 8
  • 3
  • 5
  • 5
  • 5
  • 3
  • 6
  • 6
  • 7
  • 4
  • 6
  • 8
  • 10
  • 7
  • 10
  • 4
  • 4
  • 3
  • 7
  • 4
  • 32
  • 3
  • 27
  • 4
  • 14
  • 29
  • 16
  • 4
  • 7
  • 7
  • 18
  • 14
  • 6
  • 7
  • 3
  • 4
  • 12
  • 3
Verlag
  • 3
  • 3524
  • 1
  • 1
  • 4
  • 1
  • 22
Preis
  • 1
  • 68
  • 2796
  • 691
Sprachen
  • 3556
  • 1
Verfügbarkeit
  • 3553
  • 3
Katalog
  • 3556
  • 346
3.556  Treffer  für „Lecture Notes in Computer Science“
    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
    Minematsu / Mimura | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Minematsu / Mimura Advances in Information and Computer Security

    19th International Workshop on Security, IWSEC 2024, Kyoto, Japan, September 17-19, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-7736-5
    Medium: Buch
    62,05 € (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
    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
    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
    Shikata / Kuzuno | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Shikata / Kuzuno Advances in Information and Computer Security

    18th International Workshop on Security, IWSEC 2023, Yokohama, Japan, August 29-31, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41325-4
    Medium: Buch
    69,54 € (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
    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
    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
    Takagi / Mambo | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Takagi / Mambo Advances in Information and Computer Security

    4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-04845-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cid / Yanai | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Cid / Yanai Advances in Information and Computer Security

    20th International Workshop on Security, IWSEC 2025, Fukuoka, Japan, November 25-27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954673-2
    Medium: Buch
    70,61 € (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 I
    2024
    Verlag: Springer
    ISBN: 978-3-031-60691-5
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bass / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Bass / Gornostaev / Unger Human-Computer Interaction

    Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57433-0
    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
    ISBN: 978-3-031-60694-6
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fang | HCI in Games | Buch | Sack Fachmedien

    Fang HCI in Games

    7th International Conference, HCI-Games 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92577-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damm / Hermanns | Computer Aided Verification | Buch | Sack Fachmedien

    Damm / Hermanns Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73367-6
    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
    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
    Rak / Bay / Kotenko | Computer Network Security | Buch | Sack Fachmedien

    Rak / Bay / Kotenko 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
    ISBN: 978-3-319-65126-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Delic / Delic | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Delic / Delic Speech and Computer

    26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part II
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78013-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume 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
    ISBN: 978-3-031-60404-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilly / Thomas | Computer Performance Engineering | Buch | Sack Fachmedien

    Gilly / Thomas Computer Performance Engineering

    18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25048-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    Hunt / Hunt, Jr. / Somenzi Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60045-9
    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