Fachgebiet
Medium
  • 4214
Erscheinungsjahr
  • 70
  • 235
  • 195
  • 133
  • 47
  • 23
  • 41
  • 49
  • 63
  • 48
  • 83
  • 72
  • 64
  • 84
  • 73
  • 69
  • 162
  • 121
  • 150
  • 199
  • 185
  • 142
  • 215
  • 218
  • 180
  • 182
  • 118
  • 118
  • 97
  • 101
  • 95
  • 81
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 8
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 5
  • 9
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 7
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 3
  • 7
  • 2
  • 2
  • 2
  • 4
  • 4
  • 12
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 38
  • 27
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 6
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 21
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 11
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 12
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 5
  • 9
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 6
  • 10
  • 5
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 4
  • 7
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 3
  • 6
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 13
  • 3
  • 8
  • 3
  • 5
  • 4
  • 12
  • 25
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 5
  • 5
  • 4
  • 10
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 16
  • 6
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 6
  • 4
  • 3
  • 6
  • 7
  • 4
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 8
  • 3
  • 4
  • 7
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 18
  • 3
  • 3
  • 8
  • 5
  • 3
  • 6
  • 4
  • 5
  • 7
  • 4
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 7
  • 6
  • 8
  • 9
  • 4
  • 3
  • 4
  • 32
  • 5
  • 11
  • 3
  • 3
  • 12
  • 3
  • 10
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 6
  • 6
  • 5
  • 4
  • 9
  • 20
  • 6
  • 9
  • 3
  • 3
  • 35
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 9
  • 16
  • 3
  • 10
  • 7
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 11
  • 3
  • 5
  • 4
  • 4
  • 18
  • 6
  • 4
  • 3
  • 11
  • 4
  • 7
  • 4
  • 6
  • 3
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 18
  • 5
  • 5
  • 4
  • 5
  • 3
  • 3
Verlag
  • 4192
  • 1
  • 1
  • 2
  • 18
Preis
  • 13
  • 147
  • 3262
  • 792
Sprachen
  • 4214
  • 5
Verfügbarkeit
  • 4211
  • 3
Eigenschaften
  • 5
Katalog
  • 4214
  • 241
4.214  Treffer  für „Lecture Notes in Computer Science“


    Schewe / Singh Model and Data Engineering

    9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32064-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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
    ISBN: 978-3-030-35224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Biere / Parker 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
    ISBN: 978-3-030-45236-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Deshmukh / Nickovic Runtime Verification

    20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60507-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Boer / Cerone Software Engineering and Formal Methods

    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58767-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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
    ISBN: 978-3-030-59015-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Attiogbé / Ben Yahia Model and Data Engineering

    10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78427-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Laarman / Sokolova Model Checking Software

    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-84628-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Campos / Minea Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92136-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Masci / Bernardeschi / Graziani 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
    ISBN: 978-3-031-26235-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pientka / Tinelli Automated Deduction - CADE 29

    29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38498-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gomes / Lorenz 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
    ISBN: 978-3-031-33619-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Indulska / Reinhartz-Berger / Cetina Advanced Information Systems Engineering

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

    Batista / Bureš / Raibulet Software Architecture. ECSA 2022 Tracks and Workshops

    Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-36888-2
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Simos / Rasskazova / Archetti Learning and Intelligent Optimization

    16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-24865-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Patiño-Martínez / Paulo Distributed Applications and Interoperable Systems

    23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35259-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rau Cross-Cultural Design

    15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35938-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rau Cross-Cultural Design

    15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35945-3
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Casola / De Benedictis / Rak Testing Software and Systems

    32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64880-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Harks / Klimm Algorithmic Game Theory

    13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57979-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rozier / Chaudhuri NASA Formal Methods

    15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-33169-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Feng / Jiang / Luo Edge Computing - EDGE 2023

    7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51825-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cámara / Jongmans Formal Aspects of Component Software

    19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-52182-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    2024
    Verlag: Springer
    ISBN: 978-3-031-51059-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Følstad / Araujo / Papadopoulos Chatbot Research and Design

    7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-54974-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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