Ergebnisse filtern
Fachgebiet
Medium
  • 1173
  • 1120
Erscheinungsjahr
  • 10
  • 109
  • 133
  • 141
  • 154
  • 115
  • 134
  • 136
  • 142
  • 159
  • 157
  • 135
  • 145
  • 126
  • 129
  • 105
  • 120
  • 142
  • 1
Autoren
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 9
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 15
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 72
  • 2
  • 3
  • 2
  • 2
  • 5
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 16
  • 4
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 6
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 5
  • 2
  • 4
  • 5
  • 3
  • 3
  • 2
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 8
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 13
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 2
  • 11
  • 3
  • 3
  • 12
  • 10
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 35
  • 12
  • 9
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 10
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 7
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 10
  • 7
  • 4
  • 3
  • 3
  • 4
  • 8
  • 5
  • 4
  • 3
  • 4
  • 16
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 26
  • 3
  • 8
  • 3
  • 85
  • 5
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 6
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 6
  • 9
  • 3
  • 3
  • 4
  • 6
  • 11
  • 3
  • 13
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 14
  • 4
  • 3
  • 4
  • 8
  • 3
  • 8
  • 18
  • 6
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 4
  • 6
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 16
  • 4
  • 4
  • 10
  • 4
  • 5
  • 5
  • 4
  • 8
  • 5
  • 3
  • 8
  • 14
  • 5
  • 3
  • 3
  • 6
  • 3
  • 9
  • 3
  • 4
  • 6
  • 13
  • 8
  • 4
  • 6
  • 5
  • 4
  • 4
  • 5
  • 11
  • 3
  • 5
  • 4
  • 7
  • 7
  • 4
  • 4
  • 3
  • 4
  • 7
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 8
  • 15
  • 3
  • 6
  • 9
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 6
  • 10
  • 5
  • 6
  • 3
  • 3
  • 8
  • 6
  • 6
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 5
  • 5
  • 22
  • 6
  • 3
  • 6
  • 3
  • 3
  • 18
  • 5
  • 4
  • 7
  • 7
  • 9
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 61
  • 4
  • 3
  • 4
  • 6
  • 3
  • 6
  • 4
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 73
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 7
  • 9
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 14
  • 5
  • 4
  • 3
  • 4
  • 3
  • 7
  • 5
  • 9
  • 7
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 10
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 13
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 11
  • 4
  • 4
  • 7
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 12
  • 4
  • 5
  • 15
  • 28
  • 11
  • 3
  • 6
  • 3
  • 14
  • 9
  • 3
  • 4
  • 7
  • 3
  • 23
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 7
  • 3
  • 3
  • 15
  • 4
  • 9
  • 3
  • 3
  • 6
  • 3
  • 9
  • 5
  • 3
  • 3
  • 9
  • 5
  • 9
  • 5
  • 9
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 21
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 18
  • 7
  • 5
  • 3
  • 4
  • 12
  • 27
  • 24
  • 3
  • 3
  • 5
  • 4
  • 10
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 20
  • 3
  • 83
  • 4
  • 30
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 20
  • 19
  • 18
  • 3
  • 3
  • 3
  • 4
  • 10
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 10
  • 11
  • 8
  • 5
  • 3
  • 4
  • 5
  • 4
  • 4
  • 9
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 17
  • 7
  • 10
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 7
  • 6
  • 7
  • 3
  • 7
  • 3
  • 19
  • 4
  • 4
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 5
  • 3
  • 4
  • 7
  • 3
  • 12
  • 4
  • 8
  • 5
  • 6
  • 5
  • 6
  • 3
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
Verlag
  • 1145
  • 171
  • 936
  • 34
  • 7
Preis
  • 101
  • 1955
  • 237
Sprachen
  • 2293
Verfügbarkeit
  • 2289
  • 4
Katalog
  • 2293
  • 20
