Ergebnisse filtern
Fachgebiet
Medium
  • 10632
  • 2690
Erscheinungsjahr
  • 168
  • 1005
  • 1055
  • 794
  • 664
  • 400
  • 399
  • 426
  • 412
  • 424
  • 437
  • 445
  • 399
  • 448
  • 455
  • 397
  • 400
  • 275
  • 249
  • 274
  • 293
  • 225
  • 478
  • 583
  • 262
  • 254
  • 179
  • 177
  • 134
  • 136
  • 137
  • 120
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 5
  • 5
  • 7
  • 5
  • 6
  • 6
  • 6
  • 10
  • 9
  • 5
  • 12
  • 11
  • 9
  • 6
  • 5
  • 11
  • 14
  • 10
  • 5
  • 5
  • 17
  • 9
  • 28
  • 6
  • 12
  • 5
  • 5
  • 9
  • 11
  • 7
  • 7
  • 5
  • 13
  • 36
  • 52
  • 6
  • 59
  • 9
  • 10
  • 6
  • 6
  • 20
  • 19
  • 12
  • 7
  • 51
  • 6
  • 5
  • 5
  • 5
  • 7
  • 7
  • 6
  • 9
  • 6
  • 7
  • 15
  • 8
  • 6
  • 5
  • 6
  • 5
  • 9
  • 6
  • 7
  • 7
  • 6
  • 7
  • 6
  • 14
  • 6
  • 5
  • 22
  • 7
  • 5
  • 6
  • 6
  • 18
  • 11
  • 10
  • 5
  • 5
  • 24
  • 11
  • 10
  • 7
  • 58
  • 6
  • 19
  • 12
  • 9
  • 15
  • 12
  • 10
  • 7
  • 12
  • 6
  • 8
  • 12
  • 7
  • 11
  • 17
  • 7
  • 13
  • 20
  • 9
  • 21
  • 6
  • 7
  • 6
  • 51
  • 13
  • 8
  • 8
  • 7
  • 10
  • 19
  • 6
  • 8
  • 13
  • 15
  • 6
  • 7
  • 18
  • 12
  • 9
  • 27
  • 6
  • 18
  • 6
  • 13
  • 11
  • 6
  • 12
  • 7
  • 16
  • 6
  • 9
  • 49
  • 14
  • 58
  • 10
  • 10
  • 22
  • 18
  • 7
  • 9
  • 7
  • 7
  • 24
  • 10
  • 48
  • 12
  • 15
  • 12
  • 6
  • 7
  • 6
  • 8
  • 17
  • 6
  • 9
  • 16
  • 6
  • 10
  • 10
  • 51
  • 11
  • 12
  • 13
  • 20
  • 6
  • 6
  • 7
  • 7
  • 17
  • 12
  • 6
  • 8
  • 8
  • 20
  • 12
  • 10
  • 17
  • 8
  • 8
  • 8
  • 6
  • 12
  • 7
  • 21
  • 26
  • 8
  • 9
  • 7
  • 11
  • 6
  • 7
  • 19
  • 27
  • 9
  • 8
  • 7
  • 6
  • 8
  • 14
  • 9
  • 6
  • 9
  • 7
  • 13
  • 21
  • 14
  • 6
  • 9
  • 13
  • 7
  • 48
  • 53
  • 8
  • 32
  • 6
  • 7
  • 20
  • 8
  • 31
  • 13
  • 6
  • 8
  • 8
  • 22
  • 6
  • 8
  • 9
  • 7
  • 6
  • 7
  • 6
  • 36
  • 6
  • 20
  • 60
  • 15
  • 8
  • 6
  • 20
  • 8
  • 7
  • 11
  • 9
  • 15
  • 21
  • 9
  • 12
  • 9
  • 6
  • 7
  • 7
  • 6
  • 11
  • 18
  • 13
  • 11
  • 8
  • 10
  • 7
  • 17
  • 9
  • 8
  • 6
  • 11
  • 16
  • 6
  • 6
  • 19
  • 77
  • 6
  • 6
  • 36
  • 6
  • 8
  • 34
  • 10
  • 20
  • 34
  • 6
  • 125
  • 9
  • 14
  • 9
  • 10
  • 20
  • 10
  • 7
  • 21
  • 15
  • 9
  • 9
  • 9
  • 6
  • 13
  • 19
  • 9
  • 8
  • 7
  • 6
  • 7
  • 14
  • 52
  • 7
  • 7
  • 9
  • 7
  • 6
  • 7
  • 9
  • 26
  • 14
  • 8
  • 12
  • 26
  • 51
  • 12
  • 8
  • 10
  • 18
  • 8
  • 13
  • 8
  • 7
  • 9
  • 7
  • 7
  • 6
  • 9
  • 6
  • 16
  • 17
  • 9
  • 6
  • 7
  • 11
  • 13
  • 6
  • 81
  • 8
  • 10
  • 12
  • 7
  • 6
  • 11
  • 6
  • 17
  • 7
  • 14
  • 7
  • 14
  • 9
  • 31
  • 9
  • 14
  • 10
  • 6
  • 7
  • 12
  • 6
  • 6
  • 19
  • 7
  • 20
  • 7
  • 9
  • 13
  • 7
  • 6
  • 15
  • 9
  • 9
  • 12
  • 6
  • 17
  • 7
  • 6
  • 6
  • 6
  • 10
  • 6
  • 9
  • 17
  • 9
  • 11
  • 9
  • 8
  • 8
  • 40
  • 6
  • 10
  • 6
  • 8
  • 6
  • 8
  • 28
  • 8
  • 10
  • 23
  • 47
  • 6
  • 6
  • 6
  • 9
  • 13
  • 16
  • 17
  • 7
  • 11
  • 38
  • 6
  • 14
  • 6
  • 10
  • 6
  • 6
  • 7
  • 10
  • 20
  • 6
  • 8
  • 20
  • 24
  • 42
  • 6
  • 21
  • 12
  • 8
  • 29
  • 6
  • 8
  • 14
  • 10
  • 6
  • 36
  • 17
  • 39
  • 51
  • 6
  • 10
  • 7
  • 6
  • 11
  • 8
  • 20
  • 11
  • 8
  • 7
  • 17
  • 6
  • 12
  • 7
  • 8
  • 6
  • 10
  • 10
  • 6
  • 17
  • 6
  • 7
  • 90
  • 30
  • 30
  • 19
  • 6
  • 6
  • 21
  • 7
  • 7
  • 11
  • 21
  • 9
  • 9
  • 7
  • 12
  • 16
  • 18
  • 6
  • 6
  • 7
  • 11
  • 15
  • 17
  • 7
  • 24
  • 21
  • 9
  • 26
  • 7
  • 14
  • 84
  • 12
  • 8
  • 24
  • 9
  • 7
  • 16
  • 26
  • 7
  • 11
  • 8
  • 12
  • 8
  • 10
  • 6
  • 17
  • 9
  • 6
  • 8
  • 31
  • 10
  • 7
  • 16
  • 13
  • 15
  • 7
  • 22
  • 18
  • 17
  • 15
  • 25
  • 6
  • 6
  • 11
  • 9
  • 7
  • 6
  • 15
  • 12
  • 11
  • 36
  • 8
  • 12
  • 42
  • 36
  • 8
  • 6
  • 9
  • 6
  • 8
  • 9
  • 9
  • 29
  • 11
  • 7
  • 7
  • 7
  • 11
  • 9
  • 7
  • 8
  • 9
  • 13
  • 7
  • 24
  • 6
  • 6
  • 7
  • 6
  • 9
  • 12
  • 7
  • 12
  • 8
  • 16
  • 6
  • 13
  • 6
  • 7
  • 50
  • 8
  • 12
  • 8
  • 7
  • 10
  • 7
  • 7
  • 24
  • 8
  • 7
  • 7
  • 6
  • 11
  • 11
  • 7
  • 7
  • 11
  • 8
  • 116
  • 15
  • 7
  • 7
  • 9
  • 16
  • 8
  • 11
  • 13
  • 6
  • 9
  • 12
  • 59
  • 25
  • 22
  • 8
  • 8
  • 10
  • 10
  • 7
  • 7
  • 8
  • 10
  • 6
  • 8
  • 9
  • 8
  • 13
  • 8
  • 7
  • 10
  • 6
  • 6
  • 8
  • 12
  • 61
  • 10
  • 8
  • 7
  • 20
  • 10
  • 9
  • 6
  • 22
  • 15
  • 8
  • 13
  • 7
  • 19
  • 21
  • 17
  • 10
  • 20
  • 12
  • 6
  • 11
  • 10
  • 34
  • 16
  • 11
  • 8
  • 17
  • 9
  • 6
  • 8
  • 23
  • 15
  • 7
  • 14
  • 14
  • 6
  • 11
  • 10
  • 12
  • 18
  • 8
  • 17
  • 8
  • 8
  • 17
  • 6
  • 9
  • 27
  • 8
  • 9
  • 13
  • 6
  • 15
  • 7
  • 9
  • 12
  • 16
  • 15
  • 9
  • 7
  • 7
  • 11
  • 23
  • 8
  • 13
  • 9
  • 6
  • 6
  • 8
  • 15
  • 32
  • 15
  • 8
  • 9
  • 10
  • 25
  • 7
  • 7
  • 10
  • 11
  • 13
  • 6
  • 120
  • 8
  • 9
  • 10
  • 9
  • 34
  • 12
  • 14
  • 23
  • 11
  • 9
  • 11
  • 14
  • 13
  • 26
  • 8
  • 121
  • 6
  • 61
  • 13
  • 12
  • 11
  • 117
  • 26
  • 7
  • 18
  • 17
  • 7
  • 18
  • 6
  • 11
  • 20
  • 14
  • 10
  • 6
  • 7
  • 10
  • 6
  • 6
  • 11
  • 117
  • 7
  • 6
  • 9
  • 15
  • 24
  • 6
  • 10
  • 18
  • 11
  • 23
  • 17
  • 14
  • 8
  • 9
  • 8
  • 7
  • 15
  • 8
  • 13
  • 32
  • 15
  • 7
  • 7
  • 14
  • 6
  • 7
  • 6
  • 9
  • 19
  • 6
  • 32
  • 6
  • 6
  • 6
  • 6
  • 8
  • 12
  • 15
  • 11
  • 9
  • 10
  • 11
  • 6
  • 12
  • 9
  • 17
  • 50
  • 11
  • 9
  • 9
  • 11
  • 23
  • 12
  • 6
  • 15
  • 8
  • 16
  • 13
  • 8
  • 6
  • 8
  • 11
  • 14
  • 7
  • 51
  • 8
  • 48
  • 7
  • 16
  • 9
  • 12
  • 9
  • 14
  • 15
  • 6
  • 9
  • 7
  • 23
  • 7
  • 8
  • 7
  • 6
  • 9
  • 17
  • 10
  • 17
  • 20
  • 31
  • 7
  • 6
  • 6
  • 17
  • 31
  • 14
  • 17
  • 31
  • 79
  • 14
  • 21
  • 25
  • 11
  • 11
  • 8
  • 11
  • 20
  • 25
  • 21
  • 7
  • 9
  • 11
  • 76
  • 27
  • 17
  • 9
  • 10
  • 17
  • 18
  • 15
  • 6
  • 17
  • 9
  • 18
  • 7
  • 6
  • 14
  • 10
  • 6
  • 16
  • 16
  • 10
  • 11
  • 14
  • 117
  • 6
  • 12
  • 13
  • 6
  • 17
  • 7
  • 9
  • 6
  • 9
  • 16
  • 15
  • 9
  • 9
  • 44
  • 8
  • 11
  • 6
  • 9
  • 8
  • 16
  • 9
  • 15
  • 22
  • 11
  • 12
  • 24
  • 12
  • 7
  • 7
  • 21
  • 7
  • 22
  • 8
  • 14
  • 9
  • 8
  • 9
  • 9
  • 7
  • 7
  • 11
  • 8
  • 9
  • 32
  • 10
  • 17
  • 8
  • 14
  • 10
  • 9
  • 7
  • 14
  • 7
  • 13
  • 6
  • 14
  • 10
  • 24
  • 7
  • 7
  • 14
  • 19
  • 9
  • 6
  • 33
  • 9
  • 19
  • 7
  • 29
  • 15
  • 6
  • 7
  • 14
  • 10
  • 9
  • 24
  • 6
  • 7
  • 9
  • 6
  • 62
  • 11
  • 7
  • 7
  • 6
  • 32
  • 9
  • 54
  • 19
  • 6
  • 84
  • 24
  • 8
  • 6
  • 10
  • 6
  • 9
  • 40
  • 7
  • 10
  • 6
  • 24
  • 26
  • 21
  • 10
  • 13
  • 11
  • 6
  • 18
  • 17
  • 6
  • 6
  • 7
  • 6
  • 26
