Fachgebiet
Medium
  • 2116
Erscheinungsjahr
  • 40
  • 149
  • 142
  • 111
  • 39
  • 17
  • 26
  • 32
  • 28
  • 28
  • 51
  • 41
  • 30
  • 52
  • 42
  • 41
  • 81
  • 59
  • 65
  • 77
  • 72
  • 63
  • 120
  • 105
  • 95
  • 78
  • 59
  • 51
  • 39
  • 29
  • 36
  • 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
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 7
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 10
  • 5
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 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
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 6
  • 3
  • 2
  • 4
  • 12
  • 5
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 24
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 6
  • 3
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 21
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 2
  • 3
  • 5
  • 4
  • 2
  • 6
  • 2
  • 4
  • 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
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 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
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 6
  • 5
  • 2
  • 4
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 7
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 6
  • 7
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 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
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 7
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 4
  • 5
  • 2
  • 5
  • 5
  • 6
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 6
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 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
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 19
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 5
  • 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
  • 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
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 12
  • 14
  • 2
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 17
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 11
  • 4
  • 7
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 5
  • 3
  • 4
  • 5
  • 4
  • 3
  • 17
  • 4
  • 7
  • 3
  • 3
  • 6
  • 5
Verlag
  • 2108
  • 1
  • 7
Preis
  • 4
  • 90
  • 1691
  • 331
Sprachen
  • 2116
Verfügbarkeit
  • 2115
  • 1
Eigenschaften
  • 3
Katalog
  • 2116
  • 136
2.116  Treffer  für „Lecture Notes in Computer Science“


    Pipek / Rosson / Wulf End-User Development

    2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00425-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Carvalho / Kobayashi Formal Methods Teaching

    7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26742-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    O'Neill / Vanneschi / Gustafson Genetic Programming

    11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78670-2
    Medium: Buch
    53,49 € (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

    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

    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

    Quaresma / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2023

    24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48231-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Monti / Rinderle-Ma / Ruiz Cortés Service-Oriented Computing

    21st International Conference, ICSOC 2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48420-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Guizzardi / Santoro / Mouratidis Advanced Information Systems Engineering

    36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-61056-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ferreira / Willemse Software Engineering and Formal Methods

    21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47114-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen 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
    ISBN: 978-3-031-19758-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Taibi / Kuhrmann / Mikkonen Product-Focused Software Process Improvement

    23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21387-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Legunsen / Rosu Model Checking Software

    28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15076-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernhaupt / Ardito / Sauer Human-Centered Software Engineering

    9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-14784-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cano / Trinder Euro-Par 2022: Parallel Processing

    28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12596-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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