Ergebnisse filtern
Fachgebiet
Medium
  • 9626
  • 1630
  • 29
  • 12
Erscheinungsjahr
  • 8
  • 240
  • 1149
  • 1228
  • 568
  • 418
  • 352
  • 390
  • 369
  • 425
  • 322
  • 435
  • 297
  • 442
  • 408
  • 514
  • 250
  • 517
  • 238
  • 253
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 161
  • 119
  • 107
  • 98
  • 84
  • 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
  • 5
  • 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
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 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
  • 22
  • 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
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 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
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 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
  • 19
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 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
  • 4
  • 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
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 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
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 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
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 6
  • 10
  • 5
  • 9
  • 13
  • 4
  • 5
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 11
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 6
  • 10
  • 7
  • 15
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 5
  • 7
  • 12
  • 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
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 5
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 5
  • 8
  • 12
  • 9
  • 7
  • 62
  • 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
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 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
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 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
  • 4
  • 6
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 18
  • 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
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 16
  • 6
  • 4
  • 4
  • 4
  • 36
  • 45
  • 12
  • 4
  • 6
  • 9
  • 12
  • 22
  • 10
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 5
  • 8
  • 32
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 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
  • 5
  • 4
  • 1
  • 3
  • 1
  • 51
  • 7
  • 463
  • 3
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 22
  • 2
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 94
  • 218
  • 4
  • 500
  • 1318
  • 15
  • 1
  • 1
  • 1
  • 56
  • 101
  • 1
  • 3
  • 1
  • 1
  • 30
  • 4
  • 2
  • 56
  • 32
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 38
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 1
  • 16
  • 50
  • 5
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 28
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 4
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6133
  • 45
  • 27
  • 1
  • 1
  • 1
  • 2
  • 9
  • 4
  • 41
  • 1
  • 127
  • 104
  • 5
  • 22
  • 1
  • 294
  • 37
  • 129
  • 6
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 164
  • 3
  • 10
  • 1
  • 24
  • 23
  • 1
  • 1
  • 2
  • 2
Preis
  • 430
  • 1968
  • 5333
  • 3566
Sprachen
  • 10355
  • 953
  • 2
Verfügbarkeit
  • 11155
  • 142
Eigenschaften
  • 8
  • 4
Katalog
  • 11297
  • 1763
