Ergebnisse filtern
Fachgebiet
Medium
  • 10050
  • 1630
  • 32
  • 11
Erscheinungsjahr
  • 2
  • 138
  • 552
  • 1206
  • 1212
  • 561
  • 413
  • 348
  • 374
  • 360
  • 412
  • 320
  • 432
  • 297
  • 442
  • 408
  • 513
  • 248
  • 518
  • 237
  • 255
  • 262
  • 225
  • 256
  • 223
  • 223
  • 178
  • 162
  • 119
  • 108
  • 94
  • 84
  • 80
  • 72
  • 60
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 4
  • 3
  • 4
  • 3
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 11
  • 5
  • 10
  • 4
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 23
  • 5
  • 6
  • 7
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 7
  • 4
  • 3
  • 10
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 16
  • 3
  • 4
  • 16
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 10
  • 19
  • 4
  • 9
  • 16
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 11
  • 10
  • 5
  • 3
  • 3
  • 3
  • 3
  • 11
  • 7
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 20
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 8
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 16
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 3
  • 6
  • 8
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 4
  • 4
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 6
  • 7
  • 10
  • 7
  • 4
  • 8
  • 10
  • 6
  • 7
  • 4
  • 9
  • 5
  • 7
  • 22
  • 6
  • 4
  • 18
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 9
  • 4
  • 7
  • 29
  • 25
  • 4
  • 4
  • 8
  • 5
  • 9
  • 8
  • 12
  • 5
  • 19
  • 6
  • 4
  • 16
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 4
  • 4
  • 7
  • 10
  • 6
  • 7
  • 4
  • 4
  • 7
  • 27
  • 9
  • 5
  • 9
  • 7
  • 4
  • 8
  • 4
  • 4
  • 7
  • 4
  • 9
  • 7
  • 11
  • 8
  • 4
  • 41
  • 9
  • 10
  • 7
  • 12
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 20
  • 4
  • 5
  • 4
  • 9
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 8
  • 8
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 10
  • 10
  • 5
  • 6
  • 8
  • 6
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 9
  • 4
  • 7
  • 4
  • 4
  • 19
  • 10
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 7
  • 8
  • 6
  • 5
  • 8
  • 4
  • 10
  • 4
  • 6
  • 4
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 16
  • 7
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 8
  • 13
  • 7
  • 8
  • 12
  • 9
  • 7
  • 66
  • 4
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 10
  • 7
  • 5
  • 7
  • 6
  • 4
  • 12
  • 14
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 4
  • 24
  • 6
  • 10
  • 7
  • 5
  • 4
  • 10
  • 10
  • 12
  • 37
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 4
  • 10
  • 15
  • 7
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 4
  • 23
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 6
  • 6
  • 4
  • 5
  • 8
  • 5
  • 5
  • 8
  • 7
  • 5
  • 13
  • 7
  • 12
  • 11
  • 31
  • 10
  • 8
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 5
  • 5
  • 9
  • 4
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 12
  • 6
  • 10
  • 4
  • 7
  • 4
  • 7
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 9
  • 4
  • 5
  • 5
  • 4
  • 21
  • 21
  • 4
  • 4
  • 12
  • 5
  • 7
  • 5
  • 8
  • 7
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 7
  • 5
  • 5
  • 15
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 9
  • 4
  • 21
  • 15
  • 5
  • 6
  • 4
  • 9
  • 10
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 7
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 8
  • 8
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 4
  • 7
  • 7
  • 23
  • 5
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 6
  • 4
  • 4
  • 4
  • 4
  • 24
  • 6
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 7
  • 4
  • 12
  • 10
  • 4
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 10
  • 11
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 9
  • 16
  • 6
  • 4
  • 4
  • 4
  • 47
  • 56
  • 12
  • 4
  • 9
  • 12
  • 12
  • 22
  • 9
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 7
  • 5
  • 11
  • 7
  • 48
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 4
  • 5
  • 13
  • 35
  • 4
  • 6
  • 5
  • 4
  • 8
  • 10
  • 4
  • 11
  • 10
  • 10
  • 4
  • 6
  • 14
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 6
  • 4
  • 4
  • 15
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 13
  • 13
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 9
  • 7
  • 12
  • 4
  • 7
  • 4
  • 5
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 12
  • 12
  • 4
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 8
  • 6
  • 14
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 22
  • 4
  • 7
  • 10
  • 4
  • 10
  • 9
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 4
  • 1
  • 3
  • 1
  • 52
  • 6
  • 503
  • 1
  • 44
  • 18
  • 3
  • 8
  • 4
  • 281
  • 1
  • 21
  • 1
  • 1
  • 3
  • 4
  • 3
  • 69
  • 1
  • 95
  • 1
  • 219
  • 1
  • 538
  • 1324
  • 15
  • 1
  • 1
  • 2
  • 58
  • 99
  • 2
  • 6
  • 1
  • 1
  • 32
  • 2
  • 1
  • 53
  • 29
  • 1
  • 25
  • 1
  • 4
  • 3
  • 12
  • 5
  • 28
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 2
  • 1
  • 16
  • 49
  • 4
  • 4
  • 5
  • 17
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 12
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 17
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 15
  • 1
  • 7
  • 29
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6470
  • 30
  • 7
  • 1
  • 1
  • 1
  • 4
  • 7
  • 1
  • 25
  • 35
  • 1
  • 124
  • 90
  • 3
  • 2
  • 21
  • 1
  • 1
  • 290
  • 28
  • 113
  • 35
  • 1
  • 24
  • 6
  • 1
  • 3
  • 1
  • 86
  • 1
  • 5
  • 2
  • 181
  • 3
  • 9
  • 1
  • 24
  • 33
  • 1
  • 1
  • 2
  • 2
