Ergebnisse filtern
Fachgebiet
Medium
  • 1177
  • 1172
Erscheinungsjahr
  • 13
  • 117
  • 130
  • 153
  • 158
  • 123
  • 135
  • 144
  • 148
  • 150
  • 160
  • 135
  • 148
  • 121
  • 131
  • 119
  • 119
  • 144
  • 1
Autoren
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 7
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 77
  • 3
  • 2
  • 2
  • 5
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 7
  • 19
  • 4
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 4
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 4
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 5
  • 4
  • 11
  • 3
  • 14
  • 10
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 7
  • 2
  • 3
  • 4
  • 5
  • 35
  • 15
  • 7
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 18
  • 2
  • 3
  • 9
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 6
  • 2
  • 5
  • 5
  • 8
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 7
  • 5
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 11
  • 8
  • 5
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 19
  • 2
  • 2
  • 8
  • 2
  • 3
  • 4
  • 3
  • 12
  • 3
  • 29
  • 3
  • 7
  • 3
  • 91
  • 5
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 6
  • 5
  • 5
  • 5
  • 4
  • 3
  • 8
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 9
  • 4
  • 3
  • 4
  • 6
  • 11
  • 13
  • 3
  • 8
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 15
  • 3
  • 4
  • 3
  • 8
  • 4
  • 7
  • 16
  • 6
  • 6
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 5
  • 4
  • 8
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 9
  • 3
  • 3
  • 4
  • 20
  • 3
  • 5
  • 12
  • 6
  • 4
  • 6
  • 3
  • 10
  • 3
  • 6
  • 5
  • 12
  • 15
  • 5
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 11
  • 9
  • 5
  • 7
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 7
  • 3
  • 8
  • 8
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 6
  • 3
  • 5
  • 4
  • 3
  • 11
  • 17
  • 3
  • 3
  • 5
  • 8
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 4
  • 6
  • 10
  • 4
  • 6
  • 3
  • 3
  • 10
  • 4
  • 9
  • 4
  • 4
  • 3
  • 7
  • 4
  • 4
  • 6
  • 4
  • 3
  • 5
  • 3
  • 23
  • 4
  • 7
  • 3
  • 4
  • 4
  • 3
  • 21
  • 4
  • 4
  • 6
  • 6
  • 8
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 69
  • 5
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 5
  • 7
  • 4
  • 3
  • 3
  • 12
  • 78
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 8
  • 7
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 7
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 13
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 6
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 5
  • 6
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 12
  • 8
  • 6
  • 4
  • 3
  • 5
  • 8
  • 3
  • 6
  • 3
  • 13
  • 4
  • 3
  • 3
  • 7
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 11
  • 4
  • 3
  • 3
  • 18
  • 28
  • 16
  • 6
  • 4
  • 15
  • 6
  • 4
  • 3
  • 7
  • 3
  • 22
  • 4
  • 5
  • 3
  • 10
  • 3
  • 3
  • 3
  • 14
  • 3
  • 6
  • 3
  • 5
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 10
  • 3
  • 3
  • 6
  • 3
  • 9
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 20
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 23
  • 9
  • 4
  • 4
  • 3
  • 4
  • 3
  • 11
  • 4
  • 27
  • 21
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 10
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 20
  • 3
  • 90
  • 3
  • 32
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 5
  • 5
  • 4
  • 5
  • 24
  • 19
  • 21
  • 3
  • 11
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 3
  • 12
  • 9
  • 8
  • 5
  • 5
  • 4
  • 3
  • 3
  • 5
  • 9
  • 5
  • 6
  • 7
  • 3
  • 3
  • 3
  • 17
  • 9
  • 7
  • 3
  • 5
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 8
  • 16
  • 4
  • 6
  • 3
  • 3
  • 3
  • 5
  • 11
  • 3
  • 5
  • 5
  • 3
  • 3
  • 7
  • 4
  • 5
  • 13
  • 5
  • 9
  • 6
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
Verlag
  • 1156
  • 174
  • 969
  • 42
  • 8
Preis
  • 111
  • 1987
  • 251
