Ergebnisse filtern
Fachgebiet
Medium
  • 9677
  • 1628
  • 29
  • 12
Erscheinungsjahr
  • 9
  • 292
  • 1149
  • 1228
  • 570
  • 419
  • 352
  • 389
  • 369
  • 424
  • 321
  • 433
  • 297
  • 442
  • 408
  • 513
  • 249
  • 517
  • 238
  • 253
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 161
  • 119
  • 107
  • 98
  • 84
  • 81
  • 71
  • 63
  • 68
  • 38
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 9
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 17
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 4
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 16
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 29
  • 23
  • 4
  • 3
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 10
  • 5
  • 9
  • 13
  • 4
  • 5
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 11
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 7
  • 10
  • 7
  • 12
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 11
  • 5
  • 8
  • 12
  • 9
  • 7
  • 63
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 4
  • 8
  • 7
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 18
  • 14
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 4
  • 4
  • 4
  • 40
  • 49
  • 12
  • 4
  • 9
  • 12
  • 22
  • 10
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 5
  • 8
  • 32
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 13
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 3
  • 1
  • 3
  • 1
  • 51
  • 7
  • 462
  • 3
  • 1
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 23
  • 1
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 91
  • 219
  • 4
  • 503
  • 1320
  • 15
  • 1
  • 1
  • 1
  • 56
  • 102
  • 1
  • 3
  • 1
  • 3
  • 38
  • 1
  • 2
  • 57
  • 28
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 38
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 17
  • 50
  • 4
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 19
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 24
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 3
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6176
  • 45
  • 27
  • 1
  • 1
  • 1
  • 14
  • 8
  • 4
  • 1
  • 33
  • 1
  • 124
  • 97
  • 5
  • 22
  • 1
  • 289
  • 37
  • 147
  • 2
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 166
  • 3
  • 10
  • 1
  • 24
  • 22
  • 1
  • 1
  • 2
  • 2
Preis
  • 428
  • 1973
  • 5371
  • 3574
Sprachen
  • 10408
  • 949
  • 2
Verfügbarkeit
  • 11196
  • 150
Eigenschaften
  • 11
  • 4
Katalog
  • 11346
  • 1770
