Ergebnisse filtern
Fachgebiet
Medium
  • 1182
  • 1127
Erscheinungsjahr
  • 12
  • 111
  • 128
  • 122
  • 139
  • 130
  • 137
  • 146
  • 140
  • 143
  • 166
  • 131
  • 146
  • 119
  • 118
  • 150
  • 133
  • 137
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 5
  • 2
  • 2
  • 5
  • 3
  • 6
  • 3
  • 11
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 61
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 15
  • 2
  • 3
  • 2
  • 2
  • 17
  • 4
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 7
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 8
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 9
  • 4
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 8
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 5
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 14
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 8
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 8
  • 2
  • 4
  • 39
  • 15
  • 9
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 26
  • 3
  • 3
  • 13
  • 2
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 8
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 7
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 5
  • 4
  • 4
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 15
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 9
  • 3
  • 28
  • 2
  • 6
  • 2
  • 81
  • 6
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 7
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 11
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 4
  • 11
  • 10
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 4
  • 4
  • 3
  • 6
  • 5
  • 7
  • 14
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 6
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 20
  • 3
  • 3
  • 3
  • 11
  • 8
  • 3
  • 6
  • 4
  • 3
  • 6
  • 5
  • 4
  • 11
  • 17
  • 5
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 14
  • 12
  • 5
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 7
  • 3
  • 18
  • 3
  • 6
  • 11
  • 6
  • 6
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 11
  • 5
  • 8
  • 8
  • 6
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 24
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 20
  • 5
  • 10
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 50
  • 3
  • 3
  • 3
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 5
  • 15
  • 65
  • 4
  • 3
  • 3
  • 5
  • 4
  • 10
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 5
  • 3
  • 5
  • 6
  • 9
  • 10
  • 5
  • 4
  • 3
  • 6
  • 11
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 10
  • 4
  • 3
  • 7
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 12
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 13
  • 8
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 13
  • 5
  • 7
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 8
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 14
  • 20
  • 12
  • 5
  • 3
  • 4
  • 11
  • 7
  • 4
  • 5
  • 7
  • 3
  • 32
  • 3
  • 5
  • 3
  • 10
  • 3
  • 3
  • 5
  • 3
  • 3
  • 18
  • 6
  • 4
  • 3
  • 3
  • 6
  • 4
  • 7
  • 4
  • 3
  • 3
  • 11
  • 3
  • 5
  • 5
  • 11
  • 6
  • 4
  • 3
  • 3
  • 4
  • 11
  • 24
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 5
  • 25
  • 13
  • 7
  • 3
  • 3
  • 3
  • 10
  • 4
  • 19
  • 25
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 13
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 23
  • 4
  • 3
  • 76
  • 4
  • 22
  • 9
  • 5
  • 5
  • 7
  • 3
  • 6
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 15
  • 17
  • 16
  • 4
  • 3
  • 4
  • 9
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 7
  • 9
  • 4
  • 3
  • 3
  • 3
  • 5
  • 13
  • 11
  • 7
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 14
  • 6
  • 5
  • 6
  • 3
  • 4
  • 18
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 9
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 16
  • 6
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 5
  • 6
  • 5
  • 9
  • 3
  • 9
  • 6
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 3
  • 7
  • 5
  • 6
  • 3
  • 6
  • 3
  • 5
  • 4
Verlag
  • 1847
  • 450
  • 1
  • 1
  • 10
Preis
  • 101
  • 1940
  • 268
Sprachen
  • 2309
Verfügbarkeit
  • 2304
  • 5
Katalog
  • 2309
  • 20
2.309  Treffer  für „Theoretical Computer Science and General Issues“
    Zhang / Li / Du | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Zhang / Li / Du Algorithmic Aspects in Information and Management

    14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57601-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levi / Savas / Yenigün | Computer and Information Sciences - ISCIS 2006 | eBook | Sack Fachmedien
    E-Book

    Levi / Savas / Yenigün Computer and Information Sciences - ISCIS 2006

    21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-47243-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    109,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Damm / Hermanns | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Damm / Hermanns Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-73368-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yolum / Güngör / Gürgen | Computer and Information Sciences - ISCIS 2005 | eBook | Sack Fachmedien
    E-Book

    Yolum / Güngör / Gürgen Computer and Information Sciences - ISCIS 2005

    20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32085-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tang / Du / Woodruff | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Tang / Du / Woodruff Algorithmic Aspects in Information and Management

    12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04617-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 | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-66175-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53290-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhuri / Farzan | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Chaudhuri / Farzan Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41540-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gasteratos / Vincze / Tsotsos | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Gasteratos / Vincze / Tsotsos Computer Vision Systems

    6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-79547-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39799-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gopalakrishnan / Qadeer | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Gopalakrishnan / Qadeer Computer Aided Verification

    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-22110-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grumbach / Sui / Vianu | Advances in Computer Science - ASIAN 2005. Data Management on the Web | eBook | Sack Fachmedien
    E-Book

    Grumbach / Sui / Vianu Advances in Computer Science - ASIAN 2005. Data Management on the Web

    10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32249-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Steffen / Woeginger | Computing and Software Science | Buch | Sack Fachmedien

    Steffen / Woeginger Computing and Software Science

    State of the Art and Perspectives
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-319-91907-2
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burke / Trick | Practice and Theory of Automated Timetabling V | Buch | Sack Fachmedien

    Burke / Trick 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
    ISBN: 978-3-540-30705-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    1. Auflage 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
    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
    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
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    1. Auflage 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
    Majumdar / Kuncak / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Majumdar / Kuncak / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63386-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Leibe / Neumann | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Chen / Leibe / Neumann Computer Vision Systems

    9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39402-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chen / Leibe / Neumann | Computer Vision Systems | Buch | Sack Fachmedien

    Chen / Leibe / Neumann Computer Vision Systems

    9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39401-0
    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 I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21690-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    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
    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