Verlag
  • 1
  • 11558
  • 40
  • 1546
  • 1
  • 14
  • 3
  • 114
  • 1
  • 1
  • 43
Preis
  • 47
  • 484
  • 10509
  • 2282
Sprachen
  • 13314
  • 20
  • 15
Verfügbarkeit
  • 13300
  • 22
Eigenschaften
  • 6
Katalog
  • 13322
  • 548
13.322  Treffer  für „Lecture Notes in Computer Science“
    Ferreira / Musaev / Zhang | Services Computing - SCC 2019 | Buch | Sack Fachmedien

    Ferreira / Musaev / Zhang Services Computing - SCC 2019

    16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23553-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan / Meyer / Ehrich | Objects, Agents, and Features | Buch | Sack Fachmedien

    Ryan / Meyer / Ehrich Objects, Agents, and Features

    International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21989-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liardet / Collet / Fonlupt | Artificial Evolution | Buch | Sack Fachmedien

    Liardet / Collet / Fonlupt Artificial Evolution

    6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21523-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balsters / Brock / Conrad | Database Schema Evolution and Meta-Modeling | Buch | Sack Fachmedien

    Balsters / Brock / Conrad Database Schema Evolution and Meta-Modeling

    9th International Workshop on Foundations of Models and Languages for Data and Objects FoMLaDO/DEMM 2000 Dagstuhl Castle, Germany, September 18-21, 2000 Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42272-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salampasis / Larsen | Multidisciplinary Information Retrieval | Buch | Sack Fachmedien

    Salampasis / Larsen Multidisciplinary Information Retrieval

    5th Information Retrieval Facility Conference, IRFC 2012, Vienna, Austria, July 2-3, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31273-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brijder / Qian | DNA Computing and Molecular Programming | Buch | Sack Fachmedien

    Brijder / Qian DNA Computing and Molecular Programming

    23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66798-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giorgini / Müller / Odell | Agent-Oriented Software Engineering IV | Buch | Sack Fachmedien

    Giorgini / Müller / Odell Agent-Oriented Software Engineering IV

    4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20826-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prouff | Constructive Side-Channel Analysis and Secure Design | Buch | Sack Fachmedien

    Prouff Constructive Side-Channel Analysis and Secure Design

    4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40025-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Swierstra | Programming Languages: Implementations, Logics and Programs | Buch | Sack Fachmedien

    Hermenegildo / Swierstra Programming Languages: Implementations, Logics and Programs

    7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60359-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wermter / Riloff / Scheler | Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing | Buch | Sack Fachmedien

    Wermter / Riloff / Scheler Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60925-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pipek / Rosson / Wulf | End-User Development | Buch | Sack Fachmedien

    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
    Gibbons / Miller | Functional and Logic Programming | Buch | Sack Fachmedien

    Gibbons / Miller Functional and Logic Programming

    17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-2299-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alboul / Damian / Aitken | Towards Autonomous Robotic Systems | Buch | Sack Fachmedien

    Alboul / Damian / Aitken Towards Autonomous Robotic Systems

    17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40378-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chi / Lam | Content Computing | Buch | Sack Fachmedien

    Chi / Lam Content Computing

    Advanced Workshop on Content Computing, AWCC 2004, Zhen Jiang, Jiang Su, China, November 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23898-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alcaraz / Chen / Li | Information and Communications Security | Buch | Sack Fachmedien

    Alcaraz / Chen / Li Information and Communications Security

    24th International Conference, ICICS 2022, Canterbury, UK, September 5-8, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15776-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baltes / Lagoudakis / Naruse | RoboCup 2009: Robot Soccer World Cup XIII | Buch | Sack Fachmedien

    Baltes / Lagoudakis / Naruse RoboCup 2009: Robot Soccer World Cup XIII

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11875-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoshikawa / Wang / Meng | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Yoshikawa / Wang / Meng Advanced Data Mining and Applications

    21st International Conference, ADMA 2025, Kyoto, Japan, October 22-24, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953455-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilbert / Karlsson | SWAT '90 | Buch | Sack Fachmedien

    Gilbert / Karlsson SWAT '90

    2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52846-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Du / Duan / Tian | Computing and Combinatorics | Buch | Sack Fachmedien

    Du / Duan / Tian Computing and Combinatorics

    25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-26175-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szymanski / Szymanski / Velegrakis | Semantic Keyword-Based Search on Structured Data Sources | Buch | Sack Fachmedien

    Szymanski / Szymanski / Velegrakis Semantic Keyword-Based Search on Structured Data Sources

    Third International KEYSTONE Conference, IKC 2017, Gda¿sk, Poland, September 11-12, 2017, Revised Selected Papers and COST Action IC1302 Reports
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74496-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimatti / Sirjani | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Cimatti / Sirjani Software Engineering and Formal Methods

    15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66196-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutchison / Mariani / Shepherd | Local Area Networks: An Advanced Course | Buch | Sack Fachmedien

    Hutchison / Mariani / Shepherd Local Area Networks: An Advanced Course

    Glasgow, July 11-22, 1983. Proceedings
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15191-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Urban / Zhang | Interactive Theorem Proving | Buch | Sack Fachmedien

    Urban / Zhang Interactive Theorem Proving

    6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22101-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning | Buch | Sack Fachmedien

    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
    Hu / Cornelis / Zhang | Rough Sets | Buch | Sack Fachmedien

    Hu / Cornelis / Zhang Rough Sets

    International Joint Conference, IJCRS 2024, Halifax, NS, Canada, May 17-20, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-65667-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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