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“
    Minea / Campos | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Minea / Campos Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6¿10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-92136-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Damiani / Hähnle | Active Object Languages: Current Research Trends | Buch | Sack Fachmedien

    de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends

    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-51059-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauchwerger | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Rauchwerger Languages and Compilers for Parallel Computing

    30th International Workshop, LCPC 2017, College Station, TX, USA, October 11¿13, 2017, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-35224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liò / Verma / Yoneki | Bio-Inspired Computing and Communication | Buch | Sack Fachmedien

    Liò / Verma / Yoneki Bio-Inspired Computing and Communication

    First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-92190-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klimm / Harks | Algorithmic Game Theory | Buch | Sack Fachmedien

    Klimm / Harks Algorithmic Game Theory

    13th International Symposium, SAGT 2020, Augsburg, Germany, September 16¿18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57979-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parker / Biere | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Parker / Biere Tools and Algorithms for the Construction and Analysis of Systems

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25¿30, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-45236-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Dressler | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Yu / Dressler Wireless Algorithms, Systems, and Applications

    15th International Conference, WASA 2020, Qingdao, China, September 13¿15, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59015-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friggstad / Salavatipour / Sack | Algorithms and Data Structures | Buch | Sack Fachmedien

    Friggstad / Salavatipour / Sack Algorithms and Data Structures

    16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5¿7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-24765-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Zhang / Musaev | Services Computing ¿ SCC 2019 | Buch | Sack Fachmedien

    Ferreira / Zhang / Musaev Services Computing ¿ SCC 2019

    16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25¿30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23553-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Marcus | Design, User Experience, and Usability. Application Domains | Buch | Sack Fachmedien

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

    8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26¿31, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23537-6
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blass / Cégielski / Finkbeiner | Fields of Logic and Computation III | Buch | Sack Fachmedien

    Blass / Cégielski / Finkbeiner Fields of Logic and Computation III

    Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-48005-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerone / de Boer | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Cerone / de Boer Software Engineering and Formal Methods

    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14¿18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58767-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaston / Le Gall / Kosmatov | Testing Software and Systems | Buch | Sack Fachmedien

    Gaston / Le Gall / Kosmatov Testing Software and Systems

    31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15¿17, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-31279-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh / Schewe | Model and Data Engineering | Buch | Sack Fachmedien

    Singh / Schewe Model and Data Engineering

    9th International Conference, MEDI 2019, Toulouse, France, October 28¿31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32064-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Moscato / Perez | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Moscato / Perez NASA Formal Methods

    13th International Symposium, NFM 2021, Virtual Event, May 24¿28, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-76383-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben Yahia / Attiogbé | Model and Data Engineering | Buch | Sack Fachmedien

    Ben Yahia / Attiogbé Model and Data Engineering

    10th International Conference, MEDI 2021, Tallinn, Estonia, June 21¿23, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-78427-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhuri / Rozier | NASA Formal Methods | Buch | Sack Fachmedien

    Chaudhuri / Rozier NASA Formal Methods

    15th International Symposium, NFM 2023, Houston, TX, USA, May 16¿18, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-33169-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lorenz / Gomes | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Lorenz / Gomes Application and Theory of Petri Nets and Concurrency

    44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25¿30, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-33619-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McIntosh-Smith / Klemm / Klinkenberg | OpenMP: Advanced Task-Based, Device and Compiler Programming | Buch | Sack Fachmedien

    McIntosh-Smith / Klemm / Klinkenberg OpenMP: Advanced Task-Based, Device and Compiler Programming

    19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13¿15, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-40743-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Leucker / Katoen | Formal Methods | Buch | Sack Fachmedien

    Chechik / Leucker / Katoen Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6¿10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quaresma / Camacho / Tallón-Ballesteros | Intelligent Data Engineering and Automated Learning ¿ IDEAL 2023 | Buch | Sack Fachmedien

    Quaresma / Camacho / Tallón-Ballesteros Intelligent Data Engineering and Automated Learning ¿ IDEAL 2023

    24th International Conference, Évora, Portugal, November 22¿24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-48231-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dewar / Kaminski / Kaminski | Modelling and Mining Networks | Buch | Sack Fachmedien

    Dewar / Kaminski / Kaminski Modelling and Mining Networks

    19th International Workshop, WAW 2024, Warsaw, Poland, June 3¿6, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-59204-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masci / Bernardeschi / Palmieri | Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops | Buch | Sack Fachmedien

    Masci / Bernardeschi / Palmieri Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

    AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26¿30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-26235-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning | Buch | Sack Fachmedien

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

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part III
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-19758-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Indulska / Pastor / Reinhartz-Berger | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Indulska / Pastor / Reinhartz-Berger Advanced Information Systems Engineering

    35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12¿16, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-34559-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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