11.346  Titel
    Fitzgerald / Haxthausen / Yenigun | Theoretical Aspects of Computing - ICTAC 2008 | Buch | Sack Fachmedien

    Fitzgerald / Haxthausen / Yenigun Theoretical Aspects of Computing - ICTAC 2008

    5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85761-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kacsuk / Kotsis | Distributed and Parallel Systems | Buch | Sack Fachmedien

    Kacsuk / Kotsis Distributed and Parallel Systems

    From Instruction Parallelism to Cluster Computing
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7023-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parisi-Presicce | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Parisi-Presicce Recent Trends in Algebraic Development Techniques

    12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64299-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gotzhein / Reed | System Analysis and Modeling: Language Profiles | Buch | Sack Fachmedien

    Gotzhein / Reed System Analysis and Modeling: Language Profiles

    5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68371-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Keller | Tests and Proofs | Buch | Sack Fachmedien

    Beyer / Keller Tests and Proofs

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

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

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

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

    8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11796-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kronland-Martinet / Ystad / Aramaki | Perception, Representations, Image, Sound, Music | Buch | Sack Fachmedien

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

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

    Doursat / Sayama / Michel Morphogenetic Engineering

    Toward Programmable Complex Systems
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33901-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Woodcock | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Dong / Woodcock Formal Methods and Software Engineering

    5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20461-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering and Management: Theory and Application | Buch | Sack Fachmedien

    Lee Software Engineering and Management: Theory and Application

    Volume 16
    2024
    Verlag: Springer
    ISBN: 978-3-031-55173-4
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piterman / Smolka | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Piterman / Smolka Tools and Algorithms for the Construction and Analysis of Systems

    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36741-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bubak / Albada / Sloot | Computational Science - ICCS 2004 | Buch | Sack Fachmedien

    Bubak / Albada / Sloot Computational Science - ICCS 2004

    4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22114-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer | A Survey of Verification Techniques for Parallel Programs | Buch | Sack Fachmedien

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krogstie / Rinderle-Ma / Kappel | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Krogstie / Rinderle-Ma / Kappel Advanced Information Systems Engineering

    37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94573-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Pung / Bu Sung Lee | NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet | Buch | Sack Fachmedien

    Das / Pung / Bu Sung Lee NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet

    7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79548-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ladd / Smeets | Building Spring 2 Enterprise Applications | Buch | Sack Fachmedien

    Ladd / Smeets Building Spring 2 Enterprise Applications

    1. Auflage 2007
    Verlag: Apress
    ISBN: 978-1-59059-918-1
    Medium: Buch
    39,58 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eyers / Voulgaris | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Eyers / Voulgaris Distributed Applications and Interoperable Systems

    22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-16091-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Bultan | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bravetti / Bultan Web Services and Formal Methods

    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19588-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Vardi | Formal Techniques for Networked and Distributed Systems - FORTE 2002 | Buch | Sack Fachmedien

    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Park / Chao / Arabnia | Advanced Multimedia and Ubiquitous Engineering | Buch | Sack Fachmedien

    Park / Chao / Arabnia Advanced Multimedia and Ubiquitous Engineering

    Future Information Technology
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-51667-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cremer | Graphbasierte Werkzeuge zum Reverse Engineering und Reengineering | Buch | Sack Fachmedien

    Cremer Graphbasierte Werkzeuge zum Reverse Engineering und Reengineering

    2000
    Verlag: Deutscher Universitätsverlag
    ISBN: 978-3-8244-0497-1
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Ida | Symbolic Computation in Software Science | Buch | Sack Fachmedien

    Watt / Ida Symbolic Computation in Software Science

    10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-69041-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Favorskaya / Nikitin / Severina | Advances in Theory and Practice of Computational Mechanics | Buch | Sack Fachmedien

    Favorskaya / Nikitin / Severina Advances in Theory and Practice of Computational Mechanics

    Proceedings of the 22nd International Conference on Computational Mechanics and Modern Applied Software Systems (CMMASS 2021)
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-981-16-8925-3
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rensink / Sánchez Cuadrado | Theory and Practice of Model Transformation | Buch | Sack Fachmedien

    Rensink / Sánchez Cuadrado Theory and Practice of Model Transformation

    11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93316-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jonsson / Katoen | Model-Based Testing of Reactive Systems | Buch | Sack Fachmedien

    Broy / Jonsson / Katoen Model-Based Testing of Reactive Systems

    Advanced Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26278-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Jones / Liu / Woodcock | Formal Methods and Hybrid Real-Time Systems | Buch | Sack Fachmedien

    Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    König-Ries / Makki / Pissinou | Developing an Infrastructure for Mobile and Wireless Systems | Buch | Sack Fachmedien

    König-Ries / Makki / Pissinou Developing an Infrastructure for Mobile and Wireless Systems

    NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00289-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Zhang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Graf / Zhang Automated Technology for Verification and Analysis

    4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 1
    2. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-642-08243-6
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orejas / Spirakis / Leeuwen | Automata, Languages and Programming | Buch | Sack Fachmedien

    Orejas / Spirakis / Leeuwen Automata, Languages and Programming

    28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42287-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Berdine / Mastroeni | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Giacobazzi / Berdine / Mastroeni Verification, Model Checking, and Abstract Interpretation

    14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35872-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daniel / Diaz | Current Trends in Web Engineering | Buch | Sack Fachmedien

    Daniel / Diaz Current Trends in Web Engineering

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

    Bures / Duchien / Inverardi Software Architecture

    13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29982-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Louërat / Maehne | Languages, Design Methods, and Tools for Electronic System Design | Buch | Sack Fachmedien

    Louërat / Maehne Languages, Design Methods, and Tools for Electronic System Design

    Selected Contributions from FDL 2013
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06316-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reichel / Tison | STACS 2000 | Buch | Sack Fachmedien

    Reichel / Tison STACS 2000

    17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67141-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | Buch | Sack Fachmedien

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

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

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

    5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-04917-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comyn-Wattiau / Tanaka / Song | Conceptual Modeling | Buch | Sack Fachmedien

    Comyn-Wattiau / Tanaka / Song Conceptual Modeling

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

    Alpuente / Vidal-Oriola Static Analysis

    15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-69163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Troubitsyna | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Troubitsyna Software Engineering for Resilient Systems

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

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darnell / Margolis | C A Software Engineering Approach | Buch | Sack Fachmedien

    Darnell / Margolis C A Software Engineering Approach

    Third Auflage 1996
    Verlag: Springer
    ISBN: 978-0-387-94675-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woods / Quilici / Qiang Yang | Constraint-Based Design Recovery for Software Reengineering | Buch | Sack Fachmedien

    Woods / Quilici / Qiang Yang Constraint-Based Design Recovery for Software Reengineering

    Theory and Experiments
    1998
    Verlag: Springer US
    ISBN: 978-0-7923-8067-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thiemann / Weidenbach | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Thiemann / Weidenbach Frontiers of Combining Systems

    15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04166-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mendez / Avgeriou / Kalinowski | Handbook on Teaching Empirical Software Engineering | Buch | Sack Fachmedien

    Mendez / Avgeriou / Kalinowski Handbook on Teaching Empirical Software Engineering

    2025
    Verlag: Springer
    ISBN: 978-3-031-71768-0
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papadakis / Vergilio | Search-Based Software Engineering | Buch | Sack Fachmedien

    Papadakis / Vergilio Search-Based Software Engineering

    14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21250-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schrepp | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Schrepp Design, User Experience, and Usability

    14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93226-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akshay / Niemetz / Sankaranarayanan | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis

    22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78708-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozapalidis / Rahonis | Algebraic Informatics | Buch | Sack Fachmedien

    Bozapalidis / Rahonis Algebraic Informatics

    Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75413-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbosa / Markopoulos / Paternò | End-User Development | Buch | Sack Fachmedien

    Barbosa / Markopoulos / Paternò End-User Development

    6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sztipanovits | Reliable Systems on Unreliable Networked Platforms | Buch | Sack Fachmedien

    Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71155-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nieuwenhuis / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

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

    8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42957-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Alfaro | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    de Alfaro Foundations of Software Science and Computational Structures

    12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00595-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lopez-Garcia / Gallagher / Giacobazzi | Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | Buch | Sack Fachmedien

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

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

    Bunt / Beun Cooperative Multimodal Communication

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

    de Moor / Schwartzbach Compiler Construction

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

    Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization

    Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-01869-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zöller-Greer / Mildenberger | Softwareengineering für Ingenieure und Informatiker | Buch | Sack Fachmedien

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

    Planung, Entwurf und Implementierung
    2002
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-03939-4
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Guo / Chen | Embedded Software and Systems | Buch | Sack Fachmedien

    Wu / Guo / Chen Embedded Software and Systems

    First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28128-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verdone | Wireless Sensor Networks | Buch | Sack Fachmedien

    Verdone Wireless Sensor Networks

    5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77689-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parsons / Saeki / Shoval | Conceptual Modeling – ER 2010 | Buch | Sack Fachmedien

    Parsons / Saeki / Shoval Conceptual Modeling – ER 2010

    29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16372-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padgham / Zambonelli | Agent-Oriented Software Engineering VII | Buch | Sack Fachmedien

    Padgham / Zambonelli Agent-Oriented Software Engineering VII

    7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Olivetti Automated Reasoning with Analytic Tableaux and Related Methods

    16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73098-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mohanty / Das / Ray | Meta Heuristic Techniques in Software Engineering and Its Applications | Buch | Sack Fachmedien

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

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

    Breitman / Cavalcanti Formal Methods and Software Engineering

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

    Volkert Parallel Computation

    Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57314-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Tapia Tarifa | Integrated Formal Methods | Buch | Sack Fachmedien

    Ahrendt / Tapia Tarifa Integrated Formal Methods

    15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34967-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rust | Operational Semantics for Timed Systems | Buch | Sack Fachmedien

    Rust Operational Semantics for Timed Systems

    A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25576-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertogna / Pinho / Quiñones | Reliable Software Technologies - Ada-Europe 2016 | Buch | Sack Fachmedien

    Bertogna / Pinho / Quiñones Reliable Software Technologies - Ada-Europe 2016

    21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39082-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevens / Whittle / Booch | UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications | Buch | Sack Fachmedien

    Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

    6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20243-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finance | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Finance Fundamental Approaches to Software Engineering

    Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65718-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iocchi / Matsubara / Weitzenfeld | RoboCup 2008: Robot Soccer World Cup XII | Buch | Sack Fachmedien

    Iocchi / Matsubara / Weitzenfeld RoboCup 2008: Robot Soccer World Cup XII

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02920-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    C. Nogueira / Teodorov | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    C. Nogueira / Teodorov Formal Methods: Foundations and Applications

    27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78115-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Wooldridge | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    Peled / Wooldridge Model Checking and Artificial Intelligence

    5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00430-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sato / Hanawa / Müller | Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More | Buch | Sack Fachmedien

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

    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13216-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watkins | Agile Testing | Buch | Sack Fachmedien

    Watkins Agile Testing

    Erscheinungsjahr 2009
    Verlag: Cambridge University Press
    ISBN: 978-0-521-72687-0
    Medium: Buch
    76,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oliveira / Stewart | Writing Scientific Software | Buch | Sack Fachmedien

    Oliveira / Stewart Writing Scientific Software

    Erscheinungsjahr 2017
    Verlag: Cambridge University Press
    ISBN: 978-0-521-67595-6
    Medium: Buch
    77,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirschheim / Klein / Lyytinen | Information Systems Development and Data Modeling | Buch | Sack Fachmedien

    Hirschheim / Klein / Lyytinen Information Systems Development and Data Modeling

    Conceptual and Philosophical Foundations
    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-06335-7
    Medium: Buch
    68,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abrial | Modeling in Event-B | Buch | Sack Fachmedien

    Abrial Modeling in Event-B

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-89556-9
    Medium: Buch
    173,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jalloul | UML by Example | Buch | Sack Fachmedien

    Jalloul UML by Example

    Erscheinungsjahr 2016
    Verlag: Cambridge University Press
    ISBN: 978-0-521-81051-7
    Medium: Buch
    107,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leavens / Sitaraman | Foundations of Component-Based Systems | Buch | Sack Fachmedien

    Leavens / Sitaraman Foundations of Component-Based Systems

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-15569-4
    Medium: Buch
    69,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pollicini | Using Toolpack Software Tools | Buch | Sack Fachmedien

    Pollicini Using Toolpack Software Tools

    Proceedings of the Ispra-Course Held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986
    1989. Auflage 1988
    Verlag: Springer
    ISBN: 978-0-7923-0033-5
    Medium: Buch
    96,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Drabenstott / Vizine-Goetz | Using Subject Headings for Online Retrieval | Buch | Sack Fachmedien

    Drabenstott / Vizine-Goetz Using Subject Headings for Online Retrieval

    Erscheinungsjahr 1994
    Verlag: Academic Press Inc
    ISBN: 978-0-12-221570-4
    Medium: Buch
    231,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Reitenspieß / Moorsel | Service Availability | Buch | Sack Fachmedien

    Malek / Reitenspieß / Moorsel Service Availability

    4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72735-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borwein / Morales / Polthier | Multimedia Tools for Communicating Mathematics | Buch | Sack Fachmedien

    Borwein / Morales / Polthier Multimedia Tools for Communicating Mathematics

    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-42450-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laaksonen | Guide to Using Generative AI in Programming | Buch | Sack Fachmedien

    Laaksonen Guide to Using Generative AI in Programming

    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-07452-2
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luque / Margalef / Benítez | Euro-Par 2008 Parallel Processing | Buch | Sack Fachmedien

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

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

    Schmid Top Productivity through Software Reuse

    12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21346-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casteleyn / Daniel / Dolog | Engineering Web Applications | Buch | Sack Fachmedien

    Casteleyn / Daniel / Dolog Engineering Web Applications

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26919-6
    Medium: Buch
    58,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Reisig / Rozenberg | Petri Net Technology for Communication-Based Systems | Buch | Sack Fachmedien

    Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems

    Advances in Petri Nets
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20538-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parker / Wolf | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Parker / Wolf Quantitative Evaluation of Systems

    16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30280-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fantechi / Lecomte / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68498-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Wooldridge / Jennings | Intelligent Agents III. Agent Theories, Architectures, and Languages | Buch | Sack Fachmedien

    Müller / Wooldridge / Jennings Intelligent Agents III. Agent Theories, Architectures, and Languages

    ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62507-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skrzypek | Neural Network Simulation Environments | Buch | Sack Fachmedien

    Skrzypek Neural Network Simulation Environments

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-0-7923-9415-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valero / Prasanna / Vajapeyam | High Performance Computing - HiPC 2000 | Buch | Sack Fachmedien

    Valero / Prasanna / Vajapeyam High Performance Computing - HiPC 2000

    7th International Conference Bangalore, India, December 17-20, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41429-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berrezueta / Gualotuña / Fonseca C. | Information and Communication Technologies | Buch | Sack Fachmedien

    Berrezueta / Gualotuña / Fonseca C. Information and Communication Technologies

    13th Ecuadorian Conference, TICEC 2025, Quito, Ecuador, October 16-17, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08365-4
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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