Ergebnisse filtern
Fachgebiet
Medium
  • 10512
Erscheinungsjahr
  • 70
  • 810
  • 843
  • 620
  • 484
  • 295
  • 288
  • 322
  • 324
  • 299
  • 302
  • 299
  • 292
  • 284
  • 298
  • 293
  • 261
  • 255
  • 226
  • 263
  • 249
  • 234
  • 373
  • 308
  • 262
  • 256
  • 186
  • 177
  • 130
  • 145
  • 143
  • 126
  • 108
  • 95
  • 72
  • 86
  • 60
  • 58
  • 44
  • 46
  • 33
  • 27
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 7
  • 5
  • 5
  • 9
  • 4
  • 10
  • 4
  • 6
  • 7
  • 4
  • 4
  • 5
  • 5
  • 7
  • 4
  • 12
  • 6
  • 4
  • 4
  • 8
  • 17
  • 6
  • 19
  • 4
  • 8
  • 4
  • 9
  • 5
  • 9
  • 8
  • 4
  • 5
  • 4
  • 9
  • 14
  • 4
  • 23
  • 36
  • 7
  • 4
  • 39
  • 7
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 7
  • 12
  • 5
  • 4
  • 15
  • 4
  • 5
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 10
  • 7
  • 4
  • 5
  • 6
  • 5
  • 4
  • 4
  • 13
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 4
  • 6
  • 5
  • 7
  • 4
  • 5
  • 9
  • 7
  • 6
  • 11
  • 8
  • 4
  • 8
  • 5
  • 20
  • 5
  • 6
  • 6
  • 4
  • 15
  • 5
  • 8
  • 5
  • 4
  • 6
  • 4
  • 10
  • 8
  • 4
  • 6
  • 4
  • 18
  • 4
  • 9
  • 6
  • 6
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 19
  • 18
  • 7
  • 5
  • 9
  • 4
  • 9
  • 7
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 7
  • 4
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 6
  • 14
  • 5
  • 4
  • 12
  • 8
  • 4
  • 13
  • 9
  • 16
  • 7
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 5
  • 4
  • 39
  • 16
  • 10
  • 7
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 9
  • 5
  • 4
  • 16
  • 7
  • 8
  • 4
  • 11
  • 6
  • 6
  • 14
  • 5
  • 9
  • 4
  • 24
  • 5
  • 16
  • 4
  • 4
  • 13
  • 7
  • 5
  • 5
  • 6
  • 6
  • 7
  • 4
  • 4
  • 4
  • 6
  • 34
  • 41
  • 11
  • 8
  • 14
  • 17
  • 7
  • 8
  • 5
  • 21
  • 4
  • 7
  • 29
  • 4
  • 9
  • 14
  • 9
  • 4
  • 4
  • 12
  • 4
  • 4
  • 5
  • 13
  • 9
  • 7
  • 4
  • 5
  • 39
  • 5
  • 4
  • 10
  • 6
  • 8
  • 4
  • 6
  • 4
  • 6
  • 9
  • 8
  • 7
  • 6
  • 5
  • 4
  • 12
  • 8
  • 5
  • 10
  • 5
  • 5
  • 9
  • 4
  • 4
  • 5
  • 7
  • 4
  • 15
  • 22
  • 4
  • 12
  • 5
  • 10
  • 7
  • 7
  • 5
  • 5
  • 10
  • 11
  • 4
  • 24
  • 6
  • 8
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 15
  • 10
  • 6
  • 9
  • 7
  • 4
  • 4
  • 5
  • 40
  • 41
  • 4
  • 23
  • 6
  • 12
  • 4
  • 13
  • 4
  • 4
  • 27
  • 13
  • 4
  • 4
  • 4
  • 6
  • 21
  • 5
  • 4
  • 4
  • 12
  • 5
  • 4
  • 7
  • 4
  • 7
  • 4
  • 27
  • 15
  • 43
  • 7
  • 7
  • 4
  • 4
  • 15
  • 9
  • 6
  • 17
  • 4
  • 4
  • 15
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 6
  • 8
  • 6
  • 4
  • 5
  • 4
  • 7
  • 17
  • 13
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 9
  • 4
  • 9
  • 15
  • 56
  • 27
  • 7
  • 19
  • 9
  • 16
  • 21
  • 6
  • 90
  • 11
  • 5
  • 16
  • 10
  • 7
  • 19
  • 13
  • 5
  • 11
  • 7
  • 5
  • 10
  • 14
  • 5
  • 8
  • 5
  • 5
  • 5
  • 6
  • 7
  • 12
  • 37
  • 10
  • 7
  • 5
  • 6
  • 23
  • 7
  • 5
  • 5
  • 19
  • 39
  • 5
  • 10
  • 18
  • 9
  • 10
  • 5
  • 5
  • 13
  • 15
  • 6
  • 5
  • 6
  • 6
  • 6
  • 5
  • 70
  • 6
  • 6
  • 5
  • 8
  • 5
  • 15
  • 5
  • 14
  • 11
  • 22
  • 8
  • 12
  • 6
  • 6
  • 6
  • 15
  • 10
  • 10
  • 13
  • 11
  • 13
  • 6
  • 5
  • 6
  • 5
  • 16
  • 6
  • 7
  • 8
  • 6
  • 8
  • 12
  • 5
  • 8
  • 7
  • 8
  • 5
  • 27
  • 6
  • 8
  • 5
  • 8
  • 5
  • 23
  • 6
  • 18
  • 32
  • 8
  • 9
  • 15
  • 7
  • 6
  • 20
  • 9
  • 6
  • 6
  • 11
  • 5
  • 6
  • 7
  • 13
  • 6
  • 8
  • 12
  • 7
  • 13
  • 31
  • 5
  • 10
  • 8
  • 5
  • 15
  • 6
  • 6
  • 12
  • 7
  • 27
  • 15
  • 30
  • 42
  • 6
  • 5
  • 6
  • 12
  • 12
  • 5
  • 7
  • 7
  • 7
  • 5
  • 9
  • 9
  • 13
  • 88
  • 13
  • 18
  • 8
  • 5
  • 13
  • 6
  • 7
  • 14
  • 12
  • 6
  • 6
  • 15
  • 11
  • 7
  • 19
  • 5
  • 24
  • 10
  • 5
  • 63
  • 5
  • 21
  • 6
  • 11
  • 20
  • 5
  • 7
  • 7
  • 14
  • 13
  • 7
  • 6
  • 9
  • 14
  • 6
  • 12
  • 14
  • 13
  • 16
  • 8
  • 13
  • 8
  • 16
  • 7
  • 5
  • 11
  • 10
  • 5
  • 7
  • 7
  • 23
  • 8
  • 6
  • 29
  • 24
  • 6
  • 7
  • 8
  • 9
  • 5
  • 5
  • 18
  • 5
  • 7
  • 5
  • 9
  • 5
  • 18
  • 8
  • 17
  • 10
  • 7
  • 8
  • 13
  • 6
  • 8
  • 36
  • 12
  • 10
  • 5
  • 5
  • 9
  • 5
  • 6
  • 19
  • 6
  • 9
  • 8
  • 5
  • 8
  • 5
  • 82
  • 10
  • 7
  • 7
  • 7
  • 9
  • 9
  • 7
  • 7
  • 9
  • 5
  • 10
  • 35
  • 9
  • 5
  • 13
  • 10
  • 7
  • 5
  • 11
  • 5
  • 6
  • 9
  • 5
  • 7
  • 8
  • 5
  • 5
  • 7
  • 5
  • 6
  • 9
  • 5
  • 5
  • 11
  • 5
  • 5
  • 6
  • 44
  • 9
  • 17
  • 6
  • 5
  • 5
  • 20
  • 10
  • 10
  • 7
  • 5
  • 13
  • 5
  • 14
  • 16
  • 15
  • 12
  • 6
  • 5
  • 24
  • 6
  • 13
  • 5
  • 8
  • 10
  • 6
  • 19
  • 5
  • 10
  • 8
  • 13
  • 6
  • 12
  • 5
  • 12
  • 5
  • 15
  • 5
  • 15
  • 5
  • 9
  • 7
  • 24
  • 10
  • 7
  • 5
  • 8
  • 10
  • 14
  • 15
  • 10
  • 6
  • 14
  • 5
  • 6
  • 10
  • 26
  • 14
  • 5
  • 8
  • 7
  • 17
  • 5
  • 5
  • 11
  • 5
  • 90
  • 7
  • 6
  • 7
  • 5
  • 26
  • 10
  • 7
  • 6
  • 8
  • 18
  • 9
  • 9
  • 7
  • 9
  • 6
  • 19
  • 7
  • 92
  • 6
  • 54
  • 5
  • 9
  • 9
  • 89
  • 16
  • 14
  • 10
  • 10
  • 5
  • 9
  • 16
  • 14
  • 5
  • 5
  • 8
  • 5
  • 5
  • 9
  • 5
  • 89
  • 5
  • 6
  • 9
  • 16
  • 6
  • 11
  • 5
  • 11
  • 19
  • 12
  • 11
  • 8
  • 5
  • 12
  • 5
  • 9
  • 7
  • 22
  • 10
  • 8
  • 6
  • 7
  • 8
  • 11
  • 23
  • 7
  • 7
  • 6
  • 5
  • 6
  • 14
  • 7
  • 8
  • 5
  • 14
  • 12
  • 46
  • 6
  • 19
  • 12
  • 5
  • 12
  • 12
  • 13
  • 12
  • 6
  • 5
  • 12
  • 11
  • 7
  • 32
  • 9
  • 42
  • 13
  • 7
  • 15
  • 6
  • 10
  • 21
  • 5
  • 9
  • 7
  • 15
  • 14
  • 19
  • 5
  • 6
  • 11
  • 22
  • 9
  • 12
  • 23
  • 55
  • 10
  • 13
  • 22
  • 8
  • 9
  • 5
  • 6
  • 8
  • 21
  • 19
  • 9
  • 5
  • 5
  • 9
  • 45
  • 24
  • 12
  • 8
  • 7
  • 7
  • 18
  • 8
  • 6
  • 12
  • 5
  • 11
  • 14
  • 10
  • 9
  • 14
  • 8
  • 8
  • 6
  • 13
  • 11
  • 89
  • 10
  • 13
  • 6
  • 16
  • 7
  • 5
  • 6
  • 15
  • 12
  • 6
  • 5
  • 5
  • 30
  • 5
  • 11
  • 6
  • 9
  • 5
  • 10
  • 5
  • 13
  • 14
  • 6
  • 10
  • 6
  • 19
  • 6
  • 5
  • 12
  • 5
  • 5
  • 20
  • 9
  • 6
  • 12
  • 7
  • 5
  • 5
  • 24
  • 5
  • 15
  • 10
  • 6
  • 9
  • 6
  • 5
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 7
  • 7
  • 7
  • 13
  • 6
  • 8
  • 6
  • 5
  • 5
  • 17
  • 10
  • 14
  • 21
  • 13
  • 5
  • 8
  • 6
  • 7
  • 7
  • 5
  • 6
  • 34
  • 8
  • 6
  • 5
  • 26
  • 7
  • 46
  • 14
  • 61
  • 5
  • 18
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 6
  • 6
  • 24
  • 7
  • 20
  • 19
  • 20
  • 7
  • 6
  • 5
  • 13
  • 7
  • 5
  • 11
  • 7
  • 5
  • 5
  • 17
