Ergebnisse filtern
Fachgebiet
Medium
  • 4109
Erscheinungsjahr
  • 24
  • 242
  • 188
  • 130
  • 45
  • 23
  • 41
  • 49
  • 60
  • 47
  • 79
  • 74
  • 65
  • 69
  • 63
  • 87
  • 146
  • 137
  • 141
  • 202
  • 174
  • 138
  • 208
  • 213
  • 181
  • 180
  • 120
  • 117
  • 93
  • 104
  • 92
  • 81
  • 69
  • 67
  • 51
  • 68
  • 38
  • 40
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 10
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 8
  • 2
  • 7
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 7
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 13
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 4
  • 5
  • 3
  • 5
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 5
  • 2
  • 4
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 5
  • 5
  • 4
  • 2
  • 5
  • 4
  • 2
  • 10
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 11
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 10
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 10
  • 7
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 37
  • 26
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 16
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 6
  • 3
  • 6
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 7
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 6
  • 6
  • 22
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 3
  • 5
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 7
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 6
  • 7
  • 4
  • 10
  • 3
  • 4
  • 5
  • 7
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 14
  • 5
  • 6
  • 3
  • 6
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 5
  • 9
  • 5
  • 7
  • 3
  • 6
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 7
  • 5
  • 6
  • 7
  • 5
  • 3
  • 5
  • 6
  • 4
  • 4
  • 7
  • 7
  • 4
  • 7
  • 4
  • 4
  • 11
  • 4
  • 4
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 9
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 8
  • 3
  • 8
  • 10
  • 3
  • 9
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 11
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 4
  • 10
  • 22
  • 7
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 7
  • 5
  • 5
  • 5
  • 10
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 5
  • 5
  • 16
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 6
  • 8
  • 7
  • 6
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 6
  • 5
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 6
  • 6
  • 3
  • 6
  • 4
  • 3
  • 4
  • 7
  • 3
  • 9
  • 17
  • 3
  • 6
  • 4
  • 5
  • 3
  • 7
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 6
  • 9
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 12
  • 9
  • 4
  • 4
  • 3
  • 4
  • 32
  • 4
  • 9
  • 3
  • 11
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 4
  • 5
  • 6
  • 3
  • 5
  • 4
  • 4
  • 4
  • 4
  • 25
  • 6
  • 3
  • 6
  • 9
  • 3
  • 4
  • 4
  • 32
  • 5
  • 4
  • 4
  • 3
  • 5
  • 6
  • 18
  • 9
  • 7
  • 4
  • 3
  • 4
  • 3
  • 12
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 4
  • 4
  • 4
  • 5
  • 19
  • 4
  • 6
  • 3
  • 4
  • 9
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 3
  • 19
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
Verlag
  • 4088
  • 1
  • 20
Preis
  • 13
  • 137
  • 3196
  • 763
Sprachen
  • 4109
  • 5
Verfügbarkeit
  • 4105
  • 4
Katalog
  • 4109
  • 234
4.109  Treffer  für „Lecture Notes in Computer Science“
    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
    Kikuchi / Rannenberg | Advances in Information and Computer Security | Buch | Sack Fachmedien

    Kikuchi / Rannenberg Advances in Information and Computer Security

    Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75650-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Johansen / Olsen | Scale-Space Theories in Computer Vision | Buch | Sack Fachmedien

    Nielsen / Johansen / Olsen Scale-Space Theories in Computer Vision

    Second International Conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66498-7
    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
    Hariharan / Mukund / Vinay | FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Hariharan / Mukund / Vinay FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

    21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43002-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pandya / Radhakrishnan | FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Pandya / Radhakrishnan FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

    23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20680-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yagi / Kang / Kweon | Computer Vision - ACCV 2007 | Buch | Sack Fachmedien

    Yagi / Kang / Kweon Computer Vision - ACCV 2007

    8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76389-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lew / Sebe / Huang | Human-Computer Interaction | Buch | Sack Fachmedien

    Lew / Sebe / Huang Human-Computer Interaction

    International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75772-6
    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
    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
    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
    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
    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
    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
    Fritz / Schiele / Piater | Computer Vision Systems | Buch | Sack Fachmedien

    Fritz / Schiele / Piater Computer Vision Systems

    7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04666-7
    Medium: Buch
    53,49 € (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
    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
    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
    Bradley | Computer Performance Engineering | Buch | Sack Fachmedien

    Bradley Computer Performance Engineering

    6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02923-3
    Medium: Buch
    53,49 € (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
    Yagi / Kang / Kweon | Computer Vision -- ACCV 2007 | Buch | Sack Fachmedien

    Yagi / Kang / Kweon Computer Vision -- ACCV 2007

    8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76385-7
    Medium: Buch
    106,99 € (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
    Berry / Comon / Finkel | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Comon / Finkel Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (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

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