Ergebnisse filtern
Fachgebiet
Medium
  • 2206
Erscheinungsjahr
  • 26
  • 124
  • 149
  • 138
  • 107
  • 40
  • 21
  • 22
  • 30
  • 36
  • 24
  • 31
  • 47
  • 41
  • 48
  • 41
  • 28
  • 74
  • 58
  • 73
  • 82
  • 72
  • 73
  • 116
  • 105
  • 95
  • 77
  • 56
  • 51
  • 38
  • 29
  • 34
  • 33
  • 27
  • 32
  • 19
  • 33
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 11
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 8
  • 6
  • 2
  • 2
  • 3
  • 4
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 11
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 5
  • 4
  • 2
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 12
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 17
  • 25
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 23
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 7
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 7
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 8
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 9
  • 2
  • 12
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 6
  • 2
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 10
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 8
  • 2
  • 3
  • 2
  • 10
  • 23
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 7
  • 6
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 6
  • 4
  • 18
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 4
  • 22
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 2
  • 3
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 10
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 11
  • 6
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 13
  • 16
  • 3
  • 9
  • 3
  • 3
  • 6
  • 6
  • 3
  • 34
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 3
  • 4
  • 5
  • 6
  • 11
  • 21
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 11
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 11
  • 8
  • 6
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 7
  • 5
  • 4
  • 6
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 16
  • 10
  • 3
  • 3
  • 4
  • 4
Verlag
  • 1
  • 2190
  • 1
  • 7
  • 2
  • 5
Preis
  • 4
  • 106
  • 1756
  • 340
Sprachen
  • 2206
Verfügbarkeit
  • 2162
  • 44
Eigenschaften
  • 2
Katalog
  • 2206
  • 133
2.206  Treffer  für „Lecture Notes in Computer Science“
    Raschke / Riccobene / Schewe | Rigorous Methods in Theory and Practice | Buch | Sack Fachmedien

    Raschke / Riccobene / Schewe Rigorous Methods in Theory and Practice

    Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-24493-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Althoff / Feldmann / Müller | Advances in Learning Software Organizations | Buch | Sack Fachmedien

    Althoff / Feldmann / Müller Advances in Learning Software Organizations

    Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42574-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agrawal / Seth | FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Agrawal / Seth FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

    22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00225-3
    Medium: Buch
    53,49 € (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
    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
    Mundy / Zisserman / Forsyth | Applications of Invariance in Computer Vision | Buch | Sack Fachmedien

    Mundy / Zisserman / Forsyth Applications of Invariance in Computer Vision

    Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58240-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frakes | Software Reuse: Advances in Software Reusability | Buch | Sack Fachmedien

    Frakes Software Reuse: Advances in Software Reusability

    6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67696-6
    Medium: Buch
    53,49 € (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
    Piskac / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98684-0
    Medium: Buch
    42,79 € (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
    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
    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
    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
    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
    Enea / Lal | Computer Aided Verification | Buch | Sack Fachmedien

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37705-1
    Medium: Buch
    42,79 € (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 II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13187-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bochmann / Probst | Computer Aided Verification | Buch | Sack Fachmedien

    Bochmann / Probst Computer Aided Verification

    Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56496-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blumenthal / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Blumenthal / Gornostaev / Unger Human-Computer Interaction

    4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58648-7
    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
    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
    Crowley / Piater / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Crowley / Piater / Vincze Computer Vision Systems

    Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00921-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruel / Bellahsene | Advances in Object-Oriented Information Systems | Buch | Sack Fachmedien

    Bruel / Bellahsene Advances in Object-Oriented Information Systems

    OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44088-8
    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

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