Ergebnisse filtern
Fachgebiet
Medium
  • 10652
  • 2734
Erscheinungsjahr
  • 154
  • 1007
  • 1081
  • 803
  • 659
  • 419
  • 422
  • 423
  • 452
  • 422
  • 444
  • 418
  • 408
  • 429
  • 431
  • 426
  • 405
  • 259
  • 252
  • 273
  • 293
  • 219
  • 469
  • 579
  • 263
  • 258
  • 187
  • 172
  • 147
  • 143
  • 138
  • 118
  • 110
  • 96
  • 72
  • 85
  • 60
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 9
  • 10
  • 9
  • 13
  • 8
  • 10
  • 7
  • 7
  • 13
  • 11
  • 17
  • 6
  • 25
  • 11
  • 6
  • 9
  • 12
  • 6
  • 6
  • 13
  • 37
  • 47
  • 9
  • 58
  • 7
  • 10
  • 17
  • 20
  • 11
  • 51
  • 9
  • 6
  • 10
  • 9
  • 6
  • 9
  • 15
  • 9
  • 8
  • 6
  • 7
  • 8
  • 7
  • 9
  • 6
  • 13
  • 6
  • 24
  • 6
  • 18
  • 7
  • 6
  • 10
  • 7
  • 7
  • 26
  • 10
  • 12
  • 7
  • 53
  • 13
  • 7
  • 17
  • 18
  • 9
  • 13
  • 8
  • 10
  • 8
  • 6
  • 12
  • 9
  • 12
  • 7
  • 6
  • 8
  • 13
  • 7
  • 14
  • 7
  • 19
  • 8
  • 18
  • 9
  • 7
  • 6
  • 8
  • 6
  • 51
  • 12
  • 6
  • 11
  • 10
  • 7
  • 19
  • 8
  • 11
  • 6
  • 18
  • 6
  • 7
  • 12
  • 8
  • 9
  • 29
  • 23
  • 7
  • 9
  • 7
  • 13
  • 10
  • 6
  • 12
  • 9
  • 14
  • 7
  • 44
  • 14
  • 53
  • 14
  • 10
  • 19
  • 18
  • 6
  • 15
  • 8
  • 28
  • 13
  • 45
  • 11
  • 17
  • 8
  • 7
  • 6
  • 17
  • 6
  • 17
  • 9
  • 51
  • 9
  • 8
  • 6
  • 11
  • 13
  • 15
  • 7
  • 7
  • 6
  • 16
  • 12
  • 8
  • 7
  • 7
  • 11
  • 6
  • 19
  • 12
  • 12
  • 18
  • 6
  • 6
  • 6
  • 6
  • 11
  • 6
  • 10
  • 11
  • 22
  • 27
  • 6
  • 8
  • 10
  • 6
  • 11
  • 6
  • 8
  • 11
  • 16
  • 29
  • 8
  • 7
  • 7
  • 9
  • 7
  • 14
  • 6
  • 10
  • 6
  • 6
  • 9
  • 7
  • 10
  • 6
  • 17
  • 12
  • 12
  • 12
  • 7
  • 50
  • 58
  • 10
  • 32
  • 9
  • 11
  • 12
  • 31
  • 13
  • 6
  • 9
  • 10
  • 20
  • 7
  • 8
  • 6
  • 11
  • 9
  • 8
  • 6
  • 33
  • 6
  • 17
  • 60
  • 10
  • 8
  • 6
  • 6
  • 6
  • 21
  • 8
  • 10
  • 10
  • 14
  • 17
  • 6
  • 18
  • 6
  • 7
  • 6
  • 6
  • 12
  • 9
  • 7
  • 6
  • 6
  • 6
  • 7
  • 18
  • 12
  • 6
  • 10
  • 8
  • 13
  • 8
  • 19
  • 11
  • 12
  • 7
  • 6
  • 11
  • 20
  • 7
  • 19
  • 6
  • 73
  • 6
  • 38
  • 7
  • 9
  • 7
  • 32
  • 12
  • 19
  • 35
  • 7
  • 121
  • 7
  • 15
  • 10
  • 22
  • 13
  • 7
  • 6
  • 23
  • 19
  • 7
  • 8
  • 15
  • 10
  • 6
  • 9
  • 21
  • 15
  • 6
  • 6
  • 7
  • 15
  • 51
  • 6
  • 12
  • 8
  • 8
  • 7
  • 10
  • 22
  • 14
  • 12
  • 9
  • 25
  • 51
  • 10
  • 8
  • 13
  • 6
  • 20
  • 7
  • 17
  • 7
  • 6
  • 6
  • 7
  • 7
  • 6
  • 6
  • 7
  • 17
  • 17
  • 9
  • 6
  • 10
  • 15
  • 81
  • 8
  • 10
  • 9
  • 11
  • 6
  • 6
  • 10
  • 6
  • 8
  • 8
  • 9
  • 17
  • 7
  • 14
  • 6
  • 9
  • 13
  • 33
  • 7
  • 20
  • 6
  • 11
  • 6
  • 7
  • 7
  • 8
  • 19
  • 7
  • 19
  • 8
  • 8
  • 10
  • 6
  • 13
  • 7
  • 6
  • 10
  • 7
  • 15
  • 9
  • 6
  • 14
  • 6
  • 16
  • 7
  • 7
  • 6
  • 11
  • 10
  • 9
  • 9
  • 7
  • 17
  • 8
  • 11
  • 9
  • 6
  • 6
  • 37
  • 8
  • 8
  • 8
  • 7
  • 25
  • 7
  • 6
  • 24
  • 40
  • 7
  • 7
  • 14
  • 17
  • 9
  • 8
  • 11
  • 39
  • 6
  • 12
  • 6
  • 7
  • 6
  • 8
  • 7
  • 21
  • 8
  • 19
  • 10
  • 22
  • 36
  • 22
  • 15
  • 28
  • 8
  • 9
  • 9
  • 14
  • 7
  • 6
  • 40
  • 9
  • 18
  • 38
  • 54
  • 8
  • 8
  • 7
  • 21
  • 6
  • 6
  • 17
  • 12
  • 11
  • 9
  • 13
  • 9
  • 10
  • 8
  • 17
  • 6
  • 88
  • 21
  • 22
  • 15
  • 6
  • 7
  • 20
  • 7
  • 7
  • 7
  • 10
  • 19
  • 9
  • 10
  • 7
  • 13
  • 19
  • 6
  • 12
  • 8
  • 9
  • 6
  • 10
  • 13
  • 18
  • 15
  • 10
  • 24
  • 23
  • 9
  • 28
  • 11
  • 74
  • 14
  • 6
  • 21
  • 7
  • 6
  • 15
  • 25
  • 7
  • 8
  • 9
  • 14
  • 6
  • 7
  • 7
  • 8
  • 16
  • 10
  • 6
  • 6
  • 11
  • 31
  • 11
  • 6
  • 7
  • 16
  • 15
  • 6
  • 15
  • 20
  • 18
  • 6
  • 19
  • 14
  • 19
  • 6
  • 8
  • 8
  • 11
  • 8
  • 6
  • 16
  • 14
  • 12
  • 35
  • 10
  • 9
  • 8
  • 44
  • 32
  • 6
  • 6
  • 7
  • 14
  • 7
  • 7
  • 11
  • 8
  • 31
  • 11
  • 12
  • 9
  • 6
  • 9
  • 9
  • 8
  • 6
  • 6
  • 11
  • 10
  • 23
  • 9
  • 7
  • 6
  • 10
  • 8
  • 8
  • 10
  • 7
  • 8
  • 10
  • 7
  • 6
  • 10
  • 10
  • 50
  • 6
  • 11
  • 10
  • 11
  • 8
  • 6
  • 8
  • 10
  • 6
  • 12
  • 27
  • 7
  • 6
  • 11
  • 12
  • 9
  • 7
  • 10
  • 8
  • 12
  • 112
  • 7
  • 12
  • 7
  • 6
  • 11
  • 13
  • 6
  • 15
  • 13
  • 7
  • 7
  • 9
  • 63
  • 22
  • 17
  • 7
  • 8
  • 12
  • 6
  • 6
  • 10
  • 9
  • 9
  • 7
  • 10
  • 10
  • 6
  • 6
  • 9
  • 14
  • 9
  • 9
  • 9
  • 7
  • 7
  • 7
  • 6
  • 10
  • 9
  • 6
  • 13
  • 56
  • 9
  • 9
  • 8
  • 19
  • 9
  • 6
  • 6
  • 6
  • 23
  • 12
  • 6
  • 6
  • 8
  • 13
  • 6
  • 17
  • 22
  • 17
  • 19
  • 9
  • 6
  • 11
  • 37
  • 7
  • 17
  • 8
  • 8
  • 12
  • 14
  • 6
  • 6
  • 6
  • 25
  • 18
  • 12
  • 17
  • 8
  • 11
  • 7
  • 12
  • 7
  • 12
  • 21
  • 8
  • 14
  • 6
  • 10
  • 15
  • 10
  • 29
  • 6
  • 11
  • 11
  • 8
  • 7
  • 9
  • 16
  • 6
  • 13
  • 11
  • 6
  • 6
  • 11
  • 21
  • 12
  • 10
  • 8
  • 6
  • 8
  • 8
  • 16
  • 32
  • 16
  • 8
  • 10
  • 26
  • 6
  • 8
  • 10
  • 14
  • 7
  • 109
  • 9
  • 8
  • 6
  • 10
  • 8
  • 37
  • 7
  • 12
  • 8
  • 18
  • 10
  • 9
  • 7
  • 11
  • 12
  • 27
  • 113
  • 7
  • 6
  • 54
  • 13
  • 11
  • 13
  • 108
  • 24
  • 6
  • 19
  • 6
  • 13
  • 8
  • 16
  • 11
  • 16
  • 19
  • 11
  • 6
  • 8
  • 7
  • 8
  • 6
  • 6
  • 11
  • 108
  • 7
  • 6
  • 6
  • 8
  • 11
  • 23
  • 7
  • 12
  • 16
  • 7
  • 12
  • 19
  • 18
  • 15
  • 9
  • 6
  • 6
  • 7
  • 15
  • 13
  • 12
  • 29
  • 17
  • 9
  • 6
  • 8
  • 12
  • 11
  • 6
  • 8
  • 6
  • 18
  • 11
  • 7
  • 29
  • 9
  • 6
  • 12
  • 7
  • 9
  • 10
  • 6
  • 9
  • 17
  • 10
  • 14
  • 8
  • 6
  • 16
  • 11
  • 18
  • 54
  • 14
  • 7
  • 14
  • 6
  • 11
  • 22
  • 9
  • 6
  • 7
  • 15
  • 6
  • 17
  • 17
  • 7
  • 11
  • 7
  • 6
  • 8
  • 16
  • 8
  • 47
  • 11
  • 53
  • 12
  • 10
  • 15
  • 7
  • 17
  • 14
  • 6
  • 11
  • 7
  • 24
  • 6
  • 16
  • 9
  • 18
  • 22
  • 29
  • 9
  • 6
  • 20
  • 25
  • 16
  • 15
  • 28
  • 77
  • 12
  • 15
  • 28
  • 11
  • 11
  • 8
  • 7
  • 8
  • 22
  • 22
  • 18
  • 6
  • 6
  • 9
  • 64
  • 29
  • 16
  • 6
  • 11
  • 14
  • 13
  • 22
  • 14
  • 10
  • 17
  • 6
  • 6
  • 16
  • 21
  • 7
  • 15
  • 10
  • 6
  • 6
  • 18
  • 11
  • 10
  • 10
  • 14
  • 108
  • 6
  • 11
  • 9
  • 14
  • 11
  • 18
  • 6
  • 7
  • 6
  • 9
  • 6
  • 9
  • 19
  • 17
  • 13
  • 41
  • 11
  • 8
  • 17
  • 6
  • 12
  • 7
  • 15
  • 25
  • 8
  • 8
  • 12
  • 26
  • 12
  • 6
  • 6
  • 6
  • 10
  • 20
  • 20
  • 15
  • 6
  • 12
  • 14
  • 11
  • 11
  • 8
  • 7
  • 7
  • 24
  • 9
  • 17
  • 12
  • 7
  • 9
  • 9
  • 7
  • 12
  • 7
  • 10
  • 17
  • 13
  • 24
  • 8
  • 7
  • 13
  • 22
  • 11
  • 8
  • 35
  • 12
  • 7
  • 19
  • 23
  • 11
  • 8
  • 10
  • 11
  • 8
  • 24
  • 10
  • 8
  • 61
  • 11
  • 7
  • 32
  • 10
  • 9
  • 55
  • 18
  • 87
  • 8
  • 21
  • 8
  • 14
  • 7
  • 41
  • 28
  • 26
  • 22
  • 13
  • 9
  • 11
  • 10
  • 20
  • 7
  • 7
  • 26
