Ergebnisse filtern
Fachgebiet
Medium
  • 3220
  • 197
  • 26
  • 1
Erscheinungsjahr
  • 251
  • 200
  • 36
  • 77
  • 78
  • 101
  • 100
  • 155
  • 83
  • 166
  • 101
  • 203
  • 247
  • 411
  • 94
  • 226
  • 90
  • 50
  • 34
  • 33
  • 36
  • 27
  • 52
  • 64
  • 55
  • 47
  • 52
  • 41
  • 38
  • 45
  • 41
  • 25
  • 24
  • 14
  • 17
  • 12
  • 10
  • 6
  • 6
  • 9
  • 10
  • 1
  • 5
  • 1
  • 4
  • 3
  • 1
  • 6
  • 2
  • 5
  • 3
  • 7
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
Autoren
  • 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
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 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
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 13
  • 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
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 17
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 14
  • 3
  • 18
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 5
  • 6
  • 3
  • 8
  • 3
  • 6
  • 4
  • 4
  • 9
  • 10
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 11
  • 4
  • 6
  • 8
  • 4
  • 5
  • 5
  • 3
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 5
  • 3
  • 7
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 8
  • 12
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 6
Verlag
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 18
  • 1
  • 3
  • 23
  • 18
  • 5
  • 31
  • 1
  • 1
  • 2
  • 2
  • 1
  • 22
  • 1
  • 1
  • 1
  • 24
  • 7
  • 27
  • 8
  • 77
  • 105
  • 3
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 18
  • 1
  • 1
  • 1
  • 3
  • 1
  • 17
  • 16
  • 3
  • 1
  • 1
  • 2
  • 1
  • 6
  • 4
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 10
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 4
  • 1
  • 4
  • 9
  • 26
  • 2
  • 4
  • 1
  • 6
  • 2
  • 1
  • 4
  • 1
  • 996
  • 195
  • 4
  • 508
  • 23
  • 6
  • 2
  • 157
  • 174
  • 130
  • 53
  • 302
  • 4
  • 5
  • 10
  • 6
  • 2
  • 47
  • 23
  • 15
  • 3
  • 2
  • 1
  • 22
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 7
  • 3
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 15
  • 9
  • 1
  • 1
  • 1
  • 40
  • 2
  • 2
  • 7
  • 1
  • 3
  • 1
Preis
  • 93
  • 237
  • 951
  • 2163
Sprachen
  • 3062
  • 385
  • 3
  • 1
Verfügbarkeit
  • 3415
  • 29
Eigenschaften
  • 13
  • 1
Katalog
  • 3444
  • 437
