Ergebnisse filtern
Fachgebiet
Medium
  • 10050
  • 1628
  • 32
  • 11
Erscheinungsjahr
  • 2
  • 140
  • 550
  • 1206
  • 1212
  • 561
  • 411
  • 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
  • 5
  • 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
  • 7
  • 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
  • 93
  • 1
  • 219
  • 1
  • 539
  • 1324
  • 15
  • 1
  • 1
  • 2
  • 58
  • 99
  • 2
  • 6
  • 1
  • 1
  • 30
  • 2
  • 1
  • 53
  • 31
  • 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
  • 15
  • 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
  • 2036
  • 5564
  • 3734
Sprachen
  • 10766
  • 965
  • 2
Verfügbarkeit
  • 11418
  • 303
Eigenschaften
  • 5
  • 5
Katalog
  • 11721
  • 1829
11.721  Titel
    Wagner / Schmuki / Wolstenholme | Modeling Software with Finite State Machines | Buch | Sack Fachmedien

    Wagner / Schmuki / Wolstenholme Modeling Software with Finite State Machines

    A Practical Approach
    1. Auflage 2006
    Verlag: Auerbach Publications
    ISBN: 978-0-8493-8086-0
    Medium: Buch
    203,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Subburaj / Singh / Cukovic | Smart VR/AR/MR Systems for Professionals | Buch | Sack Fachmedien

    Subburaj / Singh / Cukovic Smart VR/AR/MR Systems for Professionals

    1. Auflage 2025
    Verlag: CRC Press
    ISBN: 978-1-032-30652-0
    Medium: Buch
    81,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Kumar Saini / Zia | Soft Computing Principles and Integration for Real-Time Service-Oriented Computing | Buch | Sack Fachmedien

    Gupta / Kumar Saini / Zia Soft Computing Principles and Integration for Real-Time Service-Oriented Computing

    1. Auflage 2025
    Verlag: Auerbach Publications
    ISBN: 978-1-032-71670-1
    Medium: Buch
    97,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bhardwaj | A Practical Approach to Open Source Intelligence (OSINT) - Volume 1 | Buch | Sack Fachmedien

    Bhardwaj A Practical Approach to Open Source Intelligence (OSINT) - Volume 1

    1. Auflage 2025
    Verlag: CRC Press
    ISBN: 978-1-032-80596-2
    Medium: Buch
    80,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerone / Autili / Bucaioni | Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops | Buch | Sack Fachmedien

    Cerone / Autili / Bucaioni Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12428-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Systä | Scenarios: Models, Transformations and Tools | Buch | Sack Fachmedien

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kock Wiil | Metainformatics | Buch | Sack Fachmedien

    Kock Wiil Metainformatics

    International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27328-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouyssounouse / Sifakis | Embedded Systems Design | Buch | Sack Fachmedien

    Bouyssounouse / Sifakis Embedded Systems Design

    The ARTIST Roadmap for Research and Development
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25107-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kudenko / Kazakov / Alonso | Adaptive Agents and Multi-Agent Systems II | Buch | Sack Fachmedien

    Kudenko / Kazakov / Alonso Adaptive Agents and Multi-Agent Systems II

    Adaptation and Multi-Agent Learning
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25260-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chapman | Shared Memory Parallel Programming with Open MP | Buch | Sack Fachmedien

    Chapman Shared Memory Parallel Programming with Open MP

    5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24560-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choren / Garcia / Lucena | Software Engineering for Multi-Agent Systems III | Buch | Sack Fachmedien

    Choren / Garcia / Lucena Software Engineering for Multi-Agent Systems III

    Research Issues and Practical Applications
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24843-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dal Cin / Kaâniche / Pataricza | Dependable Computing - EDCC 2005 | Buch | Sack Fachmedien

    Dal Cin / Kaâniche / Pataricza Dependable Computing - EDCC 2005

    5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25723-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vene / Uustalu | Advanced Functional Programming | Buch | Sack Fachmedien

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fages / Soliman | Principles and Practice of Semantic Web Reasoning | Buch | Sack Fachmedien

    Fages / Soliman Principles and Practice of Semantic Web Reasoning

    Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28793-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hurd / Melham | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Hurd / Melham Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / Assmann / Nierstrasz | Software Composition | Buch | Sack Fachmedien

    Gschwind / Assmann / Nierstrasz Software Composition

    4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28748-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Syrotiuk / Chávez | Ad-Hoc, Mobile, and Wireless Networks | Buch | Sack Fachmedien

    Syrotiuk / Chávez Ad-Hoc, Mobile, and Wireless Networks

    4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29132-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24559-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Ullmann | Security in Pervasive Computing | Buch | Sack Fachmedien

    Hutter / Ullmann Security in Pervasive Computing

    Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25521-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treharne / King / Henson | ZB 2005: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Treharne / King / Henson ZB 2005: Formal Specification and Development in Z and B

    4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25559-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bastide / Palanque / Roth | Engineering Human Computer Interaction and Interactive Systems | Buch | Sack Fachmedien

    Bastide / Palanque / Roth Engineering Human Computer Interaction and Interactive Systems

    Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26097-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brueckner / Di Marzo Serugendo / Karageorgos | Engineering Self-Organising Systems | Buch | Sack Fachmedien

    Brueckner / Di Marzo Serugendo / Karageorgos Engineering Self-Organising Systems

    Methodologies and Applications
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26180-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutvonen | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Kutvonen Distributed Applications and Interoperable Systems

    5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Godefroid | Model Checking Software | Buch | Sack Fachmedien

    Godefroid Model Checking Software

    12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28195-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malenfant / Østvold | Object-Oriented Technology. ECOOP 2004 Workshop Reader | Buch | Sack Fachmedien

    Malenfant / Østvold Object-Oriented Technology. ECOOP 2004 Workshop Reader

    ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-23988-8
    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 IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43420-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dogac / Özsu / Biliris | Advances in Object-Oriented Database Systems | Buch | Sack Fachmedien

    Dogac / Özsu / Biliris Advances in Object-Oriented Database Systems

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-63410-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Silva Weber / Camargo Jr. | Dependable Computing | Buch | Sack Fachmedien

    Lemos / Silva Weber / Camargo Jr. Dependable Computing

    First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Virvou / Tsihrintzis / Bourbakis | Handbook on Artificial Intelligence-Empowered Applied Software Engineering | Buch | Sack Fachmedien

    Virvou / Tsihrintzis / Bourbakis Handbook on Artificial Intelligence-Empowered Applied Software Engineering

    VOL.2: Smart Software Applications in Cyber-Physical Systems
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-07652-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nichols / Simpson | ESEC '87 | Buch | Sack Fachmedien

    Nichols / Simpson ESEC '87

    1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18712-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nehmer | Experiences with Distributed Systems | Buch | Sack Fachmedien

    Nehmer Experiences with Distributed Systems

    International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19333-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ulrich | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Ulrich Formal Approaches to Software Testing

    Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20894-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ventre / Canonico | Interactive Multimedia on Next Generation Networks | Buch | Sack Fachmedien

    Ventre / Canonico Interactive Multimedia on Next Generation Networks

    First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20534-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Levi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Steffen / Levi Verification, Model Checking, and Abstract Interpretation

    5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20803-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer / Batory / Consel | Domain-Specific Program Generation | Buch | Sack Fachmedien

    Lengauer / Batory / Consel Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22119-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky | ECOOP 2004 - Object-Oriented Programming | Buch | Sack Fachmedien

    Odersky ECOOP 2004 - Object-Oriented Programming

    18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22159-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfaltz / Nagl / Böhlen | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Pfaltz / Nagl / Böhlen Applications of Graph Transformations with Industrial Relevance

    Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22120-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geist / Tronci | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Geist / Tronci Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groz / Hierons | Testing of Communicating Systems | Buch | Sack Fachmedien

    Groz / Hierons Testing of Communicating Systems

    16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21219-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Programming Languages and Systems | Buch | Sack Fachmedien

    Schmidt Programming Languages and Systems

    13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21313-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / Dix / EL Fallah-Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Dix / EL Fallah-Seghrouchni Programming Multi-Agent Systems

    First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22180-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20303-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shah | Node .js | eBook | Sack Fachmedien
    E-Book

    Shah Node .js

    Comprehensive guide to learn Node.js
    1. Auflage 2025
    Verlag: De Gruyter
    ISBN: 978-93-88176-40-8
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    44,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aßmann / Aksit / Rensink | Model Driven Architecture | Buch | Sack Fachmedien

    Aßmann / Aksit / Rensink Model Driven Architecture

    European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28240-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Kloul / Zavattaro | Formal Techniques for Computer Systems and Business Processes | Buch | Sack Fachmedien

    Bravetti / Kloul / Zavattaro Formal Techniques for Computer Systems and Business Processes

    European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28701-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Reed / Jiang | Network and Parallel Computing | Buch | Sack Fachmedien

    Jin / Reed / Jiang Network and Parallel Computing

    IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29810-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Emerson / Namjoshi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Emerson / Namjoshi Verification, Model Checking, and Abstract Interpretation

    7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-31139-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mogensen / Schmidt / Sudborough | The Essence of Computation | Buch | Sack Fachmedien

    Mogensen / Schmidt / Sudborough The Essence of Computation

    Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00326-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grosky / Plasil | SOFSEM 2002: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Grosky / Plasil SOFSEM 2002: Theory and Practice of Informatics

    29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00145-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hedin | Compiler Construction | Buch | Sack Fachmedien

    Hedin Compiler Construction

    12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00904-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Gordon Foundations of Software Science and Computational Structures

    6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00897-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dahl / Wadler | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Dahl / Wadler Practical Aspects of Declarative Languages

    5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00389-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen / Shankland | Mathematics of Program Construction | Buch | Sack Fachmedien

    Kozen / Shankland Mathematics of Program Construction

    7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22380-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Núnez / Maamar / Pelayo | Applying Formal Methods: Testing, Performance, and M/E-Commerce | Buch | Sack Fachmedien

    Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce

    FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kazman / Port | COTS-Based Software Systems | Buch | Sack Fachmedien

    Kazman / Port COTS-Based Software Systems

    Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21903-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo / Warboys / Morrison | Software Architecture | Buch | Sack Fachmedien

    Oquendo / Warboys / Morrison Software Architecture

    First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22000-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dini / Lorenz / Neuman De Souza | Service Assurance with Partial and Intermittent Resources | Buch | Sack Fachmedien

    Dini / Lorenz / Neuman De Souza Service Assurance with Partial and Intermittent Resources

    First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22567-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weske / Liggesmeyer | Object-Oriented and Internet-Based Technologies | Buch | Sack Fachmedien

    Weske / Liggesmeyer Object-Oriented and Internet-Based Technologies

    5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004 Erfurt, Germany, September 27-30, 2004 Proceedings
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23201-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papatriantafilou / Hunel | Principles of Distributed Systems | Buch | Sack Fachmedien

    Papatriantafilou / Hunel Principles of Distributed Systems

    7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22667-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22942-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Wang Automated Technology for Verification and Analysis

    Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23610-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahn | Semantics of Concurrent Computation | Buch | Sack Fachmedien

    Kahn Semantics of Concurrent Computation

    Proceedings of the International Symposium Evian, France, July 2-4, 1979
    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09511-8
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uhl / Drossopoulou / Persch | An Attribute Grammar for the Semantic Analysis of ADA | Buch | Sack Fachmedien

    Uhl / Drossopoulou / Persch An Attribute Grammar for the Semantic Analysis of ADA

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11571-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakajima / Yuasa | The IOTA Programming System | Buch | Sack Fachmedien

    Nakajima / Yuasa The IOTA Programming System

    A Modular Programming Environment
    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12693-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joseph / Shyamasundar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Joseph / Shyamasundar Foundations of Software Technology and Theoretical Computer Science

    Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13883-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Jantke | Mathematical Methods of Specification and Synthesis of Software Systems '85 | Buch | Sack Fachmedien

    Bibel / Jantke Mathematical Methods of Specification and Synthesis of Software Systems '85

    Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16444-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Evaluation and Benchmarking | Buch | Sack Fachmedien

    Nambiar / Poess Performance Evaluation and Benchmarking

    17th TPC Technology Conference, TPCTC 2025, London, UK, September 1, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-18069-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moropoulou / Georgopoulos / Ioannides | Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage | Buch | Sack Fachmedien

    Moropoulou / Georgopoulos / Ioannides Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage

    Third International Conference, TMM_CH 2023, Athens, Greece, March 20-23, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42299-7
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reisig | Understanding Petri Nets | Buch | Sack Fachmedien

    Reisig Understanding Petri Nets

    Modeling Techniques, Analysis Methods, Case Studies
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-33277-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kienzle | Open Multithreaded Transactions | Buch | Sack Fachmedien

    Kienzle Open Multithreaded Transactions

    A Transaction Model for Concurrent Object-Oriented Programming
    Softcover Nachdruck of hardcover 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-90-481-6474-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Debons / Larson | Information Science in Action: System Design | Buch | Sack Fachmedien

    Debons / Larson Information Science in Action: System Design

    Volume II
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-94-010-8057-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Jin / Tsui | Autonomy Oriented Computing | Buch | Sack Fachmedien

    Liu / Jin / Tsui Autonomy Oriented Computing

    From Problem Solving to Complex Systems Modeling
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-5480-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Domain Science and Engineering | Buch | Sack Fachmedien

    Bjørner Domain Science and Engineering

    A Foundation for Software Development
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73483-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roman | Thinking-Driven Testing | Buch | Sack Fachmedien

    Roman Thinking-Driven Testing

    The Most Reasonable Approach to Quality Control
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73194-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Peleska / Roscoe | Formal Methods | Buch | Sack Fachmedien

    Havelund / Peleska / Roscoe Formal Methods

    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-95581-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basili / Lembo / Limongelli | AIxIA 2023 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Basili / Lembo / Limongelli AIxIA 2023 - Advances in Artificial Intelligence

    XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47545-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basili / Rombach / Schneider | Empirical Software Engineering Issues. Critical Assessment and Future Directions | Buch | Sack Fachmedien

    Basili / Rombach / Schneider Empirical Software Engineering Issues. Critical Assessment and Future Directions

    International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-71300-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Jones / Romanovsky | Methods, Models and Tools for Fault Tolerance | Buch | Sack Fachmedien

    Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance

    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00866-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Endriss | Declarative Agent Languages and Technologies IV | Buch | Sack Fachmedien

    Baldoni / Endriss Declarative Agent Languages and Technologies IV

    4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68959-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paige / Meyer | Objects, Components, Models and Patterns | Buch | Sack Fachmedien

    Paige / Meyer Objects, Components, Models and Patterns

    46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69823-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer / Lopes | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Dwyer / Lopes Fundamental Approaches to Software Engineering

    10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71288-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Minden | Active Networks | Buch | Sack Fachmedien

    Minden Active Networks

    IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71499-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Schobbens | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro / Schobbens Recent Trends in Algebraic Development Techniques

    18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71997-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Allen-Robertson | Digital Culture Industry | Buch | Sack Fachmedien

    Allen-Robertson Digital Culture Industry

    A History of Digital Distribution
    1. Auflage 2013
    Verlag: Palgrave Macmillan
    ISBN: 978-1-349-44150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Cesare / Frank | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    de Cesare / Frank Advances in Conceptual Modeling

    ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70624-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saeki / Wong / Araujo | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Saeki / Wong / Araujo Advances in Conceptual Modeling

    ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-75598-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casimiro / Ferreira | Reliable Software Technologies - Ada-Europe 2018 | Buch | Sack Fachmedien

    Casimiro / Ferreira Reliable Software Technologies - Ada-Europe 2018

    23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92431-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lea / Zavattaro | Coordination Models and Languages | Buch | Sack Fachmedien

    Lea / Zavattaro Coordination Models and Languages

    10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68264-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castelfranchi / Lesperance | Intelligent Agents VII. Agent Theories Architectures and Languages | Buch | Sack Fachmedien

    Castelfranchi / Lesperance Intelligent Agents VII. Agent Theories Architectures and Languages

    7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42422-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rash / Rouff / Truszkowski | Formal Approaches to Agent-Based Systems | Buch | Sack Fachmedien

    Rash / Rouff / Truszkowski Formal Approaches to Agent-Based Systems

    First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42716-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Palsberg | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Hermanns / Palsberg Tools and Algorithms for the Construction and Analysis of Systems

    12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33056-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32616-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Field / Harrison / Bradley | Computer Performance Evaluation: Modelling Techniques and Tools | Buch | Sack Fachmedien

    Field / Harrison / Bradley Computer Performance Evaluation: Modelling Techniques and Tools

    Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43539-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margenov / Wasniewski / Yalamov | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing

    Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43043-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Leue | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Leue Model Checking Software

    9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43477-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Petre / Sere | Integrated Formal Methods | Buch | Sack Fachmedien

    Butler / Petre / Sere Integrated Formal Methods

    Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43703-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurthi / Ramakrishnan | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages

    4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43092-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bustard / Liu | Soft-Ware 2002: Computing in an Imperfect World | Buch | Sack Fachmedien

    Bustard / Liu Soft-Ware 2002: Computing in an Imperfect World

    First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43481-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Crole / Gibbons | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | Buch | Sack Fachmedien

    Backhouse / Crole / Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

    International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43613-3
    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