Ergebnisse filtern
Fachgebiet
Medium
  • 3722
  • 146
  • 22
  • 4
Erscheinungsjahr
  • 4
  • 65
  • 130
  • 154
  • 168
  • 187
  • 216
  • 318
  • 162
  • 256
  • 151
  • 231
  • 152
  • 159
  • 141
  • 274
  • 117
  • 68
  • 49
  • 40
  • 35
  • 35
  • 56
  • 73
  • 78
  • 61
  • 66
  • 49
  • 51
  • 52
  • 48
  • 28
  • 25
  • 14
  • 13
  • 13
  • 9
  • 11
  • 8
  • 10
  • 9
  • 1
  • 6
  • 1
  • 4
  • 3
  • 1
  • 5
  • 3
  • 7
  • 6
  • 7
  • 3
  • 3
  • 6
  • 4
  • 3
  • 2
  • 4
  • 5
  • 3
  • 3
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 14
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 7
  • 4
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 12
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 35
  • 3
  • 4
  • 3
  • 4
  • 6
  • 5
  • 4
  • 5
  • 4
  • 7
  • 6
  • 5
  • 8
  • 3
  • 4
  • 3
  • 4
  • 15
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 4
  • 3
  • 18
  • 10
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 11
  • 3
  • 9
  • 5
  • 4
  • 3
  • 7
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 3
  • 8
  • 10
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 5
  • 18
  • 5
  • 4
  • 5
  • 10
  • 9
  • 5
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 8
  • 3
  • 4
  • 4
  • 4
  • 12
  • 4
  • 3
  • 4
  • 10
  • 5
  • 4
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 6
  • 35
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 8
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
Verlag
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 4
  • 4
  • 6
  • 2
  • 2
  • 14
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 45
  • 1
  • 2
  • 9
  • 6
  • 2
  • 5
  • 37
  • 138
  • 2
  • 3
  • 1
  • 6
  • 1
  • 1
  • 12
  • 6
  • 3
  • 1
  • 1
  • 3
  • 6
  • 1
  • 1
  • 13
  • 52
  • 10
  • 1
  • 2
  • 2
  • 1
  • 3
  • 11
  • 9
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 2
  • 14
  • 4
  • 1
  • 1
  • 1
  • 1
  • 10
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 5
  • 10
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 7
  • 1
  • 1
  • 1
  • 3
  • 1
  • 12
  • 1
  • 1
  • 6
  • 1
  • 1
  • 3
  • 2
  • 8
  • 1
  • 1
  • 4
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 783
  • 267
  • 7
  • 1076
  • 20
  • 18
  • 2
  • 310
  • 16
  • 94
  • 1
  • 235
  • 11
  • 38
  • 1
  • 1
  • 1
  • 1
  • 13
  • 2
  • 17
  • 38
  • 16
  • 23
  • 9
  • 1
  • 1
  • 20
  • 10
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 3
  • 5
  • 39
  • 7
  • 1
  • 132
  • 6
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
Preis
  • 101
  • 335
  • 1111
  • 2347
Sprachen
  • 3430
  • 459
  • 16
Verfügbarkeit
  • 3840
  • 54
Katalog
  • 3894
  • 1043
3.894  Titel
    Kirstein / Alpay | Recent Advances in Inverse Scattering, Schur Analysis and Stochastic Processes | Buch | Sack Fachmedien

    Kirstein / Alpay Recent Advances in Inverse Scattering, Schur Analysis and Stochastic Processes

    A Collection of Papers Dedicated to Lev Sakhnovich
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10334-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aranda-Corral / Martín-Mateos / Calmet | Artificial Intelligence and Symbolic Computation | Buch | Sack Fachmedien

    Aranda-Corral / Martín-Mateos / Calmet Artificial Intelligence and Symbolic Computation

    12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13769-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helmke / Fuhrmann | The Mathematics of Networks of Linear Systems | Buch | Sack Fachmedien

    Helmke / Fuhrmann The Mathematics of Networks of Linear Systems

    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-16645-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lewis | Book of Extremes | Buch | Sack Fachmedien

    Lewis Book of Extremes

    Why the 21st Century Isn¿t Like the 20th Century
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06925-8
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ugalde / González-Aguilar | Nonlinear Dynamics New Directions | Buch | Sack Fachmedien

    Ugalde / González-Aguilar Nonlinear Dynamics New Directions

    Models and Applications
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09863-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hazrat | Mathematica®: A Problem-Centered Approach | Buch | Sack Fachmedien

    Hazrat Mathematica®: A Problem-Centered Approach

    2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27584-0
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falb | Methods of Algebraic Geometry in Control Theory: Part I | Buch | Sack Fachmedien

    Falb Methods of Algebraic Geometry in Control Theory: Part I

    Scalar Linear Systems and Affine Algebraic Geometry
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-98025-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao / Naidu | Singular Perturbation Analysis of Discrete Control Systems | Buch | Sack Fachmedien

    Rao / Naidu Singular Perturbation Analysis of Discrete Control Systems

    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15981-0
    Medium: Buch
    26,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Olderog | Correct System Design | Buch | Sack Fachmedien

    Steffen / Olderog Correct System Design

    Recent Insights and Advances
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66624-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christopeit / Kohlmann / Helmes | Stochastic Differential Systems | Buch | Sack Fachmedien

    Christopeit / Kohlmann / Helmes Stochastic Differential Systems

    Proceedings of the 4th Bad Honnef Conference, June, 20¿24, 1988
    1. Auflage 1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51299-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soisalon-Soininen / Sippu | Parsing Theory | Buch | Sack Fachmedien

    Soisalon-Soininen / Sippu Parsing Theory

    Volume II LR(k) and LL(k) Parsing
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51732-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellare | Advances in Cryptology - CRYPTO 2000 | Buch | Sack Fachmedien

    Bellare Advances in Cryptology - CRYPTO 2000

    20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67907-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed / Gotzhein | System Analysis and Modeling: Language Profiles | Buch | Sack Fachmedien

    Reed / Gotzhein System Analysis and Modeling: Language Profiles

    5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68371-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1993 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1993

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56689-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miola | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57235-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitch | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Fitch Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57272-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Sastry / Kohn | Hybrid Systems IV | Buch | Sack Fachmedien

    Antsaklis / Sastry / Kohn Hybrid Systems IV

    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63358-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Girard | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Girard Typed Lambda Calculi and Applications

    4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65763-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pong / Chin | Computer Vision - ACCV'98 | Buch | Sack Fachmedien

    Pong / Chin Computer Vision - ACCV'98

    Third Asian Conference on Computer Vision, Hong Kong, China, January 8 - 10, 1998, Proceedings, Volume I
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63930-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker | Memory Management | Buch | Sack Fachmedien

    Baker Memory Management

    International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60368-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Echtle / Powell / Hammer | Dependable Computing - EDCC-1 | Buch | Sack Fachmedien

    Echtle / Powell / Hammer Dependable Computing - EDCC-1

    First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58426-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langmaack / Vytopil / Roever | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Langmaack / Vytopil / Roever Formal Techniques in Real-Time and Fault-Tolerant Systems

    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58468-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Barendregt | Types for Proofs and Programs | Buch | Sack Fachmedien

    Nipkow / Barendregt Types for Proofs and Programs

    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58085-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60045-9
    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