Ergebnisse filtern
Fachgebiet
Medium
  • 11210
Erscheinungsjahr
  • 114
  • 782
  • 791
  • 836
  • 614
  • 474
  • 281
  • 301
  • 318
  • 300
  • 298
  • 319
  • 311
  • 297
  • 316
  • 276
  • 300
  • 260
  • 256
  • 235
  • 254
  • 258
  • 222
  • 356
  • 299
  • 248
  • 252
  • 174
  • 178
  • 126
  • 143
  • 137
  • 113
  • 109
  • 90
  • 71
  • 85
  • 56
  • 55
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 15
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 4
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 9
  • 4
  • 12
  • 4
  • 25
  • 8
  • 7
  • 4
  • 5
  • 5
  • 4
  • 7
  • 7
  • 8
  • 6
  • 7
  • 16
  • 8
  • 4
  • 20
  • 5
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 8
  • 4
  • 5
  • 6
  • 13
  • 4
  • 31
  • 36
  • 5
  • 39
  • 7
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 5
  • 7
  • 5
  • 16
  • 7
  • 21
  • 4
  • 13
  • 5
  • 7
  • 4
  • 6
  • 5
  • 8
  • 7
  • 39
  • 12
  • 5
  • 5
  • 5
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 9
  • 4
  • 9
  • 4
  • 46
  • 5
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 7
  • 23
  • 5
  • 7
  • 10
  • 10
  • 8
  • 9
  • 7
  • 12
  • 5
  • 7
  • 19
  • 6
  • 7
  • 5
  • 17
  • 5
  • 7
  • 5
  • 7
  • 10
  • 8
  • 8
  • 21
  • 5
  • 12
  • 7
  • 5
  • 6
  • 40
  • 7
  • 19
  • 18
  • 5
  • 7
  • 6
  • 8
  • 8
  • 5
  • 5
  • 9
  • 6
  • 7
  • 8
  • 6
  • 9
  • 12
  • 11
  • 8
  • 14
  • 9
  • 6
  • 15
  • 8
  • 5
  • 5
  • 7
  • 39
  • 17
  • 5
  • 6
  • 5
  • 7
  • 5
  • 15
  • 10
  • 11
  • 11
  • 7
  • 8
  • 12
  • 5
  • 5
  • 8
  • 23
  • 13
  • 7
  • 6
  • 14
  • 5
  • 8
  • 5
  • 5
  • 8
  • 5
  • 34
  • 15
  • 41
  • 11
  • 8
  • 15
  • 18
  • 8
  • 44
  • 12
  • 39
  • 9
  • 14
  • 6
  • 12
  • 6
  • 15
  • 10
  • 5
  • 39
  • 5
  • 5
  • 11
  • 12
  • 6
  • 7
  • 6
  • 5
  • 5
  • 6
  • 9
  • 13
  • 5
  • 5
  • 7
  • 16
  • 5
  • 6
  • 12
  • 6
  • 5
  • 9
  • 10
  • 6
  • 5
  • 8
  • 26
  • 23
  • 15
  • 25
  • 8
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 6
  • 14
  • 9
  • 23
  • 6
  • 5
  • 8
  • 6
  • 8
  • 11
  • 5
  • 8
  • 6
  • 22
  • 10
  • 6
  • 12
  • 10
  • 6
  • 5
  • 45
  • 43
  • 9
  • 41
  • 12
  • 9
  • 12
  • 5
  • 6
  • 29
  • 13
  • 5
  • 5
  • 18
  • 9
  • 6
  • 10
  • 26
  • 15
  • 43
  • 78
  • 10
  • 7
  • 14
  • 10
  • 6
  • 6
  • 7
  • 11
  • 17
  • 6
  • 9
  • 7
  • 5
  • 6
  • 8
  • 7
  • 7
  • 5
  • 5
  • 7
  • 19
  • 17
  • 8
  • 6
  • 7
  • 10
  • 9
  • 5
  • 13
  • 19
  • 67
  • 32
  • 9
  • 6
  • 19
  • 9
  • 16
  • 24
  • 5
  • 104
  • 5
  • 11
  • 6
  • 5
  • 14
  • 5
  • 6
  • 8
  • 6
  • 18
  • 16
  • 6
  • 6
  • 9
  • 6
  • 6
  • 17
  • 6
  • 6
  • 6
  • 6
  • 10
  • 5
  • 39
  • 10
  • 9
  • 7
  • 9
  • 15
  • 7
  • 7
  • 7
  • 23
  • 39
  • 8
  • 18
  • 9
  • 10
  • 5
  • 5
  • 5
  • 7
  • 15
  • 10
  • 9
  • 15
  • 5
  • 5
  • 5
  • 10
  • 8
  • 95
  • 8
  • 9
  • 5
  • 5
  • 5
  • 10
  • 5
  • 6
  • 6
  • 15
  • 8
  • 13
  • 5
  • 11
  • 5
  • 18
  • 9
  • 13
  • 7
  • 5
  • 5
  • 6
  • 7
  • 19
  • 13
  • 8
  • 5
  • 12
  • 7
  • 13
  • 6
  • 10
  • 5
  • 16
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 5
  • 10
  • 5
  • 15
  • 6
  • 8
  • 7
  • 9
  • 41
  • 10
  • 6
  • 8
  • 6
  • 26
  • 6
  • 18
  • 39
  • 5
  • 10
  • 15
  • 12
  • 32
  • 6
  • 10
  • 7
  • 12
  • 17
  • 6
  • 14
  • 5
  • 18
  • 35
  • 7
  • 17
  • 8
  • 11
  • 5
  • 14
  • 6
  • 26
  • 78
  • 14
  • 26
  • 45
  • 8
  • 5
  • 7
  • 9
  • 6
  • 8
  • 5
  • 12
  • 6
  • 6
  • 7
  • 7
  • 8
  • 14
  • 7
  • 6
  • 5
  • 17
  • 91
  • 13
  • 6
  • 44
  • 6
  • 6
  • 13
  • 7
  • 8
  • 5
  • 14
  • 14
  • 10
  • 12
  • 7
  • 34
  • 7
  • 6
  • 7
  • 5
  • 7
  • 17
  • 18
  • 5
  • 20
  • 6
  • 6
  • 28
  • 6
  • 5
  • 6
  • 77
  • 11
  • 5
  • 15
  • 6
  • 5
  • 12
  • 22
  • 5
  • 9
  • 6
  • 8
  • 6
  • 7
  • 30
  • 6
  • 5
  • 6
  • 24
  • 6
  • 5
  • 13
  • 16
  • 13
  • 7
  • 14
  • 16
  • 15
  • 11
  • 23
  • 8
  • 78
  • 11
  • 5
  • 10
  • 11
  • 5
  • 29
  • 5
  • 27
  • 31
  • 5
  • 7
  • 7
  • 5
  • 7
  • 6
  • 13
  • 5
  • 20
  • 9
  • 6
  • 7
  • 7
  • 9
  • 13
  • 6
  • 21
  • 6
  • 9
  • 11
  • 8
  • 9
  • 8
  • 15
  • 6
  • 5
  • 34
  • 14
  • 8
  • 9
  • 5
  • 6
  • 7
  • 7
  • 5
  • 7
  • 22
  • 7
  • 9
  • 8
  • 7
  • 9
  • 6
  • 95
  • 8
  • 6
  • 5
  • 5
  • 12
  • 9
  • 8
  • 6
  • 5
  • 8
  • 5
  • 12
  • 35
  • 5
  • 16
  • 8
  • 5
  • 5
  • 9
  • 5
  • 5
  • 12
  • 21
  • 25
  • 7
  • 5
  • 5
  • 6
  • 9
  • 13
  • 6
  • 6
  • 5
  • 10
  • 6
  • 8
  • 10
  • 6
  • 9
  • 48
  • 17
  • 6
  • 38
  • 10
  • 9
  • 11
  • 5
  • 12
  • 20
  • 13
  • 14
  • 15
  • 14
  • 6
  • 7
  • 8
  • 27
  • 10
  • 5
  • 11
  • 7
  • 6
  • 5
  • 19
  • 6
  • 9
  • 5
  • 12
  • 14
  • 9
  • 5
  • 8
  • 6
  • 16
  • 7
  • 13
  • 8
  • 5
  • 9
  • 7
  • 9
  • 23
  • 6
  • 7
  • 5
  • 11
  • 10
  • 8
  • 8
  • 37
  • 12
  • 9
  • 8
  • 6
  • 7
  • 5
  • 14
  • 8
  • 5
  • 10
  • 10
  • 29
  • 6
  • 16
  • 7
  • 36
  • 8
  • 10
  • 8
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 5
  • 7
  • 6
  • 31
  • 15
  • 5
  • 5
  • 8
  • 78
  • 5
  • 17
  • 8
  • 8
  • 6
  • 13
  • 11
  • 19
  • 18
  • 6
  • 9
  • 92
  • 6
  • 46
  • 5
  • 11
  • 9
  • 9
  • 89
  • 22
  • 7
  • 20
  • 7
  • 10
  • 6
  • 9
  • 12
  • 18
  • 10
  • 6
  • 6
  • 6
  • 5
  • 8
  • 7
  • 90
  • 7
  • 6
  • 5
  • 5
  • 6
  • 21
  • 8
  • 13
  • 6
  • 82
  • 11
  • 5
  • 18
  • 13
  • 15
  • 11
  • 5
  • 10
  • 13
  • 5
  • 5
  • 22
  • 14
  • 6
  • 8
  • 6
  • 7
  • 7
  • 14
  • 6
  • 22
  • 8
  • 6
  • 5
  • 6
  • 7
  • 6
  • 5
  • 7
  • 14
  • 9
  • 7
  • 8
  • 6
  • 14
  • 8
  • 14
  • 23
  • 29
  • 7
  • 6
  • 5
  • 5
  • 16
  • 6
  • 5
  • 8
  • 13
  • 8
  • 6
  • 33
  • 15
  • 5
  • 6
  • 5
  • 10
  • 10
  • 5
  • 8
  • 6
  • 43
  • 6
  • 49
  • 10
  • 6
  • 9
  • 6
  • 11
  • 12
  • 6
  • 14
  • 24
  • 5
  • 5
  • 16
  • 8
  • 16
  • 5
  • 17
  • 23
  • 5
  • 5
  • 9
  • 7
  • 8
  • 25
  • 15
  • 22
  • 61
  • 10
  • 14
  • 20
  • 8
  • 9
  • 5
  • 5
  • 22
  • 18
  • 17
  • 5
  • 8
  • 6
  • 5
  • 21
  • 9
  • 57
  • 81
  • 23
  • 12
  • 8
  • 10
  • 15
  • 5
  • 6
  • 5
  • 12
  • 17
  • 5
  • 12
  • 5
  • 6
  • 14
  • 9
  • 7
  • 13
  • 8
  • 6
  • 8
  • 5
  • 89
  • 11
  • 17
  • 15
  • 10
  • 6
  • 8
  • 5
  • 6
  • 13
  • 5
  • 5
  • 10
  • 7
  • 33
  • 5
  • 11
  • 9
  • 11
  • 5
  • 6
  • 13
  • 18
  • 37
  • 6
  • 5
  • 8
  • 14
  • 5
  • 8
  • 19
  • 14
  • 5
  • 7
  • 5
  • 10
  • 6
  • 9
  • 6
  • 23
  • 6
  • 13
  • 10
  • 6
  • 9
  • 5
  • 6
  • 6
  • 7
  • 6
  • 14
  • 11
  • 9
  • 5
  • 18
  • 5
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 14
  • 14
  • 23
  • 7
  • 19
  • 5
  • 11
  • 5
  • 11
  • 8
  • 18
  • 6
  • 6
  • 6
  • 52
  • 6
  • 12
  • 5
  • 35
  • 7
  • 5
  • 21
  • 6
  • 46
  • 37
  • 58
  • 40
  • 7
  • 12
  • 5
  • 11
  • 21
  • 5
  • 32
  • 7
  • 27
  • 15
  • 20
  • 6
  • 5
  • 13
  • 5
  • 8
  • 9
  • 6
  • 6
  • 21
