Ergebnisse filtern
Fachgebiet
Medium
  • 1204
  • 346
Erscheinungsjahr
  • 9
  • 87
  • 91
  • 126
  • 102
  • 95
  • 97
  • 98
  • 101
  • 124
  • 103
  • 101
  • 106
  • 57
  • 64
  • 67
  • 57
  • 65
Autoren
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 53
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 14
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 6
  • 7
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 9
  • 9
  • 6
  • 4
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 23
  • 14
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 12
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 12
  • 7
  • 60
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 10
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 14
  • 4
  • 3
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 8
  • 5
  • 2
  • 4
  • 5
  • 8
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 10
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 10
  • 2
  • 3
  • 3
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 8
  • 3
  • 3
  • 2
  • 2
  • 6
  • 4
  • 4
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 17
  • 3
  • 3
  • 2
  • 7
  • 3
  • 2
  • 17
  • 5
  • 2
  • 9
  • 4
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 44
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 54
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 5
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 4
  • 3
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 20
  • 9
  • 4
  • 5
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 24
  • 2
  • 4
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 14
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 15
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 19
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 19
  • 2
  • 2
  • 17
  • 3
  • 2
  • 3
  • 6
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 14
  • 2
  • 59
  • 2
  • 26
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 14
  • 11
  • 16
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 7
  • 6
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 12
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 15
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 4
  • 3
  • 4
Verlag
  • 1332
  • 201
  • 8
  • 9
Preis
  • 74
  • 1265
  • 211
Sprachen
  • 1550
  • 1
Verfügbarkeit
  • 1550
Katalog
  • 1550
  • 20
1.550  Treffer  für „Theoretical Computer Science and General Issues“
    Sun / Qu / Liu | Algorithms and Architectures for Parallel Processing | eBook | Sack Fachmedien
    E-Book

    Sun / Qu / Liu Algorithms and Architectures for Parallel Processing

    14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11197-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wu / Du | Algorithmic Aspects in Information and Management | eBook | Sack Fachmedien
    E-Book

    Wu / Du Algorithmic Aspects in Information and Management

    15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-93176-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cabestany / Sandoval / Prieto | Bio-Inspired Systems: Computational and Ambient Intelligence | Buch | Sack Fachmedien

    Cabestany / Sandoval / Prieto Bio-Inspired Systems: Computational and Ambient Intelligence

    10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02477-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farkaš / Farkas / Masulli | Artificial Neural Networks and Machine Learning – ICANN 2020 | eBook | Sack Fachmedien
    E-Book

    Farkaš / Farkas / Masulli Artificial Neural Networks and Machine Learning – ICANN 2020

    29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15–18, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61609-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fagan / Martín-Vide / O'Neill | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Fagan / Martín-Vide / O'Neill Theory and Practice of Natural Computing

    7th International Conference, TPNC 2018, Dublin, Ireland, December 12-14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04069-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fagan / Martín-Vide / O'Neill | Theory and Practice of Natural Computing | eBook | Sack Fachmedien
    E-Book

    Fagan / Martín-Vide / O'Neill Theory and Practice of Natural Computing

    7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04070-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Conte / Navarro / Hwu | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    Conte / Navarro / Hwu High Performance Embedded Architectures and Compilers

    First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qiu | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Qiu Algorithms and Architectures for Parallel Processing

    20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60244-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaves / Martins | Molecular Logic and Computational Synthetic Biology | Buch | Sack Fachmedien

    Chaves / Martins Molecular Logic and Computational Synthetic Biology

    First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-19431-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aydinian / Cicalese / Deppe | Information Theory, Combinatorics, and Search Theory | Buch | Sack Fachmedien

    Aydinian / Cicalese / Deppe Information Theory, Combinatorics, and Search Theory

    In Memory of Rudolf Ahlswede
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36898-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chitil | Implementation and Application of Functional Languages | eBook | Sack Fachmedien
    E-Book

    Chitil Implementation and Application of Functional Languages

    19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85373-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Albert | Logic-Based Program Synthesis and Transformation | eBook | Sack Fachmedien
    E-Book

    Albert Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38197-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gu / Hell / Yang | Algorithmic Aspects in Information and Management | eBook | Sack Fachmedien
    E-Book

    Gu / Hell / Yang Algorithmic Aspects in Information and Management

    10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07956-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Shen / Mueller / Tuck | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Shen / Mueller / Tuck Languages and Compilers for Parallel Computing

    28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vincent / Yeredor / Koldovský | Latent Variable Analysis and Signal Separation | Buch | Sack Fachmedien

    Vincent / Yeredor / Koldovský Latent Variable Analysis and Signal Separation

    12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22481-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibrahim / Choo / Yan | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Ibrahim / Choo / Yan Algorithms and Architectures for Parallel Processing

    17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-65481-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martín-Vide / Neruda / Vega-Rodríguez | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Martín-Vide / Neruda / Vega-Rodríguez Theory and Practice of Natural Computing

    6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-71068-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | Buch | Sack Fachmedien

    Gelbukh Computational Linguistics and Intelligent Text Processing

    18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-77115-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collard | Ontologies-Based Databases and Information Systems | Buch | Sack Fachmedien

    Collard Ontologies-Based Databases and Information Systems

    First and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75473-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adve / Garzarán / Petersen | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Adve / Garzarán / Petersen Languages and Compilers for Parallel Computing

    20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85260-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jhala / Schmidt | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Jhala / Schmidt Verification, Model Checking, and Abstract Interpretation

    12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18274-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vigneron / Zarzoso / Moreau | Latent Variable Analysis and Signal Separation | Buch | Sack Fachmedien

    Vigneron / Zarzoso / Moreau Latent Variable Analysis and Signal Separation

    9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15994-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cousot Verification, Model Checking, and Abstract Interpretation

    6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24297-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hill | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Hill Logic Based Program Synthesis and Transformation

    15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32654-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patt / Foglia / Duesterwald | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    Patt / Foglia / Duesterwald High Performance Embedded Architectures and Compilers

    5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11514-1
    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