Ergebnisse filtern
Fachgebiet
Medium
  • 3355
Erscheinungsjahr
  • 62
  • 127
  • 47
  • 25
  • 36
  • 46
  • 58
  • 50
  • 67
  • 73
  • 68
  • 86
  • 55
  • 12
  • 39
  • 116
  • 134
  • 163
  • 103
  • 135
  • 200
  • 206
  • 176
  • 175
  • 121
  • 113
  • 95
  • 100
  • 95
  • 81
  • 72
  • 65
  • 50
  • 67
  • 37
  • 39
  • 29
  • 31
  • 20
  • 15
  • 11
  • 9
  • 11
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 10
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 12
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 31
  • 20
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 18
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 22
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 11
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 12
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 11
  • 3
  • 6
  • 3
  • 3
  • 11
  • 13
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 14
  • 3
  • 5
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 17
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 11
  • 8
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 8
  • 4
  • 8
  • 9
  • 5
  • 3
  • 6
  • 6
  • 34
  • 3
  • 10
  • 3
  • 3
  • 3
  • 12
  • 9
  • 5
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 22
  • 3
  • 9
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 16
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 19
  • 4
  • 11
  • 3
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 4
  • 15
  • 4
  • 9
  • 3
  • 9
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 4
Verlag
  • 358
  • 2312
  • 439
  • 1
  • 17
  • 165
  • 63
Preis
  • 12
  • 114
  • 2645
  • 584
Sprachen
  • 3355
  • 6
Verfügbarkeit
  • 3346
  • 9
Katalog
  • 3355
  • 223
3.355  Treffer  für „Lecture Notes in Computer Science“
    Willemse / Larsen | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Willemse / Larsen Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30¿31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27007-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colbourn / Pisanti / Grossi | Combinatorial Algorithms | Buch | Sack Fachmedien

    Colbourn / Pisanti / Grossi Combinatorial Algorithms

    30th International Workshop, IWOCA 2019, Pisa, Italy, July 23¿25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25004-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuesta / Pérez / Garlan | Software Architecture | Buch | Sack Fachmedien

    Cuesta / Pérez / Garlan Software Architecture

    12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24¿28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00760-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trujillo / Davis / Du | Conceptual Modeling | Buch | Sack Fachmedien

    Trujillo / Davis / Du Conceptual Modeling

    37th International Conference, ER 2018, Xi'an, China, October 22¿25, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00846-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin / Ait-Ameur | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Qin / Ait-Ameur Formal Methods and Software Engineering

    21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5¿9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32408-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Static Analysis | Buch | Sack Fachmedien

    Chang Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8¿11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32303-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collart-Dutilleul / Lecomte / Haxthausen | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Collart-Dutilleul / Lecomte / Haxthausen Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    4th International Conference, RSSRail 2022, Paris, France, June 1¿2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-05813-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Pang | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Zhang / Pang Dependable Software Engineering. Theories, Tools, and Applications

    6th International Symposium, SETTA 2020, Guangzhou, China, November 24¿27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-62821-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva | Functional and Constraint Logic Programming | Buch | Sack Fachmedien

    Silva Functional and Constraint Logic Programming

    26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-16201-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heggernes | Algorithms and Complexity | Buch | Sack Fachmedien

    Heggernes Algorithms and Complexity

    11th International Conference, CIAC 2019, Rome, Italy, May 27¿29, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-17401-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stuckey / Mesnard | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Stuckey / Mesnard Logic-Based Program Synthesis and Transformation

    28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-13837-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xue / Nagoya / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Xue / Nagoya / Liu Structured Object-Oriented Formal Language and Method

    10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-77473-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoshida | Programming Languages and Systems | Buch | Sack Fachmedien

    Yoshida Programming Languages and Systems

    30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 ¿ April 1, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72018-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation: Applications | Buch | Sack Fachmedien

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

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part III
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61466-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sousa / Tomás / Roma | Euro-Par 2021: Parallel Processing | Buch | Sack Fachmedien

    Sousa / Tomás / Roma Euro-Par 2021: Parallel Processing

    27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1¿3, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85664-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calvaresi / Najjar / Omicini | Explainable and Transparent AI and Multi-Agent Systems | Buch | Sack Fachmedien

    Calvaresi / Najjar / Omicini Explainable and Transparent AI and Multi-Agent Systems

    5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-40877-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nenzi / Katsaros | Runtime Verification | Buch | Sack Fachmedien

    Nenzi / Katsaros Runtime Verification

    23rd International Conference, RV 2023, Thessaloniki, Greece, October 3¿6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-44266-7
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles | Buch | Sack Fachmedien

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

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-19848-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Suri / Morin | Algorithms and Data Structures | Buch | Sack Fachmedien

    Suri / Morin Algorithms and Data Structures

    18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 ¿ August 2, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-38905-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Liu / Zou | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Yang / Liu / Zou Intelligent Robotics and Applications

    16th International Conference, ICIRA 2023, Hangzhou, China, July 5¿7, 2023, Proceedings, Part IX
    1. Auflage 2023
    Verlag: Springer Nature Singapore
    ISBN: 978-981-99-6503-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Arbab | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Ölveczky / Arbab Formal Aspects of Component Software

    8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-35742-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McMillan / Voronkov / Middeldorp | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    McMillan / Voronkov / Middeldorp Logic for Programming, Artificial Intelligence, and Reasoning

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-45220-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / van der Aalst / Wolf | Transactions on Petri Nets and Other Models of Concurrency VII | Buch | Sack Fachmedien

    Jensen / van der Aalst / Wolf Transactions on Petri Nets and Other Models of Concurrency VII

    2013
    Verlag: Springer
    ISBN: 978-3-642-38142-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eder / Shehory / Louren?o | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Eder / Shehory / Louren?o Hardware and Software: Verification and Testing

    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-34187-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aßmann / Sloane | Software Language Engineering | Buch | Sack Fachmedien

    Aßmann / Sloane Software Language Engineering

    4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-28829-6
    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