Preis
  • 387
  • 2038
  • 5570
  • 3728
Sprachen
  • 10766
  • 967
  • 2
Verfügbarkeit
  • 11419
  • 304
Eigenschaften
  • 6
  • 5
Katalog
  • 11723
  • 1829
11.723  Titel
    Paul / Baumann / Lutsyk | System Architecture | Buch | Sack Fachmedien

    Paul / Baumann / Lutsyk System Architecture

    An Ordinary Engineering Discipline
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-82729-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamada / Tamura | OSS Reliability Measurement and Assessment | Buch | Sack Fachmedien

    Yamada / Tamura OSS Reliability Measurement and Assessment

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31817-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pitt / Rydeheard / Johnstone | Category Theory and Computer Science | Buch | Sack Fachmedien

    Pitt / Rydeheard / Johnstone Category Theory and Computer Science

    6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60164-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Campolargo / Karatzas | Bringing Telecommunication Services to the People - IS&N '95 | Buch | Sack Fachmedien

    Clarke / Campolargo / Karatzas Bringing Telecommunication Services to the People - IS&N '95

    Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 - 20, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gollmann | Fast Software Encryption | Buch | Sack Fachmedien

    Gollmann Fast Software Encryption

    Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60865-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Henzinger / Sontag | Hybrid Systems III | Buch | Sack Fachmedien

    Alur / Henzinger / Sontag Hybrid Systems III

    Verification and Control
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61155-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Godefroid | Partial-Order Methods for the Verification of Concurrent Systems | Buch | Sack Fachmedien

    Godefroid Partial-Order Methods for the Verification of Concurrent Systems

    An Approach to the State-Explosion Problem
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60761-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thanos | Research and Advanced Technology for Digital Libraries | Buch | Sack Fachmedien

    Thanos Research and Advanced Technology for Digital Libraries

    First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63554-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trigila / Mullery / Campolargo | Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services | Buch | Sack Fachmedien

    Trigila / Mullery / Campolargo Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services

    5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64598-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craig | Formal Models of Operating System Kernels | Buch | Sack Fachmedien

    Craig Formal Models of Operating System Kernels

    1. Auflage. 2006
    Verlag: Springer
    ISBN: 978-1-84628-375-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramesh / Sivakumar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Ramesh / Sivakumar Foundations of Software Technology and Theoretical Computer Science

    17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63876-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Dauchet | TAPSOFT'97: Theory and Practice of Software Development | Buch | Sack Fachmedien

    Bidoit / Dauchet TAPSOFT'97: Theory and Practice of Software Development

    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62781-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavedon / Rao / Wobcke | Intelligent Agent Systems: Theoretical and Practical Issues | Buch | Sack Fachmedien

    Cavedon / Rao / Wobcke Intelligent Agent Systems: Theoretical and Practical Issues

    Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62686-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff | Ada 95 Reference Manual: Language and Standard Libraries | Buch | Sack Fachmedien

    Taft / Duff Ada 95 Reference Manual: Language and Standard Libraries

    International Standard ISO/IEC 8652:1995 (E)
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63144-6
    Medium: Buch
    106,99 € (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
    Erscheinungsjahr 1998
    Verlag: Springer
    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
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangchoolie / Adler / Hawkins | Dependable Computing - EDCC 2024 Workshops | Buch | Sack Fachmedien

    Sangchoolie / Adler / Hawkins Dependable Computing - EDCC 2024 Workshops

    SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-56775-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wayne | Practical TLA+ | Buch | Sack Fachmedien

    Wayne Practical TLA+

    Planning Driven Development
    1. Auflage 2018
    Verlag: Apress
    ISBN: 978-1-4842-3828-8
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schäfer | Software Process Technology | Buch | Sack Fachmedien

    Schäfer Software Process Technology

    4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59205-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertino / Urban | Object-Oriented Methodologies and Systems | Buch | Sack Fachmedien

    Bertino / Urban Object-Oriented Methodologies and Systems

    International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58451-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morrison / Kennedy | Advances in Databases | Buch | Sack Fachmedien

    Morrison / Kennedy Advances in Databases

    14th British National Conference on Database, BNCOD 14 Edinburgh, UK, July 3 - 5, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61442-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hellwagner / Reinefeld | SCI: Scalable Coherent Interface | Buch | Sack Fachmedien

    Hellwagner / Reinefeld SCI: Scalable Coherent Interface

    Architecture and Software for High-Performance Compute Clusters
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66696-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haverkort / Bohnenkamp / Smith | Computer Performance Evaluation. Modelling Techniques and Tools | Buch | Sack Fachmedien

    Haverkort / Bohnenkamp / Smith Computer Performance Evaluation. Modelling Techniques and Tools

    11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67260-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Estublier | System Configuration Management | Buch | Sack Fachmedien

    Estublier System Configuration Management

    9th International Symposium, SCM-9 Toulouse, France, September 5-7, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66484-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Rumpe | Übungen zur Einführung in die Informatik | Buch | Sack Fachmedien

    Broy / Rumpe Übungen zur Einführung in die Informatik

    Strukturierte Aufgabensammlung mit Musterlösungen
    2. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-42065-1
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Srivas / Camilleri | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Srivas / Camilleri Formal Methods in Computer-Aided Design

    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61937-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greenfield | Distributed Programming Paradigms with Cryptography Applications | Buch | Sack Fachmedien

    Greenfield Distributed Programming Paradigms with Cryptography Applications

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58496-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hentenryck | Static Analysis | Buch | Sack Fachmedien

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gunter / Felty | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Gunter / Felty Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omidyar | Mobile and Wireless Communication Networks | Buch | Sack Fachmedien

    Omidyar Mobile and Wireless Communication Networks

    IFIP-TC6/European Commission NETWORKING 2000 International Workshop, MWCN 2000 Paris, France, May 16-17, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67543-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrenberger | Computer Safety, Reliability and Security | Buch | Sack Fachmedien

    Ehrenberger Computer Safety, Reliability and Security

    17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65110-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Batista / Bureš / Raibulet | Software Architecture. ECSA 2022 Tracks and Workshops | Buch | Sack Fachmedien

    Batista / Bureš / Raibulet Software Architecture. ECSA 2022 Tracks and Workshops

    Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-36888-2
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freidlitz / Vachon / Mungale | Pro .Net Directory Services Programming | Buch | Sack Fachmedien

    Freidlitz / Vachon / Mungale Pro .Net Directory Services Programming

    Softcover Nachdruck of the Original 1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-269-4
    Medium: Buch
    41,72 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Müller-Schloer / Tomforde | Organic Computing - Technical Systems for Survival in the Real World | Buch | Sack Fachmedien

    Müller-Schloer / Tomforde Organic Computing - Technical Systems for Survival in the Real World

    1. Auflage 2017
    Verlag: Birkhäuser
    ISBN: 978-3-319-68476-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craig | Virtual Machines | Buch | Sack Fachmedien

    Craig Virtual Machines

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-969-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dürr / Vie | Competitive Programming in Python | eBook | Sack Fachmedien
    E-Book

    Dürr / Vie Competitive Programming in Python

    128 Algorithms to Develop your Coding Skills
    Erscheinungsjahr 2020
    Verlag: Cambridge University Press
    ISBN: 978-1-108-67380-8
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    32,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Durães / González-Briones / Lujak | Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection | Buch | Sack Fachmedien

    Durães / González-Briones / Lujak Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection

    International Workshops of PAAMS 2023, Guimaraes, Portugal, July 12-14, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37592-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Book / Gruhn / Striemer | Tamed Agility | Buch | Sack Fachmedien

    Book / Gruhn / Striemer Tamed Agility

    Pragmatic Contracting and Collaboration in Agile Software Projects
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41476-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Isazadeh / Izadkhah / Elgedawy | Source Code Modularization | Buch | Sack Fachmedien

    Isazadeh / Izadkhah / Elgedawy Source Code Modularization

    Theory and Techniques
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-87528-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Zschaler | Software Technologies: Applications and Foundations | Buch | Sack Fachmedien

    Seidl / Zschaler Software Technologies: Applications and Foundations

    STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74729-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Stevens | Bidirectional Transformations | Buch | Sack Fachmedien

    Gibbons / Stevens Bidirectional Transformations

    International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-79107-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ammann / Offutt | Introduction to Software Testing | Buch | Sack Fachmedien

    Ammann / Offutt Introduction to Software Testing

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-88038-1
    Medium: Buch
    71,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Craig | Formal Refinement for Operating System Kernels | Buch | Sack Fachmedien

    Craig Formal Refinement for Operating System Kernels

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-1-84996-689-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Phillipson / Eichler / Erfurth | Innovations for Community Services | Buch | Sack Fachmedien

    Phillipson / Eichler / Erfurth Innovations for Community Services

    24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-60432-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stackowiak / Kelly | Design Thinking in Software and AI Projects | Buch | Sack Fachmedien

    Stackowiak / Kelly Design Thinking in Software and AI Projects

    Proving Ideas Through Rapid Prototyping
    1. Auflage 2020
    Verlag: Apress
    ISBN: 978-1-4842-6152-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hornby / Sekanina / Haddow | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Hornby / Sekanina / Haddow Evolvable Systems: From Biology to Hardware

    8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85856-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Butler / Bowen | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Butler / Bowen Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weyns / Brueckner / Demazeau | Engineering Environment-Mediated Multi-Agent Systems | Buch | Sack Fachmedien

    Weyns / Brueckner / Demazeau Engineering Environment-Mediated Multi-Agent Systems

    International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007, Selected Revised and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85028-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Regensburger / Rosenkranz | Algebraic Biology | Buch | Sack Fachmedien

    Horimoto / Regensburger / Rosenkranz Algebraic Biology

    Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85100-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Computing System Reliability | Buch | Sack Fachmedien

    Computing System Reliability

    Models and Analysis
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4757-8804-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salinesi / Pastor | Advanced Information Systems Engineering Workshops | Buch | Sack Fachmedien

    Salinesi / Pastor Advanced Information Systems Engineering Workshops

    CAiSE 2011 International Workshops, London, UK, June 20-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22055-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopalakrishnan / Qadeer | Computer Aided Verification | Buch | Sack Fachmedien

    Gopalakrishnan / Qadeer Computer Aided Verification

    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Auer / Diaz / Papadopoulos | Web Engineering | Buch | Sack Fachmedien

    Auer / Diaz / Papadopoulos Web Engineering

    11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22232-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillon / Herrero | On the Move to Meaningful Internet Systems, OTM 2010 | Buch | Sack Fachmedien

    Dillon / Herrero On the Move to Meaningful Internet Systems, OTM 2010

    Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part I
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16933-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siegler / Wasser | Verification, Induction, Termination Analysis | Buch | Sack Fachmedien

    Siegler / Wasser Verification, Induction, Termination Analysis

    Festschrift for Christoph Walther on the Occasion of His 60th Birthday
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-17171-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meersman / Dillon / Herrero | On the Move to Meaningful Internet Systems: OTM 2010 | Buch | Sack Fachmedien

    Meersman / Dillon / Herrero On the Move to Meaningful Internet Systems: OTM 2010

    Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, Proceedings, Part II
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16948-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernandes / Lämmel / Visser | Generative and Transformational Techniques in Software Engineering III | Buch | Sack Fachmedien

    Fernandes / Lämmel / Visser Generative and Transformational Techniques in Software Engineering III

    International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18022-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23177-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / O Cinneide | Search Based Software Engineering | Buch | Sack Fachmedien

    Cohen / O Cinneide Search Based Software Engineering

    Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23715-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McCool / Reinders / Robison | Structured Parallel Programming | Buch | Sack Fachmedien

    McCool / Reinders / Robison Structured Parallel Programming

    Patterns for Efficient Computation
    Erscheinungsjahr 2012
    Verlag: Elsevier Science
    ISBN: 978-0-12-415993-8
    Medium: Buch
    58,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Berry / Franch | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Berry / Franch Requirements Engineering: Foundation for Software Quality

    17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19857-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bobaru / Havelund / Holzmann | NASA Formal Methods | Buch | Sack Fachmedien

    Bobaru / Havelund / Holzmann NASA Formal Methods

    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20397-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Hallerstede | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects

    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-17070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Computational Collective Intelligence II | Buch | Sack Fachmedien

    Transactions on Computational Collective Intelligence II

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17154-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaschek / Delcambre | The Evolution of Conceptual Modeling | Buch | Sack Fachmedien

    Kaschek / Delcambre The Evolution of Conceptual Modeling

    From a Historical Perspective towards the Future of Conceptual Modeling
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-17504-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guiochet / Tonetta / Schoitsch | Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops | Buch | Sack Fachmedien

    Guiochet / Tonetta / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

    ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40952-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Radgoudarzi / Rad | Microsoft SQL Server 2014 Business Intelligence Development Beginner's Guide | eBook | Sack Fachmedien
    E-Book

    Radgoudarzi / Rad Microsoft SQL Server 2014 Business Intelligence Development Beginner's Guide

    Get to grips with Microsoft Business Intelligence and Data Warehousing technologies using this practical guide
    1. Auflage 2025
    Verlag: De Gruyter
    ISBN: 978-1-84968-889-5
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    28,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Schryen | Anti-Spam Measures | Buch | Sack Fachmedien

    Schryen Anti-Spam Measures

    Analysis and Design
    Softcover Nachdruck of hardcover 1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-09087-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu | Programming Languages and Systems | Buch | Sack Fachmedien

    Hu Programming Languages and Systems

    7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10671-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Wang | Design, User Experience, and Usability. Application Domains | Buch | Sack Fachmedien

    Marcus / Wang Design, User Experience, and Usability. Application Domains

    8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23537-6
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Handbook of Truly Concurrent Process Algebra | Buch | Sack Fachmedien

    Wang Handbook of Truly Concurrent Process Algebra

    Erscheinungsjahr 2023
    Verlag: Elsevier Inc
    ISBN: 978-0-443-21515-5
    Medium: Buch
    290,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Silhavy | Software Engineering: Emerging Trends and Practices in System Development | Buch | Sack Fachmedien

    Silhavy Software Engineering: Emerging Trends and Practices in System Development

    Proceedings of 14th Computer Science On-line Conference 2025, Volume 1
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00235-8
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Lucia / Ferrucci | Software Engineering | Buch | Sack Fachmedien

    De Lucia / Ferrucci Software Engineering

    International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36053-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Nordio | Tools for Practical Software Verification | Buch | Sack Fachmedien

    Meyer / Nordio Tools for Practical Software Verification

    International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35745-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kucera / Henzinger / Nešetril | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Kucera / Henzinger / Nešetril Mathematical and Engineering Methods in Computer Science

    8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jürjens / Livshits / Scandariato | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Jürjens / Livshits / Scandariato Engineering Secure Software and Systems

    5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36562-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bitsch / Guiochet / Kaâniche | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bitsch / Guiochet / Kaâniche Computer Safety, Reliability, and Security

    32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40792-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauber Du Bois / Trinder | Programming Languages | Buch | Sack Fachmedien

    Rauber Du Bois / Trinder Programming Languages

    17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40921-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murgante / Gervasi / Misra | Computational Science and Its Applications -- ICCSA 2012 | Buch | Sack Fachmedien

    Murgante / Gervasi / Misra Computational Science and Its Applications -- ICCSA 2012

    12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31124-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / van der Aalst / Yakovlev | Transactions on Petri Nets and Other Models of Concurrency VIII | Buch | Sack Fachmedien

    Koutny / van der Aalst / Yakovlev Transactions on Petri Nets and Other Models of Concurrency VIII

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40464-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borse | Modern Web Development with Deno | eBook | Sack Fachmedien
    E-Book

    Borse Modern Web Development with Deno

    Develop Modern JavaScript and TypeScript Code with Svelte, React, and GraphQL (English Edition)
    1. Auflage 2025
    Verlag: De Gruyter
    ISBN: 978-93-5551-097-6
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    24,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gorbenko / Romanovsky / Kharchenko | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Gorbenko / Romanovsky / Kharchenko Software Engineering for Resilient Systems

    5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40893-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / De Paoli / Gruhn | Software Composition | Buch | Sack Fachmedien

    Gschwind / De Paoli / Gruhn Software Composition

    11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30563-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Lohmann | Web Services and Formal Methods | Buch | Sack Fachmedien

    ter Beek / Lohmann Web Services and Formal Methods

    9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38229-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheramangalath / Nasre / Srikant | Distributed Graph Analytics | Buch | Sack Fachmedien

    Cheramangalath / Nasre / Srikant Distributed Graph Analytics

    Programming, Languages, and Their Compilation
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-41885-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Nahir / Vos | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Biere / Nahir / Vos Hardware and Software: Verification and Testing

    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39610-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murgante / Misra / Carlini | Computational Science and Its Applications -- ICCSA 2013 | Buch | Sack Fachmedien

    Murgante / Misra / Carlini Computational Science and Its Applications -- ICCSA 2013

    13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39645-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiba / Tanter / Bodden | Transactions on Aspect-Oriented Software Development XI | Buch | Sack Fachmedien

    Chiba / Tanter / Bodden Transactions on Aspect-Oriented Software Development XI

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-55098-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oviatt / Cohen | The Paradigm Shift to Multimodality in Contemporary Computer Interfaces | Buch | Sack Fachmedien

    Oviatt / Cohen The Paradigm Shift to Multimodality in Contemporary Computer Interfaces

    Erscheinungsjahr 2015
    Verlag: Springer
    ISBN: 978-3-031-01085-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shroff | Enterprise Cloud Computing | Buch | Sack Fachmedien

    Shroff Enterprise Cloud Computing

    Technology, Architecture, Applications
    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-76095-9
    Medium: Buch
    76,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Liu | Agile-SOFL | Buch | Sack Fachmedien

    Liu Agile-SOFL

    Agile Formal Engineering Method
    2024
    Verlag: Springer Nature Singapore
    ISBN: 978-981-97-2284-6
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barroca / Hall | Software Architectures | Buch | Sack Fachmedien

    Barroca / Hall Software Architectures

    Advances and Applications
    2000
    Verlag: Springer
    ISBN: 978-1-85233-636-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Payer / Rashid / Such | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Payer / Rashid / Such Engineering Secure Software and Systems

    10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94495-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Moscato / Titolo | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Moscato / Titolo NASA Formal Methods

    13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-76383-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ruiz / Garcia-Luna-Aceves | Ad-Hoc, Mobile and Wireless Networks | Buch | Sack Fachmedien

    Ruiz / Garcia-Luna-Aceves Ad-Hoc, Mobile and Wireless Networks

    8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04382-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carro / Peña | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Carro / Peña Practical Aspects of Declarative Languages

    12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11502-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noble / Johnson | Transactions on Pattern Languages of Programming I | Buch | Sack Fachmedien

    Noble / Johnson Transactions on Pattern Languages of Programming I

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-10831-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73108-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Derrick / Vain | Formal Techniques for Networked and Distributed Systems - FORTE 2007 | Buch | Sack Fachmedien

    Derrick / Vain Formal Techniques for Networked and Distributed Systems - FORTE 2007

    27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73195-5
    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