2.293  Treffer  für „Theoretical Computer Science and General Issues“
    Dikovsky / Bechet | Logical Aspects of Computational Linguistics | Buch | Sack Fachmedien

    Dikovsky / Bechet Logical Aspects of Computational Linguistics

    7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31261-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Paulson | Interactive Theorem Proving | Buch | Sack Fachmedien

    Kaufmann / Paulson Interactive Theorem Proving

    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14051-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finocchi / Bansal | Algorithms - ESA 2015 | Buch | Sack Fachmedien

    Finocchi / Bansal Algorithms - ESA 2015

    23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48349-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dorigo / Birattari / Li | Swarm Intelligence | eBook | Sack Fachmedien
    E-Book

    Dorigo / Birattari / Li Swarm Intelligence

    10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44427-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lutton / Legrand / Parrend | Artificial Evolution | eBook | Sack Fachmedien
    E-Book

    Lutton / Legrand / Parrend Artificial Evolution

    13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78133-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Anderson / Prencipe / Wattenhofer | Principles of Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Anderson / Prencipe / Wattenhofer Principles of Distributed Systems

    9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
    2006
    Verlag: Springer
    ISBN: 978-3-540-36322-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Uustalu | Mathematics of Program Construction | eBook | Sack Fachmedien
    E-Book

    Uustalu Mathematics of Program Construction

    8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-35632-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Audebaud / Paulin-Mohring | Mathematics of Program Construction | eBook | Sack Fachmedien
    E-Book

    Audebaud / Paulin-Mohring Mathematics of Program Construction

    9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-70594-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Donaldson / Parker | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Donaldson / Parker Model Checking Software

    19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31759-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Frachtenberg / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | eBook | Sack Fachmedien
    E-Book

    Frachtenberg / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-04633-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    van der Pol / Weber | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    van der Pol / Weber Model Checking Software

    17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16164-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gibbons / Nuno Oliveira | Teaching Formal Methods | eBook | Sack Fachmedien
    E-Book

    Gibbons / Nuno Oliveira Teaching Formal Methods

    Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04912-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Berekovic / Fornaciari / Brinkschulte | Architecture of Computing Systems - ARCS 2011 | eBook | Sack Fachmedien
    E-Book

    Berekovic / Fornaciari / Brinkschulte Architecture of Computing Systems - ARCS 2011

    24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19137-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Goldberg / Kulikov | Experimental Algorithms | eBook | Sack Fachmedien
    E-Book

    Goldberg / Kulikov Experimental Algorithms

    15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-38851-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Taufer / Mohr / Kunkel | High Performance Computing | eBook | Sack Fachmedien
    E-Book

    Taufer / Mohr / Kunkel High Performance Computing

    ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46079-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Paias / Ruthmair / Voß | Computational Logistics | eBook | Sack Fachmedien
    E-Book

    Paias / Ruthmair / Voß Computational Logistics

    7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44896-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bonnevay / Legrand / Monmarché | Artificial Evolution | eBook | Sack Fachmedien
    E-Book

    Bonnevay / Legrand / Monmarché Artificial Evolution

    12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-31471-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mäkinen / Puglisi / Salmela | Combinatorial Algorithms | eBook | Sack Fachmedien
    E-Book

    Mäkinen / Puglisi / Salmela Combinatorial Algorithms

    27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44543-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dorigo / Birattari / Garnier | Swarm Intelligence | Buch | Sack Fachmedien

    Dorigo / Birattari / Garnier Swarm Intelligence

    9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09951-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Liao / Yi | Advances in Neural Networks - ISNN 2005 | Buch | Sack Fachmedien

    Wang / Liao / Yi Advances in Neural Networks - ISNN 2005

    Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-25912-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeume | Small Dynamic Complexity Classes | Buch | Sack Fachmedien

    Zeume Small Dynamic Complexity Classes

    An Investigation into Dynamic Descriptive Complexity
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54313-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nowotka / Diekert | Developments in Language Theory | Buch | Sack Fachmedien

    Nowotka / Diekert Developments in Language Theory

    13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02736-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu | Model Checking Software | Buch | Sack Fachmedien

    Pasareanu Model Checking Software

    16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02651-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Urban | Interactive Theorem Proving | Buch | Sack Fachmedien

    Zhang / Urban Interactive Theorem Proving

    6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-22101-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chapman / Zheng / Wang | A Practical Programming Model for the Multi-Core Era | Buch | Sack Fachmedien

    Chapman / Zheng / Wang A Practical Programming Model for the Multi-Core Era

    International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69302-4
    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