Ergebnisse filtern
Fachgebiet
Medium
  • 10645
  • 2633
Erscheinungsjahr
  • 196
  • 1018
  • 1041
  • 798
  • 624
  • 397
  • 409
  • 439
  • 418
  • 427
  • 421
  • 434
  • 420
  • 429
  • 443
  • 383
  • 389
  • 273
  • 247
  • 276
  • 292
  • 227
  • 479
  • 582
  • 262
  • 253
  • 179
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 5
  • 6
  • 7
  • 10
  • 12
  • 12
  • 9
  • 6
  • 5
  • 5
  • 5
  • 9
  • 12
  • 12
  • 5
  • 20
  • 23
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 9
  • 5
  • 13
  • 6
  • 34
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 20
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 13
  • 6
  • 18
  • 7
  • 5
  • 8
  • 5
  • 5
  • 9
  • 5
  • 7
  • 6
  • 7
  • 9
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 12
  • 7
  • 57
  • 5
  • 18
  • 13
  • 7
  • 12
  • 12
  • 11
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 5
  • 7
  • 5
  • 11
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 21
  • 7
  • 8
  • 5
  • 46
  • 14
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 11
  • 14
  • 14
  • 7
  • 7
  • 5
  • 16
  • 10
  • 9
  • 27
  • 5
  • 6
  • 15
  • 12
  • 5
  • 13
  • 6
  • 11
  • 5
  • 7
  • 5
  • 13
  • 5
  • 5
  • 7
  • 8
  • 49
  • 14
  • 5
  • 61
  • 7
  • 12
  • 11
  • 20
  • 20
  • 5
  • 11
  • 9
  • 5
  • 28
  • 9
  • 53
  • 5
  • 12
  • 15
  • 12
  • 9
  • 5
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 5
  • 5
  • 12
  • 5
  • 9
  • 17
  • 6
  • 6
  • 5
  • 9
  • 5
  • 16
  • 12
  • 7
  • 7
  • 5
  • 7
  • 8
  • 5
  • 20
  • 13
  • 7
  • 16
  • 5
  • 8
  • 8
  • 10
  • 5
  • 6
  • 11
  • 17
  • 25
  • 8
  • 9
  • 6
  • 7
  • 9
  • 17
  • 27
  • 11
  • 9
  • 6
  • 11
  • 8
  • 7
  • 7
  • 9
  • 6
  • 11
  • 6
  • 20
  • 14
  • 7
  • 10
  • 12
  • 9
  • 52
  • 47
  • 7
  • 30
  • 6
  • 9
  • 21
  • 11
  • 27
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 7
  • 8
  • 7
  • 10
  • 9
  • 7
  • 7
  • 36
  • 7
  • 19
  • 54
  • 14
  • 8
  • 7
  • 18
  • 9
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 13
  • 12
  • 6
  • 13
  • 11
  • 12
  • 11
  • 19
  • 74
  • 39
  • 7
  • 32
  • 13
  • 22
  • 34
  • 6
  • 116
  • 8
  • 14
  • 10
  • 8
  • 20
  • 10
  • 8
  • 23
  • 15
  • 9
  • 11
  • 7
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 14
  • 7
  • 51
  • 6
  • 13
  • 10
  • 11
  • 24
  • 12
  • 7
  • 10
  • 26
  • 46
  • 11
  • 8
  • 13
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 8
  • 6
  • 6
  • 8
  • 12
  • 7
  • 90
  • 8
  • 13
  • 15
  • 8
  • 8
  • 10
  • 7
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 26
  • 6
  • 8
  • 14
  • 10
  • 6
  • 15
  • 6
  • 22
  • 16
  • 7
  • 11
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 6
  • 7
  • 7
  • 12
  • 12
  • 16
  • 10
  • 8
  • 9
  • 8
  • 6
  • 43
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 32
  • 8
  • 10
  • 6
  • 19
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 6
  • 36
  • 6
  • 15
  • 10
  • 6
  • 6
  • 10
  • 19
  • 6
  • 8
  • 18
  • 27
  • 44
  • 20
  • 10
  • 8
  • 28
  • 7
  • 16
  • 10
  • 8
  • 31
  • 17
  • 35
  • 48
  • 7
  • 8
  • 10
  • 11
  • 9
  • 20
  • 11
  • 6
  • 17
  • 10
  • 7
  • 8
  • 6
  • 9
  • 10
  • 7
  • 17
  • 7
  • 90
  • 30
  • 33
  • 7
  • 19
  • 6
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 9
  • 11
  • 16
  • 6
  • 16
  • 6
  • 9
  • 8
  • 7
  • 10
  • 13
  • 15
  • 23
  • 7
  • 21
  • 7
  • 27
  • 6
  • 13
  • 8
  • 83
  • 10
  • 6
  • 23
  • 9
  • 6
  • 16
  • 31
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 30
  • 10
  • 6
  • 7
  • 14
  • 13
  • 19
  • 6
  • 19
  • 22
  • 20
  • 10
  • 24
  • 7
  • 7
  • 11
  • 9
  • 6
  • 12
  • 9
  • 14
  • 30
  • 8
  • 12
  • 42
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 21
  • 10
  • 6
  • 7
  • 6
  • 7
  • 10
  • 6
  • 10
  • 10
  • 9
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 6
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 8
  • 12
  • 8
  • 7
  • 8
  • 6
  • 22
  • 7
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 107
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 19
  • 8
  • 7
  • 6
  • 6
  • 10
  • 12
  • 57
  • 23
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 10
  • 6
  • 8
  • 7
  • 10
  • 9
  • 9
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 15
  • 61
  • 8
  • 8
  • 8
  • 20
  • 10
  • 9
  • 23
  • 16
  • 6
  • 6
  • 13
  • 7
  • 17
  • 18
  • 19
  • 11
  • 18
  • 8
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 9
  • 7
  • 25
  • 6
  • 13
  • 15
  • 16
  • 6
  • 12
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 19
  • 9
  • 27
  • 9
  • 8
  • 13
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 9
  • 7
  • 6
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 7
  • 13
  • 30
  • 15
  • 8
  • 11
  • 25
  • 7
  • 11
  • 8
  • 11
  • 122
  • 11
  • 10
  • 7
  • 32
  • 9
  • 12
  • 24
  • 11
  • 9
  • 6
  • 12
  • 16
  • 11
  • 26
  • 8
  • 122
  • 6
  • 62
  • 13
  • 12
  • 11
  • 120
  • 29
  • 6
  • 19
  • 8
  • 14
  • 8
  • 14
  • 15
  • 20
  • 17
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 10
  • 120
  • 9
  • 15
  • 27
  • 11
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 9
  • 7
  • 12
  • 10
  • 34
  • 11
  • 7
  • 6
  • 13
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 35
  • 8
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 10
  • 10
  • 8
  • 11
  • 13
  • 19
  • 44
  • 12
  • 9
  • 11
  • 6
  • 23
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 9
  • 9
  • 11
  • 7
  • 49
  • 9
  • 44
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 33
  • 6
  • 6
  • 7
  • 8
  • 14
  • 7
  • 32
  • 12
  • 18
  • 34
  • 71
  • 14
  • 20
  • 24
  • 8
  • 15
  • 8
  • 11
  • 21
  • 22
  • 17
  • 9
  • 9
  • 71
  • 27
  • 15
  • 10
  • 8
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 15
  • 10
  • 9
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 13
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 10
  • 41
  • 7
  • 11
  • 9
  • 7
  • 18
  • 9
  • 19
  • 21
  • 11
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 10
  • 16
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 8
  • 32
  • 7
  • 18
  • 8
  • 14
  • 6
  • 10
  • 8
  • 10
  • 7
  • 10
  • 7
  • 15
  • 11
  • 10
  • 7
  • 23
  • 7
  • 14
  • 18
  • 7
  • 11
  • 32
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 6
  • 13
  • 10
  • 9
  • 23
  • 7
  • 9
  • 7
  • 6
  • 59
  • 13
  • 7
  • 7
  • 30
  • 60
  • 22
  • 77
  • 6
  • 21
  • 6
  • 6
  • 9
  • 9
  • 9
  • 6
  • 43
  • 9
  • 8
  • 24
  • 25
  • 21
  • 12
  • 13
  • 6
  • 16
  • 15
  • 7
  • 29