3.444  Titel
    Cerny / Khordoc / Berkane | Hierarchical Annotated Action Diagrams | Buch | Sack Fachmedien

    Cerny / Khordoc / Berkane Hierarchical Annotated Action Diagrams

    An Interface-Oriented Specification and Verification Method
    1998
    Verlag: Springer US
    ISBN: 978-0-7923-8301-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mittra | Principles of Verilog PLI | Buch | Sack Fachmedien

    Mittra Principles of Verilog PLI

    1999
    Verlag: Springer US
    ISBN: 978-0-7923-8477-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gowrisankar / Easwaramoorthy | Fractal Functions, Dimensions and Signal Analysis | Buch | Sack Fachmedien

    Banerjee / Gowrisankar / Easwaramoorthy Fractal Functions, Dimensions and Signal Analysis

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-62671-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kudela / Matoušek / Kudela | Recent Advances in Soft Computing and Cybernetics | Buch | Sack Fachmedien

    Kudela / Matoušek / Kudela Recent Advances in Soft Computing and Cybernetics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61658-8
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamada / Tamura | Applied OSS Reliability Assessment Modeling, AI and Tools | Buch | Sack Fachmedien

    Yamada / Tamura Applied OSS Reliability Assessment Modeling, AI and Tools

    Mathematics and AI for OSS Reliability Assessment
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-64802-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hester / Adams | Systemic Decision Making | Buch | Sack Fachmedien

    Hester / Adams Systemic Decision Making

    Fundamentals for Addressing Problems and Messes
    2. Auflage 2017
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-319-54671-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carmona / García- Medina / Cuevas-Maraver | Nonlinear Systems, Vol. 1 | Buch | Sack Fachmedien

    Carmona / García- Medina / Cuevas-Maraver Nonlinear Systems, Vol. 1

    Mathematical Theory and Computational Methods
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66765-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmüdgen | The Moment Problem | Buch | Sack Fachmedien

    Schmüdgen The Moment Problem

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-64545-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    James | Verification Plans | Buch | Sack Fachmedien

    James Verification Plans

    The Five-Day Verification Strategy for Modern Hardware Verification Languages
    2004
    Verlag: Springer US
    ISBN: 978-1-4020-7619-0
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Estrada / Oppo / Fox | Network Science | Buch | Sack Fachmedien

    Estrada / Oppo / Fox Network Science

    Complexity in Nature and Technology
    2010
    Verlag: Springer
    ISBN: 978-1-4471-6034-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarokh | New Directions in Wireless Communications Research | Buch | Sack Fachmedien

    Tarokh New Directions in Wireless Communications Research

    2009. Auflage 2009
    Verlag: Springer Us
    ISBN: 978-1-4419-0672-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lande | Neuromorphic Systems Engineering | Buch | Sack Fachmedien

    Lande Neuromorphic Systems Engineering

    Neural Networks in Silicon
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-8298-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abe | Neural Networks and Fuzzy Systems | Buch | Sack Fachmedien

    Abe Neural Networks and Fuzzy Systems

    Theory and Applications
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7869-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tejero / Baus | Equilibrium Statistical Physics | Buch | Sack Fachmedien

    Tejero / Baus Equilibrium Statistical Physics

    Phases, Phase Transitions, and Topological Phases
    2. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-75434-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tejero / Baus | Equilibrium Statistical Physics | Buch | Sack Fachmedien

    Tejero / Baus Equilibrium Statistical Physics

    Phases, Phase Transitions, and Topological Phases
    2. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-75431-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beattie / Benner / Lefteriu | Realization and Model Reduction of Dynamical Systems | Buch | Sack Fachmedien

    Beattie / Benner / Lefteriu Realization and Model Reduction of Dynamical Systems

    A Festschrift in Honor of the 70th Birthday of Thanos Antoulas
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-95159-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Hu / Gu | LoRa Localization | Buch | Sack Fachmedien

    Shi / Hu / Gu LoRa Localization

    System Design and Performance Analysis
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-48010-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albeverio / Ugolini / Mastrogiacomo | Complexity and Emergence | Buch | Sack Fachmedien

    Albeverio / Ugolini / Mastrogiacomo Complexity and Emergence

    Lake Como School of Advanced Studies, Italy, July 22-27, 2018
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-95702-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dahleh / Elia | Computational Methods for Controller Design | Buch | Sack Fachmedien

    Dahleh / Elia Computational Methods for Controller Design

    1. Auflage. 1998
    Verlag: Springer
    ISBN: 978-1-85233-075-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy | Deductive Program Design | Buch | Sack Fachmedien

    Broy Deductive Program Design

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60947-6
    Medium: Buch
    213,99 € (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
    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
    Rus / Bertran | Transformation-Based Reactive Systems Development | Buch | Sack Fachmedien

    Rus / Bertran Transformation-Based Reactive Systems Development

    4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63010-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Spies / Merz | Formal Systems Specification | Buch | Sack Fachmedien

    Broy / Spies / Merz Formal Systems Specification

    The RPC-Memory Specification Case Study
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61984-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henzinger / Alur | Computer Aided Verification | Buch | Sack Fachmedien

    Henzinger / Alur Computer Aided Verification

    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61474-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