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
  • 3837
  • 57
Katalog
  • 3894
  • 1043
3.894  Titel
    Park / Kwon | Stabilizing and Optimizing Control for Time-Delay Systems | Buch | Sack Fachmedien

    Park / Kwon Stabilizing and Optimizing Control for Time-Delay Systems

    Including Model Predictive Controls
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92703-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirstein / Alpay | Indefinite Inner Product Spaces, Schur Analysis, and Differential Equations | Buch | Sack Fachmedien

    Kirstein / Alpay Indefinite Inner Product Spaces, Schur Analysis, and Differential Equations

    A Volume Dedicated to Heinz Langer
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-88667-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Markovsky | Low-Rank Approximation | Buch | Sack Fachmedien

    Markovsky Low-Rank Approximation

    Algorithms, Implementation, Applications
    2. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-89619-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaudin / Reed / Najm | SDL 2007: Design for Dependable Systems | Buch | Sack Fachmedien

    Gaudin / Reed / Najm SDL 2007: Design for Dependable Systems

    13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74983-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sastry / Henzinger | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Sastry / Henzinger Hybrid Systems: Computation and Control

    First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64358-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scheideler | Universal Routing Strategies for Interconnection Networks | Buch | Sack Fachmedien

    Scheideler Universal Routing Strategies for Interconnection Networks

    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64505-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ratiu / Marsden | Einführung in die Mechanik und Symmetrie | Buch | Sack Fachmedien

    Ratiu / Marsden Einführung in die Mechanik und Symmetrie

    Eine grundlegende Darstellung klassischer mechanischer Systeme
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67952-3
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher | Formal Methods in Systems Biology | Buch | Sack Fachmedien

    Fisher Formal Methods in Systems Biology

    First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68410-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middelburg / Baeten | Process Algebra with Timing | Buch | Sack Fachmedien

    Middelburg / Baeten Process Algebra with Timing

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-07788-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slezak / Kim / Kang | Grid and Distributed Computing | Buch | Sack Fachmedien

    Slezak / Kim / Kang Grid and Distributed Computing

    International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-10548-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lemos / Fabre / ter Beek | Architecting Dependable Systems VI | Buch | Sack Fachmedien

    de Lemos / Fabre / ter Beek Architecting Dependable Systems VI

    2009
    Verlag: Springer
    ISBN: 978-3-642-10247-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sendra / Pérez-Diaz / Winkler | Rational Algebraic Curves | Buch | Sack Fachmedien

    Sendra / Pérez-Diaz / Winkler Rational Algebraic Curves

    A Computer Algebra Approach
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09291-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Limbourg | Dependability Modelling under Uncertainty | Buch | Sack Fachmedien

    Limbourg Dependability Modelling under Uncertainty

    An Imprecise Probabilistic Approach
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08880-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robbiano / Kreuzer | Computational Commutative Algebra 1 | Buch | Sack Fachmedien

    Robbiano / Kreuzer Computational Commutative Algebra 1

    Softcover Nachdruck of hardcover 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-08723-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haken | Information and Self-Organization | Buch | Sack Fachmedien

    Haken Information and Self-Organization

    A Macroscopic Approach to Complex Systems
    3rd enlarged Auflage 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-33021-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Tronci / Geist | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Tronci / Geist Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Zavattaro / Kloul | Formal Techniques for Computer Systems and Business Processes | Buch | Sack Fachmedien

    Bravetti / Zavattaro / Kloul Formal Techniques for Computer Systems and Business Processes

    European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28701-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Gordon Foundations of Software Science and Computational Structures

    6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00897-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella | Programming Languages and Systems - ESOP '94 | Buch | Sack Fachmedien

    Sannella Programming Languages and Systems - ESOP '94

    5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57880-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berard / Bidoit / Finkel | Systems and Software Verification | Buch | Sack Fachmedien

    Berard / Bidoit / Finkel Systems and Software Verification

    Model-Checking Techniques and Tools
    2001
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-41523-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Banatre | Hardware and Software Architectures for Fault Tolerance | Buch | Sack Fachmedien

    Lee / Banatre Hardware and Software Architectures for Fault Tolerance

    Experiences and Perspectives
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57767-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zabczyk | Stochastic Systems and Optimization | Buch | Sack Fachmedien

    Zabczyk Stochastic Systems and Optimization

    Proceedings of the 6th IFIP WG 7.1. Working Conference, Warsaw, Poland, September 12¿16, 1988
    1. Auflage 1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51619-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Cousot | Static Analysis | Buch | Sack Fachmedien

    Schmidt / Cousot Static Analysis

    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61739-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Palma | Vector and Parallel Processing - VECPAR'96 | Buch | Sack Fachmedien

    Dongarra / Palma Vector and Parallel Processing - VECPAR'96

    Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62828-6
    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