Ergebnisse filtern
Fachgebiet
Medium
  • 2100
Erscheinungsjahr
  • 39
  • 151
  • 141
  • 111
  • 39
  • 17
  • 26
  • 32
  • 28
  • 27
  • 51
  • 39
  • 31
  • 52
  • 42
  • 41
  • 78
  • 57
  • 57
  • 78
  • 69
  • 65
  • 119
  • 106
  • 94
  • 79
  • 59
  • 51
  • 39
  • 29
  • 35
  • 34
  • 27
  • 31
  • 19
  • 31
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 3
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 6
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 10
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 5
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 4
  • 6
  • 3
  • 2
  • 3
  • 12
  • 5
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 19
  • 24
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 20
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 2
  • 2
  • 6
  • 4
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 6
  • 4
  • 2
  • 5
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 7
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 12
  • 24
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 6
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 15
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 7
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 18
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 11
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 12
  • 16
  • 2
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 34
  • 2
  • 3
  • 2
  • 5
  • 5
  • 6
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 7
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 7
  • 5
  • 6
  • 4
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 17
  • 3
  • 6
  • 3
  • 3
  • 6
  • 5
Verlag
  • 2093
  • 1
  • 1
  • 5
Preis
  • 4
  • 86
  • 1680
  • 330
Sprachen
  • 2100
Verfügbarkeit
  • 2099
  • 1
Eigenschaften
  • 2
Katalog
  • 2100
  • 136
2.100  Treffer  für „Lecture Notes in Computer Science“
    Mauri / Burgueño / Tommasini | Web Engineering | Buch | Sack Fachmedien

    Mauri / Burgueño / Tommasini Web Engineering

    26th International Conference, ICWE 2026, Lyon, France, June 9-12, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29371-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Teixeira | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    ter Beek / Teixeira Formal Methods: Foundations and Applications

    28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12085-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damiani / Farrell | Integrated Formal Methods | Buch | Sack Fachmedien

    Damiani / Farrell Integrated Formal Methods

    20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10793-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalpiaz / Spoletini | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Dalpiaz / Spoletini Requirements Engineering: Foundation for Software Quality

    27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73127-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | Deductive Software Verification: Future Perspectives | Buch | Sack Fachmedien

    Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives

    Reflections on the Occasion of 20 Years of KeY
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64353-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrikopoulos / Pautasso / Ali | Software Architecture | Buch | Sack Fachmedien

    Andrikopoulos / Pautasso / Ali Software Architecture

    19th European Conference, ECSA 2025, Limassol, Cyprus, September 15-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-02137-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V
    2024
    Verlag: Springer
    ISBN: 978-3-031-61361-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogata / Martí-Oliet | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Ogata / Martí-Oliet Rewriting Logic and Its Applications

    15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-65940-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aldini | Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops | Buch | Sack Fachmedien

    Aldini Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

    CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66020-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reynolds / Tasiran | Verified Software. Theories, Tools and Experiments | Buch | Sack Fachmedien

    Reynolds / Tasiran Verified Software. Theories, Tools and Experiments

    15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66063-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balke / Golub / Manolopoulos | Linking Theory and Practice of Digital Libraries | Buch | Sack Fachmedien

    Balke / Golub / Manolopoulos Linking Theory and Practice of Digital Libraries

    29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, Tampere, Finland, September 23-26, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05408-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Santos / Álvarez / Hernández-Leo | Collaboration Technologies and Social Computing | Buch | Sack Fachmedien

    Santos / Álvarez / Hernández-Leo Collaboration Technologies and Social Computing

    30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-67997-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Abbas | Runtime Verification | Buch | Sack Fachmedien

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foster / Sampaio | The Application of Formal Methods | Buch | Sack Fachmedien

    Foster / Sampaio The Application of Formal Methods

    Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
    2024
    Verlag: Springer
    ISBN: 978-3-031-67113-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekinerdogan / Spalazzese / Sözer | Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium | Buch | Sack Fachmedien

    Tekinerdogan / Spalazzese / Sözer Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium

    Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66325-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-61358-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chamberlain / Taha / Törngren | Cyber Physical Systems. Model-Based Design | Buch | Sack Fachmedien

    Chamberlain / Taha / Törngren Cyber Physical Systems. Model-Based Design

    8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23702-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xia / Zhang | Services - SERVICES 2019 | Buch | Sack Fachmedien

    Xia / Zhang Services - SERVICES 2019

    15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23380-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Wang | Design, User Experience, and Usability. Practice and Case Studies | Buch | Sack Fachmedien

    Marcus / Wang Design, User Experience, and Usability. Practice and Case Studies

    8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part IV
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23534-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chamberlain / Taha / Törngren | Cyber Physical Systems. Design, Modeling, and Evaluation | Buch | Sack Fachmedien

    Chamberlain / Taha / Törngren Cyber Physical Systems. Design, Modeling, and Evaluation

    7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17909-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chakraborty / Navas | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Chakraborty / Navas Verified Software. Theories, Tools, and Experiments

    11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-41599-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fonseca i Casas / Sancho / Sherratt | System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 | Buch | Sack Fachmedien

    Fonseca i Casas / Sancho / Sherratt System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

    11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30689-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Mariani | Runtime Verification | Buch | Sack Fachmedien

    Finkbeiner / Mariani Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32078-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hojjat / Massink | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Hojjat / Massink Fundamentals of Software Engineering

    8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31516-0
    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