Ergebnisse filtern
Fachgebiet
Medium
  • 1172
  • 1125
Erscheinungsjahr
  • 10
  • 108
  • 134
  • 142
  • 154
  • 116
  • 133
  • 136
  • 143
  • 160
  • 157
  • 139
  • 143
  • 125
  • 129
  • 105
  • 120
  • 142
  • 1
Autoren
  • 2
  • 3
  • 3
  • 4
  • 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
  • 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
  • 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
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 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
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 6
  • 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
  • 2
  • 12
  • 10
  • 2
  • 2
  • 6
  • 2
  • 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
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 10
  • 7
  • 4
  • 3
  • 3
  • 4
  • 8
  • 5
  • 4
  • 3
  • 4
  • 16
  • 8
  • 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
  • 7
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 6
  • 4
  • 3
  • 4
  • 3
  • 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
  • 4
  • 3
  • 5
  • 11
  • 4
  • 3
  • 4
  • 8
  • 3
  • 8
  • 18
  • 6
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 4
  • 6
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 16
  • 3
  • 4
  • 10
  • 4
  • 5
  • 5
  • 4
  • 8
  • 5
  • 3
  • 8
  • 14
  • 5
  • 3
  • 3
  • 6
  • 3
  • 10
  • 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
  • 9
  • 5
  • 3
  • 3
  • 5
  • 5
  • 22
  • 6
  • 3
  • 6
  • 3
  • 18
  • 5
  • 4
  • 7
  • 7
  • 9
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 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
  • 3
  • 3
  • 7
  • 5
  • 8
  • 7
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 10
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 13
  • 8
  • 3
  • 6
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 12
  • 4
  • 4
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 12
  • 4
  • 5
  • 15
  • 28
  • 11
  • 3
  • 6
  • 3
  • 11
  • 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
  • 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
  • 1147
  • 172
  • 937
  • 34
  • 7
Preis
  • 102
  • 1960
  • 235
Sprachen
  • 2297
Verfügbarkeit
  • 2293
  • 4
Katalog
  • 2297
  • 20
2.297  Treffer  für „Theoretical Computer Science and General Issues“
    Stein / van der Poorten | Algorithmic Number Theory | Buch | Sack Fachmedien

    Stein / van der Poorten Algorithmic Number Theory

    8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79455-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Afek | Distributed Computing | Buch | Sack Fachmedien

    Afek Distributed Computing

    27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41526-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Bowen | Unifying Theories of Programming | Buch | Sack Fachmedien

    Zhu / Bowen Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-52227-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maletti | Algebraic Informatics | Buch | Sack Fachmedien

    Maletti Algebraic Informatics

    6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23020-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Anderson / Wattenhofer / Prencipe | Principles of Distributed Systems | Buch | Sack Fachmedien

    Anderson / Wattenhofer / Prencipe Principles of Distributed Systems

    9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-36321-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishibuchi / Zhang / Cheng | Evolutionary Multi-Criterion Optimization | eBook | Sack Fachmedien
    E-Book

    Ishibuchi / Zhang / Cheng Evolutionary Multi-Criterion Optimization

    11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72062-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    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
    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
    Parker / Wolf | Quantitative Evaluation of Systems | eBook | Sack Fachmedien
    E-Book

    Parker / Wolf Quantitative Evaluation of Systems

    16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30281-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lu / Tang / Wang | Advances in Neural Networks – ISNN 2019 | eBook | Sack Fachmedien
    E-Book

    Lu / Tang / Wang Advances in Neural Networks – ISNN 2019

    16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-22808-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fiadeiro / ?u?u | Recent Trends in Algebraic Development Techniques | eBook | Sack Fachmedien
    E-Book

    Fiadeiro / ?u?u Recent Trends in Algebraic Development Techniques

    24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23220-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Kollias / Stafylopatis / Duch | Artificial Neural Networks - ICANN 2006 | eBook | Sack Fachmedien
    E-Book

    Kollias / Stafylopatis / Duch Artificial Neural Networks - ICANN 2006

    16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
    2006
    Verlag: Springer
    ISBN: 978-3-540-38873-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (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
    Lightfoot / Szyperski | Modular Programming Languages | eBook | Sack Fachmedien
    E-Book

    Lightfoot / Szyperski Modular Programming Languages

    7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-40928-1
    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
    Ait Mohamed / Munoz / Tahar | Theorem Proving in Higher Order Logics | eBook | Sack Fachmedien
    E-Book

    Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-71067-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kaklamanis / Nielson | Trustworthy Global Computing | eBook | Sack Fachmedien
    E-Book

    Kaklamanis / Nielson Trustworthy Global Computing

    4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-00945-7
    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
    Koutnik / Kurkova-Pohlova / Neruda | Artificial Neural Networks - ICANN 2008 | eBook | Sack Fachmedien
    E-Book

    Koutnik / Kurkova-Pohlova / Neruda Artificial Neural Networks - ICANN 2008

    18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings Part I
    2008
    Verlag: Springer
    ISBN: 978-3-540-87536-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    139,09 € (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

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