Ergebnisse filtern
Fachgebiet
Medium
  • 3719
  • 1259
  • 5
  • 4
Erscheinungsjahr
  • 73
  • 182
  • 1104
  • 233
  • 210
  • 198
  • 234
  • 229
  • 220
  • 200
  • 185
  • 122
  • 135
  • 74
  • 75
  • 54
  • 188
  • 114
  • 118
  • 74
  • 69
  • 53
  • 68
  • 82
  • 80
  • 71
  • 69
  • 48
  • 36
  • 61
  • 40
  • 22
  • 30
  • 16
  • 20
  • 17
  • 19
  • 17
  • 20
  • 15
  • 13
  • 12
  • 15
  • 6
  • 8
  • 9
  • 9
  • 6
  • 4
  • 4
  • 3
  • 1
  • 3
  • 4
  • 3
  • 2
  • 2
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 8
  • 2
  • 9
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 11
  • 85
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 15
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 12
  • 9
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 10
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 3
  • 7
  • 6
  • 3
  • 5
  • 3
  • 5
  • 9
  • 13
  • 3
  • 10
  • 10
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 5
  • 6
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 10
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 16
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 9
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
Verlag
  • 7
  • 1
  • 1
  • 1
  • 986
  • 7
  • 5
  • 1
  • 1
  • 38
  • 1
  • 7
  • 7
  • 1
  • 2
  • 101
  • 73
  • 170
  • 1
  • 2
  • 130
  • 1211
  • 1
  • 1
  • 1
  • 3
  • 1
  • 23
  • 49
  • 2
  • 2
  • 2
  • 16
  • 17
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 33
  • 1
  • 2
  • 18
  • 8
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 5
  • 19
  • 5
  • 1
  • 43
  • 3
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 15
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 6
  • 21
  • 97
  • 5
  • 13
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1091
  • 16
  • 43
  • 3
  • 8
  • 3
  • 9
  • 23
  • 37
  • 3
  • 2
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 83
  • 16
  • 87
  • 5
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 114
  • 3
  • 9
  • 1
  • 84
  • 10
  • 9
  • 2
  • 1
  • 20
  • 12
  • 1
  • 3
  • 1
  • 3
Preis
  • 341
  • 1850
  • 1962
  • 834
Sprachen
  • 4298
  • 689
  • 4
  • 1
Verfügbarkeit
  • 4895
  • 92
Eigenschaften
  • 5
Katalog
  • 4987
  • 179
4.987  Titel
    Hanus | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Hanus Logic-Based Program Synthesis and Transformation

    18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00514-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castagna | Programming Languages and Systems | Buch | Sack Fachmedien

    Castagna Programming Languages and Systems

    18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00589-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Loftsson / Rögnvaldsson / Helgadottir | Advances in Natural Language Processing | Buch | Sack Fachmedien

    Loftsson / Rögnvaldsson / Helgadottir Advances in Natural Language Processing

    7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-14769-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Mellor-Crummey / Sarkar | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Cooper / Mellor-Crummey / Sarkar Languages and Compilers for Parallel Computing

    23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19594-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatterjee / Henzinger | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Chatterjee / Henzinger Formal Modeling and Analysis of Timed Systems

    8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15296-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gastin / Laroussinie | CONCUR 2010 - Concurrency Theory | Buch | Sack Fachmedien

    Gastin / Laroussinie CONCUR 2010 - Concurrency Theory

    21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15374-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schürr / Selic | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Schürr / Selic Model Driven Engineering Languages and Systems

    12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04424-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kasahara / Kimura | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Kasahara / Kimura Languages and Compilers for Parallel Computing

    25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37657-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greco | Scalable Uncertainty Management | Buch | Sack Fachmedien

    Greco Scalable Uncertainty Management

    Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87992-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Maibaum / Araki | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Liu / Maibaum / Araki Formal Methods and Software Engineering

    10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88193-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh / Morales | MICAI 2008: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Gelbukh / Morales MICAI 2008: Advances in Artificial Intelligence

    7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-88635-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ligges | Programmieren mit R | Buch | Sack Fachmedien

    Ligges Programmieren mit R

    3., überarbeitete und erweiterte Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-79997-9
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Rough Sets VIII | Buch | Sack Fachmedien

    Transactions on Rough Sets VIII

    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85063-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ranta / Nordström | Advances in Natural Language Processing | Buch | Sack Fachmedien

    Ranta / Nordström Advances in Natural Language Processing

    6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85286-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cowell | Essential Delphi 2.0 Fast | Buch | Sack Fachmedien

    Cowell Essential Delphi 2.0 Fast

    How to Develop Applications in Delphi 2.0
    1996
    Verlag: Springer
    ISBN: 978-3-540-76026-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cowell | Essential Delphi 3 fast | Buch | Sack Fachmedien

    Cowell Essential Delphi 3 fast

    Includes ActiveX Development
    1. Auflage. 1997
    Verlag: Springer
    ISBN: 978-3-540-76150-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franceschinis / Wolf | Applications and Theory of Petri Nets | Buch | Sack Fachmedien

    Franceschinis / Wolf Applications and Theory of Petri Nets

    30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferré / Rudolph | Formal Concept Analysis | Buch | Sack Fachmedien

    Ferré / Rudolph Formal Concept Analysis

    7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01814-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glinz / Heymans | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Glinz / Heymans Requirements Engineering: Foundation for Software Quality

    15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02049-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Lopes / Poetzsch-Heffter | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Lee / Lopes / Poetzsch-Heffter Formal Techniques for Distributed Systems

    Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02137-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / de Lemos / Inverardi | Software Engineering for Self-Adaptive Systems | Buch | Sack Fachmedien

    Cheng / de Lemos / Inverardi Software Engineering for Self-Adaptive Systems

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02160-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Pol / Weber | Model Checking Software | Buch | Sack Fachmedien

    van der Pol / Weber Model Checking Software

    17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Ölveczky Rewriting Logic and Its Applications

    8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16309-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casimiro / de Lemos / Gacek | Architecting Dependable Systems VII | Buch | Sack Fachmedien

    Casimiro / de Lemos / Gacek Architecting Dependable Systems VII

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Majumdar | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Esparza / Majumdar Tools and Algorithms for the Construction and Analysis of Systems

    16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12001-5
    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