Verlag
  • 1
  • 11520
  • 40
  • 1521
  • 1
  • 14
  • 2
  • 3
  • 131
  • 1
  • 1
  • 43
Preis
  • 47
  • 483
  • 10472
  • 2276
Sprachen
  • 13270
  • 20
  • 15
Verfügbarkeit
  • 13256
  • 22
Eigenschaften
  • 7
Katalog
  • 13278
  • 548
13.278  Treffer  für „Lecture Notes in Computer Science“
    Kim / Park / Lee | Information Security and Cryptology - ICISC 2024 | Buch | Sack Fachmedien

    Kim / Park / Lee Information Security and Cryptology - ICISC 2024

    27th International Conference, Seoul, South Korea, November 20-22, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-965565-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romijn / Smith / van de Pol | Integrated Formal Methods | Buch | Sack Fachmedien

    Romijn / Smith / van de Pol Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30492-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Collart-Dutilleul / Lecomte | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    ter Beek / Collart-Dutilleul / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10761-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Zhang | Blockchain - ICBC 2021 | Buch | Sack Fachmedien

    Lee / Zhang Blockchain - ICBC 2021

    4th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-96526-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camacho / King / Srinivasan | Inductive Logic Programming | Buch | Sack Fachmedien

    Camacho / King / Srinivasan Inductive Logic Programming

    14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22941-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zhang / Lee | Web and Big Data | Buch | Sack Fachmedien

    Wang / Zhang / Lee Web and Big Data

    4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 18-20, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60289-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cossentino / El Fallah Seghrouchni / Winikoff | Engineering Multi-Agent Systems | Buch | Sack Fachmedien

    Cossentino / El Fallah Seghrouchni / Winikoff Engineering Multi-Agent Systems

    First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45342-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothblum / Wee | Theory of Cryptography | Buch | Sack Fachmedien

    Rothblum / Wee Theory of Cryptography

    21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48617-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kitano | RoboCup-97: Robot Soccer World Cup I | Buch | Sack Fachmedien

    Kitano RoboCup-97: Robot Soccer World Cup I

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64473-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galinina / Andreev / Balandin | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Galinina / Andreev / Balandin Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26-28, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30858-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bach / Marling | Case-Based Reasoning Research and Development | Buch | Sack Fachmedien

    Bach / Marling Case-Based Reasoning Research and Development

    27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29248-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noble / Johnson / Zdun | Transactions on Pattern Languages of Programming IV | Buch | Sack Fachmedien

    Noble / Johnson / Zdun Transactions on Pattern Languages of Programming IV

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-14290-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Pedaste / Bardone | Innovative Technologies and Learning | Buch | Sack Fachmedien

    Cheng / Pedaste / Bardone Innovative Technologies and Learning

    7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-65880-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonato / Chung Graham / Pralat | Algorithms and Models for the Web Graph | Buch | Sack Fachmedien

    Bonato / Chung Graham / Pralat Algorithms and Models for the Web Graph

    14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15–16, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67809-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosner / Fuchs | Controlled Natural Language | Buch | Sack Fachmedien

    Rosner / Fuchs Controlled Natural Language

    Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31174-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kotsireas / Pardalos | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Kotsireas / Pardalos Learning and Intelligent Optimization

    14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53551-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demri / Kapur / Weidenbach | Automated Reasoning | Buch | Sack Fachmedien

    Demri / Kapur / Weidenbach Automated Reasoning

    7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08586-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brunstrom / Flores / Fiore | Passive and Active Measurement | Buch | Sack Fachmedien

    Brunstrom / Flores / Fiore Passive and Active Measurement

    24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-28485-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siefkes | GI-4.Jahrestagung | Buch | Sack Fachmedien

    Siefkes GI-4.Jahrestagung

    Berlin, 9.-12. Oktober 1974
    Erscheinungsjahr 1975
    Verlag: Springer
    ISBN: 978-3-662-39104-4
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Zhu / Wang | Wireless Artificial Intelligent Computing Systems and Applications | Buch | Sack Fachmedien

    Cai / Zhu / Wang Wireless Artificial Intelligent Computing Systems and Applications

    19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-968730-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Královic / Sykora | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Královic / Sykora Structural Information and Communication Complexity

    11th International Colloquium , SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22230-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morales / Fierrez / Sánchez | Pattern Recognition and Image Analysis | Buch | Sack Fachmedien

    Morales / Fierrez / Sánchez Pattern Recognition and Image Analysis

    9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1-4, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31331-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahrenberg / Tripakis | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems

    9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24309-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Meinke | Tests and Proofs | Buch | Sack Fachmedien

    Kovács / Meinke Tests and Proofs

    16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-09826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudolph / Kononova / Aguirre | Parallel Problem Solving from Nature - PPSN XVII | Buch | Sack Fachmedien

    Rudolph / Kononova / Aguirre Parallel Problem Solving from Nature - PPSN XVII

    17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-14720-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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