Ergebnisse filtern
Fachgebiet
Medium
  • 2831
  • 124
  • 26
  • 1
Erscheinungsjahr
  • 6
  • 63
  • 36
  • 75
  • 75
  • 94
  • 100
  • 153
  • 81
  • 161
  • 104
  • 203
  • 238
  • 412
  • 79
  • 189
  • 87
  • 45
  • 30
  • 25
  • 29
  • 27
  • 49
  • 61
  • 51
  • 47
  • 52
  • 42
  • 39
  • 43
  • 40
  • 25
  • 25
  • 14
  • 16
  • 12
  • 10
  • 6
  • 8
  • 8
  • 10
  • 1
  • 5
  • 1
  • 4
  • 3
  • 1
  • 6
  • 3
  • 7
  • 7
  • 9
  • 4
  • 3
  • 5
  • 4
  • 4
  • 2
  • 4
  • 5
  • 3
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 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
  • 2
  • 8
  • 12
  • 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
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 35
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 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
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 16
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 9
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 5
  • 3
  • 4
  • 3
  • 3
  • 10
  • 4
  • 8
  • 5
  • 5
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 7
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 8
  • 12
  • 6
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 8
  • 3
  • 3
  • 35
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 8
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 6
Verlag
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 4
  • 3
  • 3
  • 23
  • 1
  • 45
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 20
  • 1
  • 3
  • 17
  • 3
  • 2
  • 8
  • 35
  • 76
  • 3
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 17
  • 8
  • 3
  • 1
  • 1
  • 3
  • 4
  • 1
  • 11
  • 46
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 6
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 9
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 10
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 10
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 10
  • 4
  • 1
  • 1
  • 4
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 651
  • 196
  • 4
  • 510
  • 23
  • 6
  • 2
  • 144
  • 13
  • 191
  • 1
  • 387
  • 5
  • 18
  • 1
  • 1
  • 16
  • 1
  • 14
  • 28
  • 30
  • 29
  • 15
  • 1
  • 1
  • 22
  • 11
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 7
  • 3
  • 1
  • 3
  • 3
  • 1
  • 15
  • 8
  • 1
  • 1
  • 39
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Preis
  • 90
  • 228
  • 818
  • 1846
Sprachen
  • 2614
  • 370
  • 4
Verfügbarkeit
  • 2934
  • 48
Katalog
  • 2982
  • 399
