Ergebnisse filtern
Fachgebiet
Medium
  • 3766
  • 1259
  • 5
  • 4
Erscheinungsjahr
  • 2
  • 108
  • 182
  • 1104
  • 233
  • 211
  • 201
  • 237
  • 229
  • 221
  • 199
  • 183
  • 119
  • 136
  • 74
  • 75
  • 54
  • 187
  • 115
  • 118
  • 74
  • 70
  • 54
  • 68
  • 82
  • 80
  • 71
  • 69
  • 49
  • 36
  • 61
  • 40
  • 22
  • 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
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 9
  • 2
  • 3
  • 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
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 9
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 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
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 75
  • 8
  • 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
  • 4
  • 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
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 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
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 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
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 4
  • 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
  • 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
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 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
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 15
  • 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
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 4
  • 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
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 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
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 13
  • 10
  • 4
  • 5
  • 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
  • 6
  • 3
  • 5
  • 3
  • 5
  • 10
  • 13
  • 12
  • 12
  • 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
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 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
  • 3
  • 4
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 6
  • 4
  • 9
  • 3
  • 3
  • 4
  • 5
  • 10
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 14
  • 3
  • 3
  • 3
  • 7
  • 5
  • 7
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 6
  • 3
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
Verlag
  • 8
  • 1
  • 1
  • 989
  • 10
  • 2
  • 1
  • 1
  • 37
  • 1
  • 9
  • 5
  • 1
  • 2
  • 102
  • 81
  • 173
  • 1
  • 2
  • 131
  • 1217
  • 1
  • 1
  • 1
  • 1
  • 1
  • 23
  • 53
  • 2
  • 2
  • 1
  • 19
  • 2
  • 17
  • 12
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 33
  • 2
  • 1
  • 2
  • 26
  • 25
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 5
  • 19
  • 5
  • 1
  • 43
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 14
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 8
  • 18
  • 96
  • 5
  • 13
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1170
  • 7
  • 4
  • 3
  • 3
  • 3
  • 7
  • 23
  • 22
  • 3
  • 3
  • 8
  • 1
  • 1
  • 1
  • 2
  • 84
  • 16
  • 94
  • 2
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 114
  • 3
  • 9
  • 1
  • 62
  • 10
  • 9
  • 2
  • 1
  • 20
  • 5
  • 1
  • 3
  • 1
  • 3
Preis
  • 339
  • 1850
  • 1996
  • 849
Sprachen
  • 4329
  • 704
  • 5
  • 1
Verfügbarkeit
  • 4946
  • 88
Eigenschaften
  • 2
Katalog
  • 5034
  • 180
5.034  Titel
    De Nicola | Programming Languages and Systems | Buch | Sack Fachmedien

    De Nicola Programming Languages and Systems

    16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71314-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinov | Data Science and Predictive Analytics | Buch | Sack Fachmedien

    Dinov Data Science and Predictive Analytics

    Biomedical and Health Applications using R
    2. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-17485-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Regensburger / Rosenkranz | Algebraic Biology | Buch | Sack Fachmedien

    Horimoto / Regensburger / Rosenkranz Algebraic Biology

    Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85100-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schürr / Nagl / Zündorf | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Schürr / Nagl / Zündorf Applications of Graph Transformations with Industrial Relevance

    Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89019-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dignum / Greaves | Issues in Agent Communication | Buch | Sack Fachmedien

    Dignum / Greaves Issues in Agent Communication

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41144-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05941-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reps / Teitelbaum | The Synthesizer Generator Reference Manual | Buch | Sack Fachmedien

    Reps / Teitelbaum The Synthesizer Generator Reference Manual

    Third Auflage 1989
    Verlag: Springer
    ISBN: 978-0-387-96910-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cha / Choi / Kim | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Cha / Choi / Kim Automated Technology for Verification and Analysis

    6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88386-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruza / Sofge / Lawless | Quantum Interaction | Buch | Sack Fachmedien

    Bruza / Sofge / Lawless Quantum Interaction

    Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00833-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sundararajan | Multivariate Analysis and Machine Learning Techniques | Buch | Sack Fachmedien

    Sundararajan Multivariate Analysis and Machine Learning Techniques

    Feature Analysis in Data Science Using Python
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-0352-8
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramalingam | Programming Languages and Systems | Buch | Sack Fachmedien

    Ramalingam Programming Languages and Systems

    6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89329-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Churcher | Beginning SQL Queries | Buch | Sack Fachmedien

    Churcher Beginning SQL Queries

    From Novice to Professional
    2. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-1954-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boles | Parallele Programmierung spielend gelernt mit dem Java-Hamster-Modell | Buch | Sack Fachmedien

    Boles Parallele Programmierung spielend gelernt mit dem Java-Hamster-Modell

    Programmierung mit Java-Threads
    2008
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8351-0229-3
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Swierstra | Programming Languages: Implementations, Logics and Programs | Buch | Sack Fachmedien

    Hermenegildo / Swierstra Programming Languages: Implementations, Logics and Programs

    7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60359-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hölldobler / Lutz / Wansing | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Hölldobler / Lutz / Wansing Logics in Artificial Intelligence

    11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-87802-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alferes / Johansson | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Alferes / Johansson Practical Aspects of Declarative Languages

    21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-05997-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McIntosh-Smith / Klemm / de Supinski | OpenMP: Advanced Task-Based, Device and Compiler Programming | Buch | Sack Fachmedien

    McIntosh-Smith / Klemm / de Supinski OpenMP: Advanced Task-Based, Device and Compiler Programming

    19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40743-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Real / Vardanega | Reliable Software Technologies - Ada-Europe 2010 | Buch | Sack Fachmedien

    Real / Vardanega Reliable Software Technologies - Ada-Europe 2010

    15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13549-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazurkiewicz / Winkowski | CONCUR'97: Concurrency Theory | Buch | Sack Fachmedien

    Mazurkiewicz / Winkowski CONCUR'97: Concurrency Theory

    8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Butler / Bowen | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Butler / Bowen Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kozen | Logics of Programs | Buch | Sack Fachmedien

    Clarke / Kozen Logics of Programs

    Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-12896-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Hallerstede | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects

    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-17070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Münch / Yang / Schäfer | New Modeling Concepts for Today's Software Processes | Buch | Sack Fachmedien

    Münch / Yang / Schäfer New Modeling Concepts for Today's Software Processes

    International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14346-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Pierce | Theoretical Aspects of Computer Software | Buch | Sack Fachmedien

    Kobayashi / Pierce Theoretical Aspects of Computer Software

    4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42736-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldock | Using R for Statistics | Buch | Sack Fachmedien

    Baldock Using R for Statistics

    1. Auflage 2014
    Verlag: Apress
    ISBN: 978-1-4842-0140-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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