Ergebnisse filtern
Fachgebiet
Medium
  • 7769
Erscheinungsjahr
  • 128
  • 690
  • 714
  • 434
  • 296
  • 155
  • 176
  • 198
  • 187
  • 203
  • 208
  • 222
  • 190
  • 207
  • 206
  • 186
  • 187
  • 205
  • 168
  • 228
  • 229
  • 174
  • 278
  • 242
  • 210
  • 193
  • 134
  • 128
  • 98
  • 108
  • 103
  • 95
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 30
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 5
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 9
  • 5
  • 4
  • 9
  • 8
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 21
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 6
  • 8
  • 4
  • 10
  • 4
  • 14
  • 25
  • 36
  • 6
  • 28
  • 7
  • 4
  • 4
  • 6
  • 7
  • 11
  • 16
  • 4
  • 4
  • 11
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 4
  • 4
  • 14
  • 4
  • 4
  • 5
  • 6
  • 5
  • 6
  • 6
  • 4
  • 4
  • 6
  • 6
  • 8
  • 7
  • 5
  • 5
  • 4
  • 19
  • 4
  • 6
  • 7
  • 9
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 7
  • 6
  • 5
  • 9
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 6
  • 9
  • 10
  • 4
  • 5
  • 8
  • 6
  • 4
  • 10
  • 4
  • 4
  • 5
  • 14
  • 4
  • 9
  • 4
  • 4
  • 17
  • 14
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 5
  • 5
  • 5
  • 16
  • 7
  • 9
  • 12
  • 4
  • 8
  • 6
  • 6
  • 11
  • 5
  • 4
  • 4
  • 7
  • 24
  • 11
  • 5
  • 10
  • 5
  • 12
  • 4
  • 4
  • 4
  • 8
  • 6
  • 5
  • 4
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 11
  • 41
  • 4
  • 11
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 7
  • 19
  • 38
  • 5
  • 4
  • 5
  • 10
  • 15
  • 7
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 4
  • 4
  • 10
  • 4
  • 4
  • 5
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 9
  • 4
  • 6
  • 6
  • 6
  • 11
  • 5
  • 4
  • 6
  • 4
  • 8
  • 4
  • 6
  • 4
  • 11
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 9
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 10
  • 6
  • 4
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 36
  • 38
  • 4
  • 9
  • 23
  • 7
  • 8
  • 5
  • 14
  • 8
  • 4
  • 24
  • 14
  • 6
  • 6
  • 15
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 7
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 27
  • 4
  • 4
  • 13
  • 46
  • 8
  • 4
  • 4
  • 15
  • 7
  • 6
  • 6
  • 4
  • 6
  • 15
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 15
  • 35
  • 5
  • 4
  • 21
  • 9
  • 17
  • 22
  • 67
  • 4
  • 11
  • 4
  • 14
  • 4
  • 4
  • 4
  • 19
  • 7
  • 7
  • 7
  • 13
  • 5
  • 5
  • 4
  • 4
  • 5
  • 25
  • 4
  • 6
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 9
  • 17
  • 10
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 6
  • 6
  • 4
  • 5
  • 65
  • 4
  • 5
  • 10
  • 5
  • 4
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 19
  • 5
  • 8
  • 6
  • 6
  • 4
  • 4
  • 18
  • 10
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 22
  • 4
  • 4
  • 7
  • 6
  • 5
  • 8
  • 4
  • 4
  • 8
  • 14
  • 20
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 4
  • 30
  • 4
  • 6
  • 9
  • 10
  • 4
  • 4
  • 10
  • 6
  • 5
  • 5
  • 16
  • 4
  • 20
  • 17
  • 4
  • 5
  • 9
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 4
  • 13
  • 23
  • 36
  • 7
  • 8
  • 6
  • 6
  • 4
  • 12
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 8
  • 4
  • 13
  • 90
  • 12
  • 17
  • 4
  • 4
  • 10
  • 6
  • 11
  • 12
  • 4
  • 5
  • 4
  • 6
  • 18
  • 20
  • 21
  • 6
  • 4
  • 62
  • 6
  • 19
  • 8
  • 4
  • 12
  • 21
  • 5
  • 6
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 15
  • 14
  • 6
  • 18
  • 4
  • 11
  • 4
  • 7
  • 7
  • 4
  • 6
  • 18
  • 31
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 12
  • 5
  • 4
  • 6
  • 4
  • 7
  • 8
  • 6
  • 4
  • 11
  • 6
  • 6
  • 4
  • 5
  • 7
  • 8
  • 8
  • 13
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 5
  • 5
  • 8
  • 60
  • 4
  • 4
  • 7
  • 6
  • 4
  • 6
  • 11
  • 36
  • 15
  • 5
  • 10
  • 6
  • 5
  • 4
  • 10
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
  • 6
  • 6
  • 9
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 17
  • 5
  • 7
  • 18
  • 8
  • 4
  • 13
  • 7
  • 13
  • 15
  • 8
  • 4
  • 16
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 4
  • 12
  • 11
  • 11
  • 4
  • 8
  • 7
  • 9
  • 5
  • 4
  • 4
  • 8
  • 24
  • 4
  • 6
  • 7
  • 6
  • 9
  • 6
  • 5
  • 11
  • 5
  • 9
  • 5
  • 7
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 24
  • 12
  • 4
  • 5
  • 19
  • 4
  • 5
  • 91
  • 5
  • 6
  • 4
  • 5
  • 6
  • 9
  • 11
  • 8
  • 8
  • 4
  • 7
  • 4
  • 7
  • 19
  • 8
  • 4
  • 90
  • 4
  • 39
  • 11
  • 11
  • 89
  • 23
  • 14
  • 7
  • 4
  • 5
  • 9
  • 11
  • 6
  • 6
  • 4
  • 4
  • 4
  • 8
  • 89
  • 4
  • 5
  • 15
  • 22
  • 4
  • 7
  • 10
  • 4
  • 11
  • 4
  • 17
  • 11
  • 11
  • 4
  • 5
  • 4
  • 11
  • 4
  • 10
  • 15
  • 7
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 11
  • 5
  • 4
  • 22
  • 5
  • 4
  • 5
  • 4
  • 4
  • 14
  • 4
  • 4
  • 8
  • 5
  • 9
  • 11
  • 40
  • 4
  • 4
  • 6
  • 6
  • 4
  • 6
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 13
  • 7
  • 4
  • 7
  • 5
  • 29
  • 33
  • 4
  • 8
  • 7
  • 8
  • 22
  • 6
  • 6
  • 8
  • 4
  • 14
  • 25
  • 4
  • 22
  • 7
  • 12
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 14
  • 11
  • 4
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 12
  • 9
  • 12
  • 5
  • 7
  • 6
  • 4
  • 4
  • 15
  • 4
  • 5
  • 6
  • 4
  • 7
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 4
  • 4
  • 12
  • 7
  • 4
  • 24
  • 5
  • 11
  • 8
  • 4
  • 5
  • 13
  • 5
  • 21
  • 6
  • 4
  • 5
  • 18
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 5
  • 4
  • 24
  • 6
  • 10
  • 10
  • 5
  • 6
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 7
  • 4
  • 9
  • 4
  • 18
  • 5
  • 9
  • 4
  • 4
  • 11
  • 6
  • 24
  • 7
  • 14
  • 4
  • 4
  • 5
  • 4
  • 17
  • 4
  • 10
  • 6
  • 5
  • 4
  • 18
  • 7
  • 6
  • 5
  • 17
  • 4
  • 13
  • 4
  • 6
  • 4
  • 5
  • 5
  • 20
  • 42
  • 4
  • 14
  • 22
  • 18
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 32
  • 7
  • 10
  • 5
  • 18
  • 5
  • 19
  • 6
  • 6
  • 4
  • 10
  • 4
  • 6
  • 6
  • 4
  • 23
