Ergebnisse filtern
Fachgebiet
Medium
  • 1211
  • 1166
Erscheinungsjahr
  • 9
  • 126
  • 122
  • 164
  • 138
  • 127
  • 130
  • 134
  • 161
  • 154
  • 163
  • 152
  • 132
  • 127
  • 134
  • 140
  • 128
  • 134
  • 2
Autoren
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 4
  • 2
  • 11
  • 2
  • 7
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 70
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 8
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 14
  • 2
  • 5
  • 2
  • 17
  • 2
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 10
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 8
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 5
  • 2
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 7
  • 6
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 11
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 13
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 9
  • 3
  • 2
  • 2
  • 12
  • 9
  • 2
  • 9
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 6
  • 6
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 7
  • 41
  • 22
  • 2
  • 10
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 19
  • 2
  • 3
  • 12
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 3
  • 6
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 8
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 14
  • 3
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 25
  • 11
  • 3
  • 85
  • 6
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 7
  • 3
  • 7
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 10
  • 4
  • 9
  • 4
  • 3
  • 4
  • 6
  • 3
  • 12
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 9
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 12
  • 4
  • 8
  • 3
  • 4
  • 7
  • 5
  • 3
  • 4
  • 3
  • 3
  • 15
  • 4
  • 5
  • 6
  • 6
  • 19
  • 3
  • 4
  • 7
  • 3
  • 5
  • 3
  • 3
  • 7
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 6
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 11
  • 3
  • 4
  • 3
  • 27
  • 3
  • 3
  • 9
  • 5
  • 6
  • 4
  • 8
  • 5
  • 5
  • 3
  • 7
  • 14
  • 5
  • 6
  • 9
  • 3
  • 3
  • 4
  • 10
  • 16
  • 5
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 4
  • 6
  • 3
  • 5
  • 3
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 17
  • 3
  • 6
  • 11
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 7
  • 11
  • 8
  • 3
  • 3
  • 9
  • 6
  • 13
  • 6
  • 6
  • 3
  • 6
  • 7
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 17
  • 3
  • 5
  • 3
  • 5
  • 3
  • 20
  • 3
  • 4
  • 3
  • 10
  • 6
  • 7
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 55
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 6
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 72
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 3
  • 8
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 5
  • 4
  • 4
  • 8
  • 5
  • 4
  • 3
  • 3
  • 6
  • 10
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 7
  • 6
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 14
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 10
  • 5
  • 3
  • 7
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 18
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 11
  • 5
  • 3
  • 4
  • 14
  • 20
  • 16
  • 7
  • 6
  • 3
  • 15
  • 6
  • 3
  • 3
  • 3
  • 7
  • 5
  • 28
  • 3
  • 6
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 21
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 9
  • 3
  • 3
  • 3
  • 9
  • 4
  • 5
  • 4
  • 3
  • 8
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 9
  • 27
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 26
  • 16
  • 5
  • 5
  • 4
  • 4
  • 9
  • 3
  • 20
  • 20
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 13
  • 8
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 25
  • 3
  • 81
  • 4
  • 26
  • 10
  • 4
  • 3
  • 4
  • 5
  • 8
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 18
  • 14
  • 17
  • 4
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 6
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 12
  • 15
  • 15
  • 5
  • 3
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 12
  • 5
  • 3
  • 15
  • 7
  • 3
  • 10
  • 3
  • 11
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 5
  • 9
  • 5
  • 3
  • 3
  • 21
  • 6
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 9
  • 3
  • 3
  • 10
  • 10
  • 3
  • 8
  • 5
  • 5
  • 5
  • 7
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 4
Verlag
  • 1
  • 1189
  • 187
  • 952
  • 37
  • 1
  • 10
Preis
  • 92
  • 2024
  • 261
Sprachen
  • 2377
Verfügbarkeit
  • 2374
  • 3
Katalog
  • 2377
  • 20
2.377  Treffer  für „Theoretical Computer Science and General Issues“
    Bender / Mosteiro / Farach-Colton | LATIN 2018: Theoretical Informatics | Buch | Sack Fachmedien

    Bender / Mosteiro / Farach-Colton LATIN 2018: Theoretical Informatics

    13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77403-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snoeyink / Lu / Su | Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Snoeyink / Lu / Su Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

    Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29699-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohayakawa / Miyazawa | LATIN 2020: Theoretical Informatics | eBook | Sack Fachmedien
    E-Book

    Kohayakawa / Miyazawa LATIN 2020: Theoretical Informatics

    14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61792-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kranakis / Chávez / Navarro | LATIN 2016: Theoretical Informatics | Buch | Sack Fachmedien

    Kranakis / Chávez / Navarro LATIN 2016: Theoretical Informatics

    12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49528-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laber / Bornstein / Nogueira | LATIN 2008: Theoretical Informatics | eBook | Sack Fachmedien
    E-Book

    Laber / Bornstein / Nogueira LATIN 2008: Theoretical Informatics

    8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-78773-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cavalcanti / Deharbe / Gaudel | Theoretical Aspects of Computing | Buch | Sack Fachmedien

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14807-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laber / Faria / Bornstein | LATIN 2008: Theoretical Informatics | Buch | Sack Fachmedien

    Laber / Faria / Bornstein LATIN 2008: Theoretical Informatics

    8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78772-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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
    Cavalcanti / Deharbe / Gaudel | Theoretical Aspects of Computing | eBook | Sack Fachmedien
    E-Book

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14808-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    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
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08867-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tang / Butenko / Du | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Tang / Butenko / Du Algorithmic Aspects in Information and Management

    12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04617-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Biere | Computer Aided Verification | Buch | Sack Fachmedien

    Bloem / Biere 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 International Publishing
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tasiran / Dillig | Computer Aided Verification | Buch | Sack Fachmedien

    Tasiran / Dillig Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25539-8
    Medium: Buch
    53,49 € (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
    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
    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
    Woeginger / Steffen | Computing and Software Science | Buch | Sack Fachmedien

    Woeginger / Steffen Computing and Software Science

    State of the Art and Perspectives
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91907-2
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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
    Ganty / Kaâniche | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

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

    13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-35091-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parthasarathy / Seshia | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Parthasarathy / Seshia Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31424-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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

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