Verlag
  • 7
  • 11073
  • 3
  • 10
  • 2
  • 19
  • 46
  • 5
  • 1
  • 14
  • 30
Preis
  • 42
  • 411
  • 8517
  • 2240
Sprachen
  • 11205
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10952
  • 258
Eigenschaften
  • 2
Katalog
  • 11210
  • 596
11.210  Treffer  für „Lecture Notes in Computer Science“
    Ghidini / Hartig / Maleshkova | The Semantic Web - ISWC 2019 | Buch | Sack Fachmedien

    Ghidini / Hartig / Maleshkova The Semantic Web - ISWC 2019

    18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30792-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann | The Set of Synchronizing Words and the Constrained Synchronization Problem | Buch | Sack Fachmedien

    Hoffmann The Set of Synchronizing Words and the Constrained Synchronization Problem

    Erscheinungsjahr 2027
    Verlag: Springer
    ISBN: 978-3-032-44452-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Phillips / Rahaman | Reversible Computation | Buch | Sack Fachmedien

    Phillips / Rahaman Reversible Computation

    9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-59935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Gatzidis / El Rhalibi | E-Learning and Games | Buch | Sack Fachmedien

    Tian / Gatzidis / El Rhalibi E-Learning and Games

    11th International Conference, Edutainment 2017, Bournemouth, UK, June 26-28, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-65848-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miyaji / Tibouchi / Kim | Cryptology and Network Security | Buch | Sack Fachmedien

    Miyaji / Tibouchi / Kim Cryptology and Network Security

    24th International Conference, CANS 2025, Osaka, Japan, November 17-20, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954433-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Huang / Zhang | Machine Learning for Cyber Security | Buch | Sack Fachmedien

    Chen / Huang / Zhang Machine Learning for Cyber Security

    Second International Conference, ML4CS 2019, Xi'an, China, September 19-21, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30618-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brisaboa / Puglisi | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Brisaboa / Puglisi String Processing and Information Retrieval

    26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32685-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krebbers | Programming Languages and Systems | Buch | Sack Fachmedien

    Krebbers Programming Languages and Systems

    35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22719-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Moscato / Titolo | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Moscato / Titolo NASA Formal Methods

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

    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
    Di Giusto / Ravara | Coordination Models and Languages | Buch | Sack Fachmedien

    Di Giusto / Ravara Coordination Models and Languages

    27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95588-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hao / Velásquez / Li | Behavioural and Social Computing | Buch | Sack Fachmedien

    Hao / Velásquez / Li Behavioural and Social Computing

    12th International Conference, BESC 2025, Hong Kong SAR, China, October 16-18, 2025, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-957140-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbic / D'Cruz / Latoschik | Virtual Reality and Augmented Reality | Buch | Sack Fachmedien

    Barbic / D'Cruz / Latoschik Virtual Reality and Augmented Reality

    14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-72322-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Herbold | System Analysis and Modeling. Technology-Specific Aspects of Models | Buch | Sack Fachmedien

    Grabowski / Herbold System Analysis and Modeling. Technology-Specific Aspects of Models

    9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46612-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Lin / Yung | Information Security and Cryptology | Buch | Sack Fachmedien

    Chen / Lin / Yung Information Security and Cryptology

    13th International Conference, Inscrypt 2017, Xi'an, China, November 3-5, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-75159-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Au / Castiglione / Choo | Green, Pervasive, and Cloud Computing | Buch | Sack Fachmedien

    Au / Castiglione / Choo Green, Pervasive, and Cloud Computing

    12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57185-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badger / Rozier | NASA Formal Methods | Buch | Sack Fachmedien

    Badger / Rozier NASA Formal Methods

    11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-20651-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madeira / Knapp | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Madeira / Knapp Software Engineering and Formal Methods

    22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77381-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Følstad / Hobert / Papadopoulos | Chatbots and Human-Centered AI | Buch | Sack Fachmedien

    Følstad / Hobert / Papadopoulos Chatbots and Human-Centered AI

    9th International Symposium, CONVERSATIONS 2025, Lübeck, Germany, November 12-13, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26716-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fan / Gierlichs | Constructive Side-Channel Analysis and Secure Design | Buch | Sack Fachmedien

    Fan / Gierlichs Constructive Side-Channel Analysis and Secure Design

    9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89640-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guilley | Constructive Side-Channel Analysis and Secure Design | Buch | Sack Fachmedien

    Guilley Constructive Side-Channel Analysis and Secure Design

    8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64646-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | Buch | Sack Fachmedien

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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Zhang | Search-Based Software Engineering | Buch | Sack Fachmedien

    Wagner / Zhang Search-Based Software Engineering

    17th International Symposium, SSBSE 2025, Seoul, South Korea, November 16, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-24838-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groth / Simperl / Gray | The Semantic Web - ISWC 2016 | Buch | Sack Fachmedien

    Groth / Simperl / Gray The Semantic Web - ISWC 2016

    15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46522-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Gnesi / Knapp | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    ter Beek / Gnesi / Knapp Critical Systems: Formal Methods and Automated Verification

    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45942-4
    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