Ergebnisse filtern
Fachgebiet
Medium
  • 3847
  • 1254
  • 5
  • 2
Erscheinungsjahr
  • 1
  • 43
  • 178
  • 260
  • 1083
  • 220
  • 198
  • 201
  • 213
  • 201
  • 211
  • 198
  • 179
  • 121
  • 131
  • 74
  • 72
  • 54
  • 187
  • 115
  • 119
  • 74
  • 68
  • 56
  • 69
  • 82
  • 79
  • 72
  • 69
  • 49
  • 35
  • 62
  • 42
  • 21
  • 30
  • 16
  • 20
  • 17
  • 19
  • 17
  • 20
  • 15
  • 13
  • 12
  • 15
  • 6
  • 8
  • 9
  • 9
  • 6
  • 4
  • 4
  • 3
  • 1
  • 4
  • 4
  • 4
  • 3
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 8
  • 3
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 74
  • 8
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 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
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 6
  • 2
  • 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
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 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
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 5
  • 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
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 6
  • 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
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 13
  • 10
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 10
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 8
  • 3
  • 8
  • 5
  • 3
  • 5
  • 3
  • 5
  • 10
  • 13
  • 12
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 4
  • 5
  • 9
  • 5
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 7
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 13
  • 3
  • 3
  • 3
  • 7
  • 5
  • 7
  • 3
  • 3
  • 12
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
Verlag
  • 7
  • 1
  • 1
  • 1
  • 1003
  • 11
  • 33
  • 1
  • 1
  • 37
  • 9
  • 5
  • 1
  • 2
  • 102
  • 79
  • 1
  • 173
  • 1
  • 2
  • 147
  • 1210
  • 1
  • 1
  • 1
  • 2
  • 1
  • 24
  • 52
  • 2
  • 2
  • 1
  • 16
  • 2
  • 15
  • 13
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 26
  • 1
  • 2
  • 42
  • 22
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 5
  • 16
  • 5
  • 1
  • 44
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 14
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 7
  • 17
  • 96
  • 4
  • 13
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1205
  • 6
  • 2
  • 3
  • 6
  • 1
  • 6
  • 6
  • 22
  • 22
  • 1
  • 1
  • 3
  • 10
  • 1
  • 1
  • 1
  • 2
  • 82
  • 13
  • 72
  • 21
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 114
  • 4
  • 11
  • 1
  • 54
  • 10
  • 9
  • 2
  • 1
  • 20
  • 8
  • 1
  • 3
  • 1
  • 3
Preis
  • 317
  • 1857
  • 2055
  • 879
Sprachen
  • 4399
  • 709
  • 4
  • 1
Verfügbarkeit
  • 4940
  • 168
Eigenschaften
  • 3
Katalog
  • 5108
  • 185
5.108  Titel
    Polak | Compiler Specification and Verification | Buch | Sack Fachmedien

    Polak Compiler Specification and Verification

    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10886-3
    Medium: Buch
    24,60 € (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
    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
    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
    Weston | Scala for Java Developers | Buch | Sack Fachmedien

    Weston Scala for Java Developers

    A Practical Primer
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-3107-4
    Medium: Buch
    35,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonsangue / Graf / de Roever | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Bonsangue / Graf / de Roever Formal Methods for Components and Objects

    6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92187-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kühne / Selic / Gervais | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Kühne / Selic / Gervais Modelling Foundations and Applications

    6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13594-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Ramakrishnan Practical Aspects of Declarative Languages

    Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41768-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayguadé / Baumgartner / Ramanujam | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Ayguadé / Baumgartner / Ramanujam Languages and Compilers for Parallel Computing

    18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-69329-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuchen / Swierstra | Programming Languages: Implementations, Logics, and Programs | Buch | Sack Fachmedien

    Kuchen / Swierstra Programming Languages: Implementations, Logics, and Programs

    8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61756-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Middeldorp Rewriting Techniques and Applications

    12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42117-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goos / Wulf / Evans | DIANA. An Intermediate Language for Ada | Buch | Sack Fachmedien

    Goos / Wulf / Evans DIANA. An Intermediate Language for Ada

    Revised Version
    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12695-9
    Medium: Buch
    24,60 € (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
    Cortesi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cortesi Verification, Model Checking, and Abstract Interpretation

    Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43631-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Leeuwen | Automata, Languages and Programming | Buch | Sack Fachmedien

    Bakker / Leeuwen Automata, Languages and Programming

    Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10003-4
    Medium: Buch
    50,28 € (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
    Duparc / Henzinger | Computer Science Logic | Buch | Sack Fachmedien

    Duparc / Henzinger Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Semantics: Foundations and Applications | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Semantics: Foundations and Applications

    REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56596-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ouaknine / Vaandrager | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Ouaknine / Vaandrager Formal Modeling and Analysis of Timed Systems

    7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04367-3
    Medium: Buch
    53,49 € (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
    Suzuki / Higashino / Ulrich | Testing of Software and Communicating Systems | Buch | Sack Fachmedien

    Suzuki / Higashino / Ulrich Testing of Software and Communicating Systems

    20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68514-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Grandjean / Seyr | Computer Science Logic | Buch | Sack Fachmedien

    Gottlob / Grandjean / Seyr Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65922-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dechter | Principles and Practice of Constraint Programming - CP 2000 | Buch | Sack Fachmedien

    Dechter Principles and Practice of Constraint Programming - CP 2000

    6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41053-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kardas / Lukovic / Milašinovic | Software, System, and Service Engineering | Buch | Sack Fachmedien

    Kardas / Lukovic / Milašinovic Software, System, and Service Engineering

    S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84912-1
    Medium: Buch
    62,05 € (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

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