11.297  Titel
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Modeling | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03417-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Penczek / Szalas | Mathematical Foundations of Computer Science 1996 | Buch | Sack Fachmedien

    Penczek / Szalas Mathematical Foundations of Computer Science 1996

    21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61550-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stoelinga / Pinger | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Stoelinga / Pinger Formal Methods for Industrial Critical Systems

    17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32468-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68862-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Resende / Ribeiro | Optimization by GRASP | Buch | Sack Fachmedien

    Resende / Ribeiro Optimization by GRASP

    Greedy Randomized Adaptive Search Procedures
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-1-4939-6528-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quesada-Arencibia / Affenzeller / Moreno-Díaz | Computer Aided Systems Theory - EUROCAST 2024 | Buch | Sack Fachmedien

    Quesada-Arencibia / Affenzeller / Moreno-Díaz Computer Aided Systems Theory - EUROCAST 2024

    19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-83887-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng / Gu / Pan | Software Defined Systems | Buch | Sack Fachmedien

    Zeng / Gu / Pan Software Defined Systems

    Sensing, Communication and Computation
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-32941-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delgado / Stamoulis / Mullery | Telecommunications and IT Convergence. Towards Service E-volution | Buch | Sack Fachmedien

    Delgado / Stamoulis / Mullery Telecommunications and IT Convergence. Towards Service E-volution

    7th International Conference on Intelligence in Services and Networks, IS&N 2000, Athens, Greece, February 23-25, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67152-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | Buch | Sack Fachmedien

    Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-319-00737-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pophale / Imam / Aderholdt | OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity | Buch | Sack Fachmedien

    Pophale / Imam / Aderholdt OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity

    5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-04917-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Troubitsyna | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Troubitsyna Software Engineering for Resilient Systems

    Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24123-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Janson | Beginning Java with Websphere | Buch | Sack Fachmedien

    Janson Beginning Java with Websphere

    1. Auflage 2013
    Verlag: Apress
    ISBN: 978-1-4302-6301-2
    Medium: Buch
    48,10 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Alpuente / Vidal-Oriola | Static Analysis | Buch | Sack Fachmedien

    Alpuente / Vidal-Oriola Static Analysis

    15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-69163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comyn-Wattiau / Tanaka / Song | Conceptual Modeling | Buch | Sack Fachmedien

    Comyn-Wattiau / Tanaka / Song Conceptual Modeling

    35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46396-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colombo / Leucker | Runtime Verification | Buch | Sack Fachmedien

    Colombo / Leucker Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03768-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth / Telek | Formal Methods and Stochastic Models for Performance Evaluation | Buch | Sack Fachmedien

    Horváth / Telek Formal Methods and Stochastic Models for Performance Evaluation

    Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35362-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    C. Nogueira / Teodorov | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    C. Nogueira / Teodorov Formal Methods: Foundations and Applications

    27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78115-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maneth | Implementation and Application of Automata | Buch | Sack Fachmedien

    Maneth Implementation and Application of Automata

    14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02978-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bunt / Beun / Borghuis | Multimodal Human-Computer Communication | Buch | Sack Fachmedien

    Bunt / Beun / Borghuis Multimodal Human-Computer Communication

    Systems, Techniques, and Experiments
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64380-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Selvaraj | Advanced Flutter | Buch | Sack Fachmedien

    Selvaraj Advanced Flutter

    Build High-Performance, Cross-Platform Apps for Mobile, Web and Desktop
    1. Auflage 2026
    Verlag: Apress
    ISBN: 979-8-8688-2104-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Sato / Hanawa / Müller | Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More | Buch | Sack Fachmedien

    Sato / Hanawa / Müller Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13216-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rust | Operational Semantics for Timed Systems | Buch | Sack Fachmedien

    Rust Operational Semantics for Timed Systems

    A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25576-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Wooldridge | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    Peled / Wooldridge Model Checking and Artificial Intelligence

    5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00430-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Volkert | Parallel Computation | Buch | Sack Fachmedien

    Volkert Parallel Computation

    Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57314-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mohanty / Das / Ray | Meta Heuristic Techniques in Software Engineering and Its Applications | Buch | Sack Fachmedien

    Mohanty / Das / Ray Meta Heuristic Techniques in Software Engineering and Its Applications

    METASOFT 2022
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-11769-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breitman / Cavalcanti | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Breitman / Cavalcanti Formal Methods and Software Engineering

    11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10372-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Ganesh | Computer Aided Verification | Buch | Sack Fachmedien

    Gurfinkel / Ganesh Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-65626-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunnumpurath | JBoss 3.2 Deployment and Administration | Buch | Sack Fachmedien

    Kunnumpurath JBoss 3.2 Deployment and Administration

    1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-281-6
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Cisternino | Advances in Software Engineering | Buch | Sack Fachmedien

    Börger / Cisternino Advances in Software Engineering

    Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89761-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Pillai / Bai | Distributed Ledger Technology | Buch | Sack Fachmedien

    Dong / Pillai / Bai Distributed Ledger Technology

    7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-97-0005-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nieuwenhuis / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Nieuwenhuis / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42957-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mendez / Avgeriou / Kalinowski | Handbook on Teaching Empirical Software Engineering | Buch | Sack Fachmedien

    Mendez / Avgeriou / Kalinowski Handbook on Teaching Empirical Software Engineering

    2025
    Verlag: Springer
    ISBN: 978-3-031-71768-0
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sztipanovits | Reliable Systems on Unreliable Networked Platforms | Buch | Sack Fachmedien

    Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71155-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbosa / Markopoulos / Paternò | End-User Development | Buch | Sack Fachmedien

    Barbosa / Markopoulos / Paternò End-User Development

    6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zöller-Greer / Mildenberger | Softwareengineering für Ingenieure und Informatiker | Buch | Sack Fachmedien

    Zöller-Greer / Mildenberger Softwareengineering für Ingenieure und Informatiker

    Planung, Entwurf und Implementierung
    2002
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-03939-4
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fonseca / Fleming / Zitzler | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization

    Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-01869-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lopez-Garcia / Gallagher / Giacobazzi | Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | Buch | Sack Fachmedien

    Lopez-Garcia / Gallagher / Giacobazzi Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

    Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-31475-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bunt / Beun | Cooperative Multimodal Communication | Buch | Sack Fachmedien

    Bunt / Beun Cooperative Multimodal Communication

    Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998. Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42806-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Guo / Chen | Embedded Software and Systems | Buch | Sack Fachmedien

    Wu / Guo / Chen Embedded Software and Systems

    First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28128-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Alfaro | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    de Alfaro Foundations of Software Science and Computational Structures

    12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00595-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verdone | Wireless Sensor Networks | Buch | Sack Fachmedien

    Verdone Wireless Sensor Networks

    5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77689-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weyns / Malek / de Lemos | Self-Organizing Architectures | Buch | Sack Fachmedien

    Weyns / Malek / de Lemos Self-Organizing Architectures

    First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14411-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Resende / Ribeiro | Optimization by GRASP | Buch | Sack Fachmedien

    Resende / Ribeiro Optimization by GRASP

    Greedy Randomized Adaptive Search Procedures
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-1-4939-8227-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franch / Männistö / Martínez-Fernández | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Franch / Männistö / Martínez-Fernández Product-Focused Software Process Improvement

    20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-35332-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Charatan / Kans | Programming in Two Semesters | Buch | Sack Fachmedien

    Charatan / Kans Programming in Two Semesters

    Using Python and Java
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-01328-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Reis | Implementation and Application of Automata | Buch | Sack Fachmedien

    Moreira / Reis Implementation and Application of Automata

    17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31605-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Reitenspieß / Moorsel | Service Availability | Buch | Sack Fachmedien

    Malek / Reitenspieß / Moorsel Service Availability

    4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72735-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dabrowski / Dabrowski / Pieprzyk | Number-Theoretic Methods in Cryptology | Buch | Sack Fachmedien

    Dabrowski / Dabrowski / Pieprzyk Number-Theoretic Methods in Cryptology

    4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82379-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Holík / Wu | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Bouajjani / Holík / Wu Automated Technology for Verification and Analysis

    20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19991-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kacsuk / Kotsis | Distributed and Parallel Systems | Buch | Sack Fachmedien

    Kacsuk / Kotsis Distributed and Parallel Systems

    From Instruction Parallelism to Cluster Computing
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7023-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Plödereder / Dencker | Reliable Software Technologies -- Ada-Europe 2013 | Buch | Sack Fachmedien

    Keller / Plödereder / Dencker Reliable Software Technologies -- Ada-Europe 2013

    18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38600-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kreczmar / Salwicki / Warpechowski | LOGLAN '88 - Report on the Programming Language | Buch | Sack Fachmedien

    Kreczmar / Salwicki / Warpechowski LOGLAN '88 - Report on the Programming Language

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52325-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moro / Bergamaschi / Joseph | Databases, Information Systems, and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Moro / Bergamaschi / Joseph Databases, Information Systems, and Peer-to-Peer Computing

    International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-71660-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silhavy | Artificial Intelligence for System Oriented Design | Buch | Sack Fachmedien

    Silhavy Artificial Intelligence for System Oriented Design

    Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-96797-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Virvou / Nakagawa / C. Jain | Knowledge-Based Software Engineering: 2020 | Buch | Sack Fachmedien

    Virvou / Nakagawa / C. Jain Knowledge-Based Software Engineering: 2020

    Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53951-1
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bembenik / Skonieczny / Rybinski | Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation | Buch | Sack Fachmedien

    Bembenik / Skonieczny / Rybinski Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-319-38239-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50845-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qualitätsoptimierung der Software-Entwicklung | Buch | Sack Fachmedien

    Qualitätsoptimierung der Software-Entwicklung

    Das Capability Maturity Model (CMM)
    1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-322-84930-4
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barker | Beginning Java Objects | Buch | Sack Fachmedien

    Barker Beginning Java Objects

    From Concepts to Code
    Third Auflage
    Verlag: Apress
    ISBN: 978-1-4842-9059-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Rago / Rash | Innovative Concepts for Autonomic and Agent-Based Systems | Buch | Sack Fachmedien

    Hinchey / Rago / Rash Innovative Concepts for Autonomic and Agent-Based Systems

    Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69265-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Dershowitz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75558-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borwein / Morales / Polthier | Multimedia Tools for Communicating Mathematics | Buch | Sack Fachmedien

    Borwein / Morales / Polthier Multimedia Tools for Communicating Mathematics

    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-42450-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luque / Margalef / Benítez | Euro-Par 2008 Parallel Processing | Buch | Sack Fachmedien

    Luque / Margalef / Benítez Euro-Par 2008 Parallel Processing

    14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-85450-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmid | Top Productivity through Software Reuse | Buch | Sack Fachmedien

    Schmid Top Productivity through Software Reuse

    12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21346-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laaksonen | Guide to Using Generative AI in Programming | Buch | Sack Fachmedien

    Laaksonen Guide to Using Generative AI in Programming

    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-07452-2
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Crnkovic / Heineman | Component-Based Software Engineering | Buch | Sack Fachmedien

    Schmidt / Crnkovic / Heineman Component-Based Software Engineering

    10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73550-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gradmann / Borri / Meghini | Research and Advanced Technology for Digital Libraries | Buch | Sack Fachmedien

    Gradmann / Borri / Meghini Research and Advanced Technology for Digital Libraries

    International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24468-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler | Evolutionary Algorithms for Embedded System Design | Buch | Sack Fachmedien

    Drechsler Evolutionary Algorithms for Embedded System Design

    2003
    Verlag: Springer US
    ISBN: 978-1-4613-5362-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Lin | Advances in Multimedia, Software Engineering and Computing Vol.2 | Buch | Sack Fachmedien

    Jin / Lin Advances in Multimedia, Software Engineering and Computing Vol.2

    Proceedings of the 2011 MESC International Conference on Multimedia, Software Engineering, November 26-27, Wuhan, China
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25985-2
    Medium: Buch
    353,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Nickovic / Nickovic | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58297-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Woeginger | Computing and Software Science | Buch | Sack Fachmedien

    Steffen / Woeginger Computing and Software Science

    State of the Art and Perspectives
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-319-91907-2
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Draheim | Pathways in Software Engineering | Buch | Sack Fachmedien

    Draheim Pathways in Software Engineering

    On the Development and Operations of Large-Scale Software Systems
    1. Auflage 3000
    Verlag: Springer
    ISBN: 978-3-642-17739-2
    Medium: Buch
    64,15 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Anai / Horimoto / Kutsia | Algebraic Biology | Buch | Sack Fachmedien

    Anai / Horimoto / Kutsia Algebraic Biology

    Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73432-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergé / Levia / Rouillard | Models in System Design | Buch | Sack Fachmedien

    Bergé / Levia / Rouillard Models in System Design

    1. Auflage 2012
    Verlag: Humana
    ISBN: 978-1-4613-7890-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Binder / Bodden / Löwe | Software Composition | Buch | Sack Fachmedien

    Binder / Bodden / Löwe Software Composition

    12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39613-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prehofer | Solving Higher-Order Equations | Buch | Sack Fachmedien

    Prehofer Solving Higher-Order Equations

    From Logic to Programming
    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-1-4612-7278-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alagar / Nivat | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Alagar / Nivat Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li | An Approach to Modelling Software Evolution Processes | Buch | Sack Fachmedien

    Li An Approach to Modelling Software Evolution Processes

    2009
    Verlag: Springer
    ISBN: 978-3-540-79463-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | Buch | Sack Fachmedien

    Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-62047-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donatelli / Kleijn | Application and Theory of Petri Nets 1999 | Buch | Sack Fachmedien

    Donatelli / Kleijn Application and Theory of Petri Nets 1999

    20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutra / Plant / Gomez Rodriguez | Machine Learning and Knowledge Discovery in Databases: Research Track | Buch | Sack Fachmedien

    Koutra / Plant / Gomez Rodriguez Machine Learning and Knowledge Discovery in Databases: Research Track

    European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43411-2
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan | Automatic Re-engineering of Software Using Genetic Programming | Buch | Sack Fachmedien

    Ryan Automatic Re-engineering of Software Using Genetic Programming

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-7094-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfahl / Gonzalez Huerta / Klünder | Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers | Buch | Sack Fachmedien

    Pfahl / Gonzalez Huerta / Klünder Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers

    25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78391-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Westfechtel / van der Hoek | Software Configuration Management | Buch | Sack Fachmedien

    Westfechtel / van der Hoek Software Configuration Management

    ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-14036-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reddy / Upadhyayula | Beginning Spring Boot 3 | Buch | Sack Fachmedien

    Reddy / Upadhyayula Beginning Spring Boot 3

    Build Dynamic Cloud-Native Java Applications and Microservices
    2. Auflage 2022
    Verlag: Apress
    ISBN: 978-1-4842-8791-0
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shen | Algorithms and Programming | Buch | Sack Fachmedien

    Shen Algorithms and Programming

    Problems and Solutions
    2. Auflage 2010
    Verlag: Springer
    ISBN: 978-1-4419-1747-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duddy / Kappel | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Duddy / Kappel Theory and Practice of Model Transformations

    6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38882-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kronland-Martinet / Ystad / Aramaki | Perception, Representations, Image, Sound, Music | Buch | Sack Fachmedien

    Kronland-Martinet / Ystad / Aramaki Perception, Representations, Image, Sound, Music

    14th International Symposium, CMMR 2019, Marseille, France, October 14-18, 2019, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-70209-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moodie | Pro Apache Ant | Buch | Sack Fachmedien

    Moodie Pro Apache Ant

    1. Auflage 2012
    Verlag: Apress
    ISBN: 978-1-4302-4311-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pitt / Rydeheard / Dybjer | Category Theory and Computer Science | Buch | Sack Fachmedien

    Pitt / Rydeheard / Dybjer Category Theory and Computer Science

    Manchester, UK, September 5-8, 1989. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51662-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kouchnarenko / Khosravi | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Kouchnarenko / Khosravi Formal Aspects of Component Software

    13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57665-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Keller | Tests and Proofs | Buch | Sack Fachmedien

    Beyer / Keller Tests and Proofs

    13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31156-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bembenik / Skonieczny / Rybinski | Intelligent Tools for Building a Scientific Information Platform | Buch | Sack Fachmedien

    Bembenik / Skonieczny / Rybinski Intelligent Tools for Building a Scientific Information Platform

    Advanced Architectures and Solutions
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35646-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    England / Palanque / Vanderdonckt | Task Models and Diagrams for User Interface Design | Buch | Sack Fachmedien

    England / Palanque / Vanderdonckt Task Models and Diagrams for User Interface Design

    8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11796-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gotzhein / Reed | System Analysis and Modeling: Language Profiles | Buch | Sack Fachmedien

    Gotzhein / Reed System Analysis and Modeling: Language Profiles

    5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68371-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruel / Mazzara / Meyer | Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment | Buch | Sack Fachmedien

    Bruel / Mazzara / Meyer Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

    Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-39305-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parisi-Presicce | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Parisi-Presicce Recent Trends in Algebraic Development Techniques

    12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64299-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orejas / Spirakis / Leeuwen | Automata, Languages and Programming | Buch | Sack Fachmedien

    Orejas / Spirakis / Leeuwen Automata, Languages and Programming

    28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42287-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daniel / Diaz | Current Trends in Web Engineering | Buch | Sack Fachmedien

    Daniel / Diaz Current Trends in Web Engineering

    15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24799-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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