2.982  Titel
    Wen / Yu / Lv | Cooperative Control of Complex Network Systems with Dynamic Topologies | Buch | Sack Fachmedien

    Wen / Yu / Lv Cooperative Control of Complex Network Systems with Dynamic Topologies

    1. Auflage 2023
    Verlag: CRC Press
    ISBN: 978-1-032-01917-8
    Medium: Buch
    64,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huth / Ryan | Logic in Computer Science 2ed | Buch | Sack Fachmedien

    Huth / Ryan Logic in Computer Science 2ed

    2. Auflage 2019
    Verlag: Cambridge University Press
    ISBN: 978-0-521-54310-1
    Medium: Buch
    71,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scherr | Systemtheorie und Differenzierungstheorie als Kritik | Buch | Sack Fachmedien

    Scherr Systemtheorie und Differenzierungstheorie als Kritik

    Perspektiven in Anschluss an Niklas Luhmann
    1. Auflage 2015
    Verlag: Juventa Verlag GmbH
    ISBN: 978-3-7799-2970-3
    Medium: Buch
    24,95 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Witt | Systemtheorie konkret | Buch | Sack Fachmedien

    Witt Systemtheorie konkret

    Zu Niklas Luhmanns "Realität der Massenmedien"
    1. Auflage 2010
    Verlag: Tectum Verlag
    ISBN: 978-3-8288-2418-8
    Medium: Buch
    24,90 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Cooper / McGillem | Probabilistic Methods of Signal and System Analysis | Buch | Sack Fachmedien

    Cooper / McGillem Probabilistic Methods of Signal and System Analysis

    3rd Auflage
    Verlag: OUP USA
    ISBN: 978-0-19-512354-8
    Medium: Buch
    217,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marinescu | Complex Systems and Clouds | Buch | Sack Fachmedien

    Marinescu Complex Systems and Clouds

    A Self-Organization and Self-Management Perspective
    Erscheinungsjahr 2016
    Verlag: Elsevier Science Publishing Co Inc
    ISBN: 978-0-12-804041-6
    Medium: Buch
    34,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakib / Tari / Bertok | Verification of Communication Protocols in Web Services | Buch | Sack Fachmedien

    Sakib / Tari / Bertok Verification of Communication Protocols in Web Services

    Model-Checking Service Compositions
    1. Auflage 2013
    Verlag: Wiley
    ISBN: 978-0-470-90539-5
    Medium: Buch
    145,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weinbach / Pasero | Frauen, Männer, Gender Trouble | Buch | Sack Fachmedien

    Weinbach / Pasero Frauen, Männer, Gender Trouble

    Systemtheoretische Essays
    2. Auflage 2003
    Verlag: Suhrkamp Verlag AG
    ISBN: 978-3-518-29237-2
    Medium: Buch
    21,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer | Design for Reliability | Buch | Sack Fachmedien

    Bauer Design for Reliability

    Information and Computer-Based Systems
    1. Auflage 2010
    Verlag: Wiley
    ISBN: 978-0-470-60465-6
    Medium: Buch
    137,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xi / Wang / Lu | Admissible Consensus and Consensualization for Singular Multi-agent Systems | Buch | Sack Fachmedien

    Xi / Wang / Lu Admissible Consensus and Consensualization for Singular Multi-agent Systems

    1. Auflage 2023
    Verlag: Springer Nature Singapore
    ISBN: 978-981-19-6989-8
    Medium: Buch
    128,39 € (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
    Juiz / Thomas | Computer Performance Engineering | Buch | Sack Fachmedien

    Juiz / Thomas Computer Performance Engineering

    5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87411-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Li | Network and Parallel Computing | Buch | Sack Fachmedien

    Cao / Li Network and Parallel Computing

    IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-88139-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coufal / Psaltis / Sincerbox | Holographic Data Storage | Buch | Sack Fachmedien

    Coufal / Psaltis / Sincerbox Holographic Data Storage

    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66691-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rischel / Ravn | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Rischel / Ravn Formal Techniques in Real-Time and Fault-Tolerant Systems

    5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65003-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Limongelli / Calmet | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Limongelli / Calmet Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61697-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen Tools and Algorithms for the Construction and Analysis of Systems

    4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64356-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baber / Noyes | User-Centred Design of Systems | Buch | Sack Fachmedien

    Baber / Noyes User-Centred Design of Systems

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-76007-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gray | Introduction to the Formal Design of Real-Time Systems | Buch | Sack Fachmedien

    Gray Introduction to the Formal Design of Real-Time Systems

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-76140-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | Tools and Algorithms for the Construction of Analysis of Systems | Buch | Sack Fachmedien

    Cleaveland Tools and Algorithms for the Construction of Analysis of Systems

    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65703-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Pol / Haverkort | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Pol / Haverkort Formal Methods: Applications and Technology

    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovic / Wong / Dimopoulos | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Berekovic / Wong / Dimopoulos Embedded Computer Systems: Architectures, Modeling, and Simulation

    8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70549-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Sastry | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Sastry Hybrid Systems V

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wise / Hopkin / Stager | Verification and Validation of Complex Systems: Human Factors Issues | Buch | Sack Fachmedien

    Wise / Hopkin / Stager Verification and Validation of Complex Systems: Human Factors Issues

    Prodeecings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portugal, July 6-17, 1992
    1993
    Verlag: Springer
    ISBN: 978-3-540-56574-1
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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