Ergebnisse filtern
Fachgebiet
Medium
  • 9597
  • 1473
  • 29
  • 12
Erscheinungsjahr
  • 8
  • 217
  • 997
  • 1228
  • 570
  • 413
  • 352
  • 391
  • 368
  • 425
  • 321
  • 435
  • 297
  • 441
  • 407
  • 514
  • 250
  • 517
  • 238
  • 254
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 160
  • 119
  • 107
  • 98
  • 79
  • 81
  • 71
  • 63
  • 68
  • 38
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 8
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 15
  • 5
  • 6
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 6
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 21
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 15
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 18
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 9
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 13
  • 3
  • 9
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 4
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 14
  • 4
  • 3
  • 16
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 3
  • 3
  • 5
  • 9
  • 4
  • 13
  • 5
  • 5
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 11
  • 7
  • 6
  • 4
  • 4
  • 7
  • 12
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 6
  • 8
  • 8
  • 4
  • 38
  • 4
  • 6
  • 10
  • 7
  • 15
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 5
  • 7
  • 14
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 4
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 5
  • 8
  • 11
  • 9
  • 7
  • 63
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 5
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 12
  • 4
  • 4
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 7
  • 6
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 19
  • 13
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 5
  • 5
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 16
  • 6
  • 4
  • 6
  • 4
  • 36
  • 45
  • 12
  • 4
  • 11
  • 9
  • 12
  • 27
  • 6
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 7
  • 6
  • 33
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 12
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 6
  • 12
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 6
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 8
  • 4
  • 1
  • 3
  • 1
  • 51
  • 7
  • 461
  • 3
  • 1
  • 18
  • 3
  • 8
  • 3
  • 284
  • 2
  • 23
  • 2
  • 1
  • 3
  • 3
  • 3
  • 72
  • 1
  • 90
  • 219
  • 4
  • 503
  • 1156
  • 15
  • 1
  • 1
  • 55
  • 102
  • 1
  • 3
  • 1
  • 3
  • 17
  • 1
  • 4
  • 54
  • 34
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 1
  • 12
  • 35
  • 5
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 18
  • 1
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 26
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 4
  • 27
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6029
  • 114
  • 36
  • 1
  • 1
  • 1
  • 2
  • 9
  • 4
  • 7
  • 42
  • 1
  • 127
  • 113
  • 1
  • 9
  • 22
  • 1
  • 290
  • 38
  • 124
  • 4
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 182
  • 3
  • 10
  • 1
  • 24
  • 30
  • 1
  • 1
  • 2
  • 2
Preis
  • 354
  • 1881
  • 5313
  • 3563
Sprachen
  • 10184
  • 938
  • 2
Verfügbarkeit
  • 10959
  • 152
Eigenschaften
  • 5
  • 4
Katalog
  • 11111
  • 1761
11.111  Titel
    Caromel / Henrio | A Theory of Distributed Objects | Buch | Sack Fachmedien

    Caromel / Henrio A Theory of Distributed Objects

    Asynchrony - Mobility - Groups - Components
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05884-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabot / De Virgilio / Torlone | Web Engineering | Buch | Sack Fachmedien

    Cabot / De Virgilio / Torlone Web Engineering

    17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60130-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arnaldi / Hegron | Computer Animation and Simulation '98 | Buch | Sack Fachmedien

    Arnaldi / Hegron Computer Animation and Simulation '98

    Proceedings of the Eurographics Workshop in Lisbon, Portugal, August 31 - September 1, 1998
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-211-83257-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weihrauch | Computable Analysis | Buch | Sack Fachmedien

    Weihrauch Computable Analysis

    An Introduction
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-63102-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thórisson / Isaev / Sheikhlar | Artificial General Intelligence | Buch | Sack Fachmedien

    Thórisson / Isaev / Sheikhlar Artificial General Intelligence

    17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65571-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sano / Soudris / Hübner | Applied Reconfigurable Computing | Buch | Sack Fachmedien

    Sano / Soudris / Hübner Applied Reconfigurable Computing

    11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-16213-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berkling / Joseph / Meyer | Software Engineering Approaches for Offshore and Outsourced Development | Buch | Sack Fachmedien

    Berkling / Joseph / Meyer Software Engineering Approaches for Offshore and Outsourced Development

    Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01855-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mathes / Heinzl | Middleware in Java | Buch | Sack Fachmedien

    Mathes / Heinzl Middleware in Java

    Leitfaden zum Entwurf verteilter Anwendungen - Implementierung von verteilten Systemen über JMS - Verteilte Objekte über RMI und CORBA
    2005
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05912-5
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Kramer / Weiss | Facing the Multicore-Challenge | Buch | Sack Fachmedien

    Keller / Kramer / Weiss Facing the Multicore-Challenge

    Aspects of New Paradigms and Technologies in Parallel Computing
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16232-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Kang / Slezak | Future Generation Information Technology | Buch | Sack Fachmedien

    Lee / Kang / Slezak Future Generation Information Technology

    Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17568-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahringer / Scholz | Advanced Symbolic Analysis for Compilers | Buch | Sack Fachmedien

    Fahringer / Scholz Advanced Symbolic Analysis for Compilers

    New Techniques and Algorithms for Symbolic Program Analysis and Optimization
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-01185-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Tan / Dongarra | Computational Science - ICCS 2002 | Buch | Sack Fachmedien

    Sloot / Tan / Dongarra Computational Science - ICCS 2002

    International Conference Amsterdam, The Netherlands, April 21-24, 2002 Proceedings, Part III
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43594-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ambroszkiewicz / Brzezinski / Brzezinski | Advanced SOA Tools and Applications | Buch | Sack Fachmedien

    Ambroszkiewicz / Brzezinski / Brzezinski Advanced SOA Tools and Applications

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38956-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutvonen / König / Tienari | Distributed Applications and Interoperable Systems II | Buch | Sack Fachmedien

    Kutvonen / König / Tienari Distributed Applications and Interoperable Systems II

    IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99)June 28-July 1, 1999, Helsinki, Finland
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-5008-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortellessa / Inverardi / Di Marco | Model-Based Software Performance Analysis | Buch | Sack Fachmedien

    Cortellessa / Inverardi / Di Marco Model-Based Software Performance Analysis

    2011
    Verlag: Springer
    ISBN: 978-3-642-13620-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramanayake / Urban | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Ramanayake / Urban Automated Reasoning with Analytic Tableaux and Related Methods

    32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43512-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu | Formal Engineering for Industrial Software Development | Buch | Sack Fachmedien

    Liu Formal Engineering for Industrial Software Development

    Using the SOFL Method
    Softcover Nachdruck of hardcover 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05827-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau / Banach | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Lau / Banach Formal Methods and Software Engineering

    7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29797-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Ravara | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Huisman / Ravara Formal Techniques for Distributed Objects, Components, and Systems

    43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35354-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Veith | 25 Years of Model Checking | Buch | Sack Fachmedien

    Grumberg / Veith 25 Years of Model Checking

    History, Achievements, Perspectives
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Stephan | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Hutter / Stephan Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Pihlajasaari / Sun | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Pihlajasaari / Sun FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Nitto / Fuggetta | Process Technology | Buch | Sack Fachmedien

    Di Nitto / Fuggetta Process Technology

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7484-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Gibbons | Integrated Formal Methods | Buch | Sack Fachmedien

    Davies / Gibbons Integrated Formal Methods

    6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73209-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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