Ergebnisse filtern
Fachgebiet
Medium
  • 1133
  • 330
Erscheinungsjahr
  • 9
  • 92
  • 83
  • 95
  • 104
  • 84
  • 91
  • 78
  • 105
  • 101
  • 107
  • 112
  • 97
  • 64
  • 61
  • 58
  • 59
  • 63
Autoren
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 8
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 55
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 13
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 6
  • 3
  • 8
  • 3
  • 2
  • 2
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 5
  • 2
  • 10
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 25
  • 13
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 4
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 13
  • 2
  • 7
  • 4
  • 62
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 11
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 15
  • 2
  • 4
  • 5
  • 5
  • 5
  • 2
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 8
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 13
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 8
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 12
  • 3
  • 2
  • 3
  • 2
  • 16
  • 2
  • 3
  • 7
  • 4
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 47
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 5
  • 56
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 6
  • 4
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 9
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 16
  • 18
  • 8
  • 3
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 20
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 12
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 14
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 20
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 21
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 60
  • 2
  • 23
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 16
  • 16
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 9
  • 12
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 9
  • 3
  • 4
  • 7
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 6
  • 5
  • 4
  • 3
  • 2
  • 5
  • 2
  • 13
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 6
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1266
  • 189
  • 1
  • 7
Preis
  • 72
  • 1198
  • 193
Sprachen
  • 1463
Verfügbarkeit
  • 1463
Katalog
  • 1463
  • 24
1.463  Treffer  für „Theoretical Computer Science and General Issues“
    Dolev / Haist / Oltean | Optical SuperComputing | Buch | Sack Fachmedien

    Dolev / Haist / Oltean Optical SuperComputing

    First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85672-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pighizzini / Câmpeanu | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Pighizzini / Câmpeanu Descriptional Complexity of Formal Systems

    19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60251-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El Gayar / Kittler / Roli | Multiple Classifier Systems | Buch | Sack Fachmedien

    El Gayar / Kittler / Roli Multiple Classifier Systems

    9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12126-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chicano / Hu / García-Sánchez | Evolutionary Computation in Combinatorial Optimization | eBook | Sack Fachmedien
    E-Book

    Chicano / Hu / García-Sánchez Evolutionary Computation in Combinatorial Optimization

    16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30698-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gasieniec / Wolter | Fundamentals of Computation Theory | eBook | Sack Fachmedien
    E-Book

    Gasieniec / Wolter Fundamentals of Computation Theory

    19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40164-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kunkel / Balaji / Dongarra | High Performance Computing | eBook | Sack Fachmedien
    E-Book

    Kunkel / Balaji / Dongarra High Performance Computing

    31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41321-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dolev / Oltean | Optical Supercomputing | eBook | Sack Fachmedien
    E-Book

    Dolev / Oltean Optical Supercomputing

    Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-22494-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Asher / Soloviev | Logical Aspects of Computational Linguistics | eBook | Sack Fachmedien
    E-Book

    Asher / Soloviev Logical Aspects of Computational Linguistics

    8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43742-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Koutny / Ulidowski | CONCUR 2012- Concurrency Theory | eBook | Sack Fachmedien
    E-Book

    Koutny / Ulidowski CONCUR 2012- Concurrency Theory

    23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-32940-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Echahed / Minas | Graph Transformation | eBook | Sack Fachmedien
    E-Book

    Echahed / Minas Graph Transformation

    9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40530-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Herkersdorf / Römer / Brinkschulte | Architecture of Computing Systems - ARCS 2012 | eBook | Sack Fachmedien
    E-Book

    Herkersdorf / Römer / Brinkschulte Architecture of Computing Systems - ARCS 2012

    25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-28293-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cheng / Leung / Ozawa | Neural Information Processing | eBook | Sack Fachmedien
    E-Book

    Cheng / Leung / Ozawa Neural Information Processing

    25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04212-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Paternina-Arboleda / Voß | Computational Logistics | eBook | Sack Fachmedien
    E-Book

    Paternina-Arboleda / Voß Computational Logistics

    10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-31140-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Castillo / Jiménez Laredo | Applications of Evolutionary Computation | eBook | Sack Fachmedien
    E-Book

    Castillo / Jiménez Laredo Applications of Evolutionary Computation

    24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72699-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kwok / Zhang / Lu | Advances in Neural Networks -- ISNN 2010 | Buch | Sack Fachmedien

    Kwok / Zhang / Lu Advances in Neural Networks -- ISNN 2010

    7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13317-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev / Oltean | Optical Supercomputing | Buch | Sack Fachmedien

    Dolev / Oltean Optical Supercomputing

    Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22493-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Eekelen / Geuvers / Schmaltz | Interactive Theorem Proving | Buch | Sack Fachmedien

    Van Eekelen / Geuvers / Schmaltz Interactive Theorem Proving

    Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22862-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herkersdorf / Römer / Brinkschulte | Architecture of Computing Systems - ARCS 2012 | Buch | Sack Fachmedien

    Herkersdorf / Römer / Brinkschulte Architecture of Computing Systems - ARCS 2012

    25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28292-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berghofer / Nipkow / Urban | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Berghofer / Nipkow / Urban Theorem Proving in Higher Order Logics

    22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03358-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bournez / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Bournez / Potapov Reachability Problems

    Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04419-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robert / Parashar / Badrinath | High Performance Computing - HiPC 2006 | Buch | Sack Fachmedien

    Robert / Parashar / Badrinath High Performance Computing - HiPC 2006

    13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68039-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Ji | Advances in Swarm Intelligence | Buch | Sack Fachmedien

    Tan / Shi / Ji Advances in Swarm Intelligence

    Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012, Proceedings, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31019-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yew / Stenström / Wu | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Yew / Stenström / Wu Advanced Parallel Processing Technologies

    13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29610-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayala-Rincón / Muñoz | Interactive Theorem Proving | Buch | Sack Fachmedien

    Ayala-Rincón / Muñoz Interactive Theorem Proving

    8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66106-3
    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