Verlag
  • 1
  • 7722
  • 3
  • 4
  • 1
  • 1
  • 3
  • 1
  • 33
Preis
  • 27
  • 232
  • 5867
  • 1643
Sprachen
  • 7764
  • 16
  • 12
Verfügbarkeit
  • 7758
  • 11
Eigenschaften
  • 2
Katalog
  • 7769
  • 334
7.769  Treffer  für „Lecture Notes in Computer Science“
    Machado / Maciel / Rubin | Model-Based Methodologies for Pervasive and Embedded Software | Buch | Sack Fachmedien

    Machado / Maciel / Rubin Model-Based Methodologies for Pervasive and Embedded Software

    8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38208-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudinac / Hanjalic / Liem | MultiMedia Modeling | Buch | Sack Fachmedien

    Rudinac / Hanjalic / Liem MultiMedia Modeling

    30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-53307-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | Program Specification | Buch | Sack Fachmedien

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Milner | A Calculus of Communicating Systems | Buch | Sack Fachmedien

    Milner A Calculus of Communicating Systems

    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10235-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolduc / Desharnais / Ktari | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bolduc / Desharnais / Ktari Mathematics of Program Construction

    10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13320-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dezani-Ciancaglini / Plotkin | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luk / Cheung / Glesner | Field Programmable Logic and Applications | Buch | Sack Fachmedien

    Luk / Cheung / Glesner Field Programmable Logic and Applications

    7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63465-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ekštein / Pártl / Konopík | Text, Speech, and Dialogue | Buch | Sack Fachmedien

    Ekštein / Pártl / Konopík Text, Speech, and Dialogue

    24th International Conference, TSD 2021, Olomouc, Czech Republic, September 6-9, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-83526-2
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Governatori / Turhan | Rules and Reasoning | Buch | Sack Fachmedien

    Governatori / Turhan Rules and Reasoning

    6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21540-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Escobar / Titolo | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Escobar / Titolo Logic-Based Program Synthesis and Transformation

    35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04847-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tang / Zu / Rodríguez García | Human Centered Computing | Buch | Sack Fachmedien

    Tang / Zu / Rodríguez García Human Centered Computing

    4th International Conference, HCC 2018, Mérida, Mexico, December, 5-7, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-15126-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Yang / Shang | Web Information Systems and Applications | Buch | Sack Fachmedien

    Jin / Yang / Shang Web Information Systems and Applications

    21st International Conference, WISA 2024, Yinchuan, China, August 2-4, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-981-97-7706-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fink / Jain / Kise | Document Analysis and Recognition - ICDAR 2023 | Buch | Sack Fachmedien

    Fink / Jain / Kise Document Analysis and Recognition - ICDAR 2023

    17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part V
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41733-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fensel | Problem-Solving Methods | Buch | Sack Fachmedien

    Fensel Problem-Solving Methods

    Understanding, Description, Development, and Reuse
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67816-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Nickovic / Nickovic | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58297-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campilho / Kamel | Image Analysis and Recognition | Buch | Sack Fachmedien

    Campilho / Kamel Image Analysis and Recognition

    9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31294-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Fiems / Knottenbelt | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications

    17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13567-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiello / Chakraborty / Gaito | Social Networks Analysis and Mining | Buch | Sack Fachmedien

    Aiello / Chakraborty / Gaito Social Networks Analysis and Mining

    16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78537-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Genova / Kari | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Genova / Kari Unconventional Computation and Natural Computation

    20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34033-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Campbell / Pfalzgraf | Artificial Intelligence and Symbolic Mathematical Computation | Buch | Sack Fachmedien

    Calmet / Campbell / Pfalzgraf Artificial Intelligence and Symbolic Mathematical Computation

    International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61732-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Deng / Yung | Information Security and Cryptology | Buch | Sack Fachmedien

    Chen / Deng / Yung Information Security and Cryptology

    21st International Conference, Inscrypt 2025, Xi'an, China, October 19-22, 2025, Revised Selected Papers, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-956205-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Yin / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Liu / Yin / Jiang Intelligent Robotics and Applications

    15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13843-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Litsyn / Lobstein | Algebraic Coding | Buch | Sack Fachmedien

    Cohen / Litsyn / Lobstein Algebraic Coding

    First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57843-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Groote | CONCUR '91 | Buch | Sack Fachmedien

    Baeten / Groote CONCUR '91

    2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54430-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonomi / Mandal / Robinson | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Bonomi / Mandal / Robinson Stabilization, Safety, and Security of Distributed Systems

    27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11126-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lokoc / Lokoc / Skopal | MultiMedia Modeling | Buch | Sack Fachmedien

    Lokoc / Lokoc / Skopal MultiMedia Modeling

    27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-67831-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banda / Pontelli | Logic Programming | Buch | Sack Fachmedien

    Banda / Pontelli Logic Programming

    24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helleseth / Sarwate / Song | Sequences and Their Applications - SETA 2004 | Buch | Sack Fachmedien

    Helleseth / Sarwate / Song Sequences and Their Applications - SETA 2004

    Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26084-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Uehara | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Das / Uehara WALCOM: Algorithms and Computation

    Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00201-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Nuno Oliveira | Teaching Formal Methods | Buch | Sack Fachmedien

    Gibbons / Nuno Oliveira Teaching Formal Methods

    Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04911-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jähnichen | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Buch | Sack Fachmedien

    Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software

    Final Report
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60589-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Stepwise Refinement of Distributed Systems | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Stepwise Refinement of Distributed Systems

    Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52559-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Wibowo | Big Data - BigData 2025 | Buch | Sack Fachmedien

    Zhang / Wibowo Big Data - BigData 2025

    14th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06523-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Löffler / Klann | Mobile Response | Buch | Sack Fachmedien

    Löffler / Klann Mobile Response

    Second International Workshop on Mobile Information Technology for Emergency Responce 2008, Bonn, Germany, May 29-30, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00439-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chakraborty / Wu / Wolski | Transactions on Rough Sets X | Buch | Sack Fachmedien

    Chakraborty / Wu / Wolski Transactions on Rough Sets X

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03280-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowles / Søndergaard | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Bowles / Søndergaard Logic-Based Program Synthesis and Transformation

    34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71293-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broccia / Cerone | From Data to Models and Back | Buch | Sack Fachmedien

    Broccia / Cerone From Data to Models and Back

    11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-87216-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lio / Nicosia / Stibor | Artificial Immune Systems | Buch | Sack Fachmedien

    Lio / Nicosia / Stibor Artificial Immune Systems

    10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22370-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garrigós / Murillo Rodríguez / Wimmer | Web Engineering | Buch | Sack Fachmedien

    Garrigós / Murillo Rodríguez / Wimmer Web Engineering

    23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34443-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tack | Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Buch | Sack Fachmedien

    Tack Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95975-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Gao / Sun | Computing and Combinatorics | Buch | Sack Fachmedien

    Chen / Gao / Sun Computing and Combinatorics

    30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961089-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Li / Castiglione | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Zhu / Li / Castiglione Algorithms and Architectures for Parallel Processing

    24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961527-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Falaschi / File | Static Analysis | Buch | Sack Fachmedien

    Cousot / Falaschi / File Static Analysis

    Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57264-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wrembel / Kotsis / Tjoa | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Wrembel / Kotsis / Tjoa Database and Expert Systems Applications

    36th International Conference, DEXA 2025, Bangkok, Thailand, August 25-27, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-02087-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Luo | Cooperative Design, Visualization, and Engineering | Buch | Sack Fachmedien

    Luo Cooperative Design, Visualization, and Engineering

    21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71314-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Onizuka / Lee / Tong | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Onizuka / Lee / Tong Database Systems for Advanced Applications

    29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-981-97-5561-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böszörményi / Schojer | Modular Programming Languages | Buch | Sack Fachmedien

    Böszörményi / Schojer Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40796-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimuro / Antunes | Multi-Agent Based Simulation XVIII | Buch | Sack Fachmedien

    Dimuro / Antunes Multi-Agent Based Simulation XVIII

    International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91586-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das | Distributed Computing - IWDC 2003 | Buch | Sack Fachmedien

    Das Distributed Computing - IWDC 2003

    5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20745-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanc-Talon / Philips / Popescu | Advanced Concepts for Intelligent Vision Systems | Buch | Sack Fachmedien

    Blanc-Talon / Philips / Popescu Advanced Concepts for Intelligent Vision Systems

    13th International Conference, ACIVS 2011, Ghent, Belgium, August 22-25, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23686-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    David / Sichman | Multi-Agent-Based Simulation IX | Buch | Sack Fachmedien

    David / Sichman Multi-Agent-Based Simulation IX

    International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01990-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paterson | Algorithms - ESA 2000 | Buch | Sack Fachmedien

    Paterson Algorithms - ESA 2000

    8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41004-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meiselwitz | Social Computing and Social Media: Design, User Experience and Impact | Buch | Sack Fachmedien

    Meiselwitz Social Computing and Social Media: Design, User Experience and Impact

    14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-05060-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Howar | Tests and Proofs | Buch | Sack Fachmedien

    Huisman / Howar Tests and Proofs

    18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-72043-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fink / Jain / Kise | Document Analysis and Recognition - ICDAR 2023 | Buch | Sack Fachmedien

    Fink / Jain / Kise Document Analysis and Recognition - ICDAR 2023

    17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41681-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishibuchi / Zhang / Cheng | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Ishibuchi / Zhang / Cheng Evolutionary Multi-Criterion Optimization

    11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-72061-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Gorla | Static Analysis | Buch | Sack Fachmedien

    Giacobazzi / Gorla Static Analysis

    31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-74775-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dragoi / Emmi / Wang | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dragoi / Emmi / Wang Verification, Model Checking, and Abstract Interpretation

    24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    2023
    Verlag: Springer
    ISBN: 978-3-031-24949-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuno / Liu / Yin | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Matsuno / Liu / Yin Intelligent Robotics and Applications

    18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952100-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    The Munich Project CIP | Buch | Sack Fachmedien

    The Munich Project CIP

    Volume I: The Wide Spectrum Language CIP-L
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15187-6
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sivasubramaniam / Lauria | Network-Based Parallel Computing Communication, Architecture, and Applications | Buch | Sack Fachmedien

    Sivasubramaniam / Lauria Network-Based Parallel Computing Communication, Architecture, and Applications

    Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65915-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kündig / Bührer / Dähler | Embedded Systems | Buch | Sack Fachmedien

    Kündig / Bührer / Dähler Embedded Systems

    New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18581-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bramer / Stahl | Artificial Intelligence XLII | Buch | Sack Fachmedien

    Bramer / Stahl Artificial Intelligence XLII

    45th SGAI International Conference on Artificial Intelligence, AI 2025, Cambridge, UK, December 16-18, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11401-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sembok / Zaman / Chen | Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access | Buch | Sack Fachmedien

    Sembok / Zaman / Chen Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access

    6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20608-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Lenstra / Parrow | Automata, Languages and Programming | Buch | Sack Fachmedien

    Baeten / Lenstra / Parrow Automata, Languages and Programming

    30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40493-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Kozen / de Queiroz Logic, Language, Information, and Computation

    31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99535-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lucanu | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Lucanu Rewriting Logic and Its Applications

    11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44801-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Wang / Zhou | Internet of Vehicles - Technologies and Services | Buch | Sack Fachmedien

    Hsu / Wang / Zhou Internet of Vehicles - Technologies and Services

    Third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-51968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Kern-Isberner | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Hartmann / Kern-Isberner Foundations of Information and Knowledge Systems

    5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77683-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciucci / Inuiguchi / Yao | Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | Buch | Sack Fachmedien

    Ciucci / Inuiguchi / Yao Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

    14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41217-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polycarpou / Pan / Wozniak | Hybrid Artificial Intelligence Systems | Buch | Sack Fachmedien

    Polycarpou / Pan / Wozniak Hybrid Artificial Intelligence Systems

    9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07616-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Dimitrova / Fan | Software Verification | Buch | Sack Fachmedien

    Bloem / Dimitrova / Fan Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95560-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haxthausen / Serwe | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Haxthausen / Serwe Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68149-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ågotnes / Doder | Logic and Argumentation | Buch | Sack Fachmedien

    Ågotnes / Doder Logic and Argumentation

    6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-967955-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanaka / Iwata / Higuchi | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Tanaka / Iwata / Higuchi Evolvable Systems: From Biology to Hardware

    4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42671-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing

    IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63574-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galmiche / Schulz / Sebastiani | Automated Reasoning | Buch | Sack Fachmedien

    Galmiche / Schulz / Sebastiani Automated Reasoning

    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94204-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Sampaio | Unifying Theories of Programming | Buch | Sack Fachmedien

    Ribeiro / Sampaio Unifying Theories of Programming

    7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31037-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst / Rozier | Model Checking Software | Buch | Sack Fachmedien

    Ernst / Rozier Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06846-0
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Astesiano Fundamental Approaches to Software Engineering

    First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64303-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Paolis / Arpaia / Sacco | Extended Reality | Buch | Sack Fachmedien

    De Paolis / Arpaia / Sacco Extended Reality

    International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-71706-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Del Pia / Kaibel | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Del Pia / Kaibel Integer Programming and Combinatorial Optimization

    24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-32725-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat / Perrin | Automata on Infinite Words | Buch | Sack Fachmedien

    Nivat / Perrin Automata on Infinite Words

    Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15641-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Stone / Sucar | RoboCup 2012: Robot Soccer World Cup XVI | Buch | Sack Fachmedien

    Chen / Stone / Sucar RoboCup 2012: Robot Soccer World Cup XVI

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39249-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen | Compiler Construction | Buch | Sack Fachmedien

    Jähnichen Compiler Construction

    8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Catarci / Forner / Hiemstra | Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics | Buch | Sack Fachmedien

    Catarci / Forner / Hiemstra Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics

    Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33246-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goyal / Kumar / Bhowmick | Big Data and Artificial Intelligence | Buch | Sack Fachmedien

    Goyal / Kumar / Bhowmick Big Data and Artificial Intelligence

    11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49600-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Holzmann / Joshi | NASA Formal Methods | Buch | Sack Fachmedien

    Havelund / Holzmann / Joshi NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-17523-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Martins | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Ribeiro / Martins Experimental and Efficient Algorithms

    Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22067-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mahmud / Doborjeh / Wong | Neural Information Processing | Buch | Sack Fachmedien

    Mahmud / Doborjeh / Wong Neural Information Processing

    31st International Conference, ICONIP 2024, Auckland, New Zealand, December 2-6, 2024, Proceedings, Part VI
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966590-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Onizuka / Lee / Tong | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Onizuka / Lee / Tong Database Systems for Advanced Applications

    29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-5778-7
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Zhang / Xia | Artificial Intelligence and Security | Buch | Sack Fachmedien

    Sun / Zhang / Xia Artificial Intelligence and Security

    8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part III
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-06790-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdulla / Leino | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Abdulla / Leino Tools and Algorithms for the Construction and Analysis of Systems

    17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mugnier / Chein | Conceptual Structures: Theory, Tools and Applications | Buch | Sack Fachmedien

    Mugnier / Chein Conceptual Structures: Theory, Tools and Applications

    6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64791-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Proietti / Seki | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Proietti / Seki Logic-Based Program Synthesis and Transformation

    24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17821-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Yin / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Liu / Yin / Jiang Intelligent Robotics and Applications

    15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13821-8
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomson / Al-khateeb / Burger | Social, Cultural, and Behavioral Modeling | Buch | Sack Fachmedien

    Thomson / Al-khateeb / Burger Social, Cultural, and Behavioral Modeling

    16th International Conference, SBP-BRiMS 2023, Pittsburgh, PA, USA, September 20-22, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43128-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Del Bimbo / Cucchiara / Sclaroff | Pattern Recognition. ICPR International Workshops and Challenges | Buch | Sack Fachmedien

    Del Bimbo / Cucchiara / Sclaroff Pattern Recognition. ICPR International Workshops and Challenges

    Virtual Event, January 10-15, 2021, Proceedings, Part VI
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-68779-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Paolis / Arpaia / Sacco | Extended Reality | Buch | Sack Fachmedien

    De Paolis / Arpaia / Sacco Extended Reality

    International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43400-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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