Sprachen
  • 2349
  • 1
Verfügbarkeit
  • 2345
  • 4
Katalog
  • 2349
  • 17
2.349  Treffer  für „Theoretical Computer Science and General Issues“
    Barkaoui / Tahar / Boucheneb | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Barkaoui / Tahar / Boucheneb Verification and Evaluation of Computer and Communication Systems

    11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66175-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atig / Monsuez / Bensalem | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Atig / Monsuez / Bensalem Verification and Evaluation of Computer and Communication Systems

    12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-00358-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leino / Silva | Computer Aided Verification | Buch | Sack Fachmedien

    Leino / Silva Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-81684-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Malik | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Gupta / Malik Computer Aided Verification

    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-70545-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Etessami / Rajamani | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Etessami / Rajamani Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31686-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Steffen / Woeginger | Computing and Software Science | eBook | Sack Fachmedien
    E-Book

    Steffen / Woeginger Computing and Software Science

    State of the Art and Perspectives
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91908-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    32,09 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Vincze / Patten / Liu | Computer Vision Systems | Buch | Sack Fachmedien

    Vincze / Patten / Liu Computer Vision Systems

    13th International Conference, ICVS 2021, Virtual Event, September 22-24, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87155-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganty / Kaâniche | Verification and Evaluation of Computer and Communication Systems | eBook | Sack Fachmedien
    E-Book

    Ganty / Kaâniche Verification and Evaluation of Computer and Communication Systems

    13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-35092-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tzovaras / Giakoumis / Vincze | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Tzovaras / Giakoumis / Vincze Computer Vision Systems

    12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-34995-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Maler / Bouajjani | Computer Aided Verification | Buch | Sack Fachmedien

    Maler / Bouajjani Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gasteratos / Tsotsos / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Gasteratos / Tsotsos / Vincze Computer Vision Systems

    6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79546-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qadeer / Gopalakrishnan | Computer Aided Verification | Buch | Sack Fachmedien

    Qadeer / Gopalakrishnan Computer Aided Verification

    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-22109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trick / Burke | Practice and Theory of Automated Timetabling V | Buch | Sack Fachmedien

    Trick / Burke Practice and Theory of Automated Timetabling V

    5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30705-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Pasareanu / Pasareanu | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Kroening / Pasareanu / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21668-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Nalpantidis / Gasteratos / Krüger | Computer Vision Systems | Buch | Sack Fachmedien

    Nalpantidis / Gasteratos / Krüger Computer Vision Systems

    10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20903-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seshia / Parthasarathy | Computer Aided Verification | Buch | Sack Fachmedien

    Seshia / Parthasarathy Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kar / Ilavarasan / Gupta | Digital Nations - Smart Cities, Innovation, and Sustainability | Buch | Sack Fachmedien

    Kar / Ilavarasan / Gupta Digital Nations - Smart Cities, Innovation, and Sustainability

    16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68556-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vincze / Patten / Christensen | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Vincze / Patten / Christensen Computer Vision Systems

    13th International Conference, ICVS 2021, Virtual Event, September 22-24, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87156-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Chen / Vincze | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Liu / Chen / Vincze Computer Vision Systems

    11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68345-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Crowley / Draper / Thonnat | Computer Vision Systems | Buch | Sack Fachmedien

    Crowley / Draper / Thonnat Computer Vision Systems

    8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23967-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkaoui / Boucheneb / Mili | Verification and Evaluation of Computer and Communication Systems | eBook | Sack Fachmedien
    E-Book

    Barkaoui / Boucheneb / Mili Verification and Evaluation of Computer and Communication Systems

    11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66176-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Weissenbacher / Chockler | Computer Aided Verification | Buch | Sack Fachmedien

    Weissenbacher / Chockler Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-96141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritz / Piater / Schiele | Computer Vision Systems | Buch | Sack Fachmedien

    Fritz / Piater / Schiele Computer Vision Systems

    7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04666-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaâniche / Ganty | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Kaâniche / Ganty Verification and Evaluation of Computer and Communication Systems

    13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-35091-8
    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