Verlag
  • 2
  • 11597
  • 40
  • 1570
  • 2
  • 25
  • 3
  • 104
  • 1
  • 1
  • 41
Preis
  • 47
  • 467
  • 10608
  • 2264
Sprachen
  • 13378
  • 19
  • 15
  • 1
Verfügbarkeit
  • 13354
  • 32
Eigenschaften
  • 9
Katalog
  • 13386
  • 582
13.386  Treffer  für „Lecture Notes in Computer Science“
    Rolim / Vadhan | Randomization and Approximation Techniques in Computer Science | eBook | Sack Fachmedien
    E-Book

    Rolim / Vadhan Randomization and Approximation Techniques in Computer Science

    6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45726-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hlinený / Hlinený / Dvorák | Mathematical and Engineering Methods in Computer Science | eBook | Sack Fachmedien
    E-Book

    Hlinený / Hlinený / Dvorák Mathematical and Engineering Methods in Computer Science

    9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17--19, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14896-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    42,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fahrenberg / Gehrke / Santocanale | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Fahrenberg / Gehrke / Santocanale Relational and Algebraic Methods in Computer Science

    19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88700-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahl / Winter / Oliveira | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Kahl / Winter / Oliveira Relational and Algebraic Methods in Computer Science

    15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24703-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kofron / Kofron / Vojnar | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Kofron / Kofron / Vojnar Mathematical and Engineering Methods in Computer Science

    10th International Doctoral Workshop, MEMICS 2015, Tel¿, Czech Republic, October 23-25, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29816-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rolim | Randomization and Approximation Techniques in Computer Science | Buch | Sack Fachmedien

    Rolim Randomization and Approximation Techniques in Computer Science

    International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63248-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Celebi / Reyes / Chen | Medical Image Computing and Computer Assisted Intervention - MICCAI 2024 Workshops | Buch | Sack Fachmedien

    Celebi / Reyes / Chen Medical Image Computing and Computer Assisted Intervention - MICCAI 2024 Workshops

    ISIC 2024, iMIMIC 2024, EARTH 2024, DeCaF 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6-10, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-77609-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berghammer / Möller / Struth | Relations and Kleene Algebra in Computer Science | Buch | Sack Fachmedien

    Berghammer / Möller / Struth Relations and Kleene Algebra in Computer Science

    10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78912-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enea / Lal | Computer Aided Verification | Buch | Sack Fachmedien

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37705-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35571-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Samudravijaya / Deepak | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Samudravijaya / Deepak Speech and Computer

    25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48308-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35598-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christensen / Corke / Detry | Computer Vision Systems | Buch | Sack Fachmedien

    Christensen / Corke / Detry Computer Vision Systems

    14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-44136-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicosia / Ojha / Giesselbach | Machine Learning, Optimization, and Data Science | Buch | Sack Fachmedien

    Nicosia / Ojha / Giesselbach Machine Learning, Optimization, and Data Science

    10th International Conference, LOD 2024, Castiglione della Pescaia, Italy, September 22-25, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82483-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicosia / Ojha / Giesselbach | Machine Learning, Optimization, and Data Science | Buch | Sack Fachmedien

    Nicosia / Ojha / Giesselbach Machine Learning, Optimization, and Data Science

    10th International Conference, LOD 2024, Castiglione della Pescaia, Italy, September 22-25, 2024, Revised Selected Papers, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82486-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Felsner / Küstner / Maier | Reconstruction and Imaging Motion Estimation, and Graphs in Biomedical Image Analysis | Buch | Sack Fachmedien

    Felsner / Küstner / Maier Reconstruction and Imaging Motion Estimation, and Graphs in Biomedical Image Analysis

    First International Workshop, RIME 2025, and 7th International Workshop, GRAIL 2025, Daejeon, South Korea, September 27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06102-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicosia / Ojha / Giesselbach | Machine Learning, Optimization, and Data Science | Buch | Sack Fachmedien

    Nicosia / Ojha / Giesselbach Machine Learning, Optimization, and Data Science

    10th International Conference, LOD 2024, Castiglione della Pescaia, Italy, September 22-25, 2024, Revised Selected Papers, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82480-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois / Kerber | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Dubois / Kerber Intelligent Computer Mathematics

    16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42752-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35595-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35601-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enea / Lal | Computer Aided Verification | Buch | Sack Fachmedien

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37702-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernau | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Fernau Computer Science - Theory and Applications

    15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50025-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artemov / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Artemov / Nerode Logical Foundations of Computer Science

    International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35721-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kulikov / Woeginger | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Kulikov / Woeginger Computer Science - Theory and Applications

    11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-34170-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moggi / Rosolini | Category Theory and Computer Science | Buch | Sack Fachmedien

    Moggi / Rosolini Category Theory and Computer Science

    7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63455-3
    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