Verlag
  • 8
  • 10444
  • 3
  • 9
  • 3
  • 3
  • 1
  • 41
Preis
  • 47
  • 377
  • 8011
  • 2077
Sprachen
  • 10506
  • 18
  • 13
  • 1
Verfügbarkeit
  • 10502
  • 10
Katalog
  • 10512
  • 579
10.512  Treffer  für „Lecture Notes in Computer Science“
    Mazzeo / Frontoni / Sclaroff | Image Analysis and Processing. ICIAP 2022 Workshops | Buch | Sack Fachmedien

    Mazzeo / Frontoni / Sclaroff Image Analysis and Processing. ICIAP 2022 Workshops

    ICIAP International Workshops, Lecce, Italy, May 23-27, 2022, Revised Selected Papers, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13320-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Schulte / Barnett | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Davies / Schulte / Barnett Formal Methods and Software Engineering

    6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23841-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Zamulin | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Broy / Zamulin Perspectives of Systems Informatics

    5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20813-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klette / Peleg / Sommer | Robot Vision | Buch | Sack Fachmedien

    Klette / Peleg / Sommer Robot Vision

    International Workshop RobVis 2001 Auckland, New Zealand, February 16-18, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valero / Joe / Kitsuregawa | High Performance Computing | Buch | Sack Fachmedien

    Valero / Joe / Kitsuregawa High Performance Computing

    Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41128-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonker / Petkovic | Secure Data Management | Buch | Sack Fachmedien

    Jonker / Petkovic Secure Data Management

    Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38984-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heintz / Milano / O'Sullivan | Trustworthy AI - Integrating Learning, Optimization and Reasoning | Buch | Sack Fachmedien

    Heintz / Milano / O'Sullivan Trustworthy AI - Integrating Learning, Optimization and Reasoning

    First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73958-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feldman / Fu / Talgam-Cohen | Web and Internet Economics | Buch | Sack Fachmedien

    Feldman / Fu / Talgam-Cohen Web and Internet Economics

    17th International Conference, WINE 2021, Potsdam, Germany, December 14-17, 2021, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-94675-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhao / Piva / Comesaña-Alfaro | Digital Forensics and Watermarking | Buch | Sack Fachmedien

    Zhao / Piva / Comesaña-Alfaro Digital Forensics and Watermarking

    20th International Workshop, IWDW 2021, Beijing, China, November 20-22, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95397-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Percia David / Mermoud / Maillart | Critical Information Infrastructures Security | Buch | Sack Fachmedien

    Percia David / Mermoud / Maillart Critical Information Infrastructures Security

    16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-93199-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peltier / Sofronie-Stokkermans | Automated Reasoning | Buch | Sack Fachmedien

    Peltier / Sofronie-Stokkermans Automated Reasoning

    10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-51073-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Fragomeni | Virtual, Augmented and Mixed Reality. Design and Interaction | Buch | Sack Fachmedien

    Chen / Fragomeni Virtual, Augmented and Mixed Reality. Design and Interaction

    12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-49694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhao / Tang / Comesaña-Alfaro | Digital Forensics and Watermarking | Buch | Sack Fachmedien

    Zhao / Tang / Comesaña-Alfaro Digital Forensics and Watermarking

    21st International Workshop, IWDW 2022, Guilin, China, November 18-19, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25114-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia-Alfaro / Navarro-Arribas / Dragoni | Data Privacy Management, Cryptocurrencies and Blockchain Technology | Buch | Sack Fachmedien

    Garcia-Alfaro / Navarro-Arribas / Dragoni Data Privacy Management, Cryptocurrencies and Blockchain Technology

    ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25733-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Jha / Mavridou | NASA Formal Methods | Buch | Sack Fachmedien

    Lee / Jha / Mavridou NASA Formal Methods

    12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-55753-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harks / Klimm | Algorithmic Game Theory | Buch | Sack Fachmedien

    Harks / Klimm Algorithmic Game Theory

    13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57979-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habachi / Meghdadi / Sabir | Ubiquitous Networking | Buch | Sack Fachmedien

    Habachi / Meghdadi / Sabir Ubiquitous Networking

    5th International Symposium, UNet 2019, Limoges, France, November 20-22, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58007-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Cerone | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    de Boer / Cerone Software Engineering and Formal Methods

    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58767-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bae | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Bae Rewriting Logic and Its Applications

    14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12440-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cano / Trinder | Euro-Par 2022: Parallel Processing | Buch | Sack Fachmedien

    Cano / Trinder Euro-Par 2022: Parallel Processing

    28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12596-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernhaupt / Ardito / Sauer | Human-Centered Software Engineering | Buch | Sack Fachmedien

    Bernhaupt / Ardito / Sauer Human-Centered Software Engineering

    9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-14784-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Söbke / Spangenberger / Müller | Serious Games | Buch | Sack Fachmedien

    Söbke / Spangenberger / Müller Serious Games

    Joint International Conference, JCSG 2022, Weimar, Germany, September 22-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15324-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henglein / Shoham / Vizel | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Henglein / Shoham / Vizel Verification, Model Checking, and Abstract Interpretation

    22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-67066-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Fernández Logic-Based Program Synthesis and Transformation

    30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-68445-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liardet / Mentens | Smart Card Research and Advanced Applications | Buch | Sack Fachmedien

    Liardet / Mentens Smart Card Research and Advanced Applications

    19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-68486-0
    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