Ergebnisse filtern
Fachgebiet
Medium
  • 11190
  • 2633
Erscheinungsjahr
  • 4
  • 791
  • 1002
  • 1061
  • 789
  • 637
  • 405
  • 427
  • 438
  • 439
  • 392
  • 446
  • 436
  • 423
  • 468
  • 411
  • 408
  • 380
  • 257
  • 221
  • 273
  • 287
  • 234
  • 437
  • 521
  • 256
  • 255
  • 178
  • 179
  • 155
  • 139
  • 136
  • 119
  • 110
  • 95
  • 75
  • 87
  • 59
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 7
  • 9
  • 6
  • 15
  • 28
  • 9
  • 8
  • 10
  • 12
  • 20
  • 10
  • 24
  • 7
  • 8
  • 8
  • 6
  • 8
  • 13
  • 6
  • 43
  • 45
  • 8
  • 50
  • 8
  • 7
  • 9
  • 7
  • 15
  • 21
  • 17
  • 6
  • 45
  • 11
  • 7
  • 8
  • 6
  • 8
  • 17
  • 19
  • 12
  • 7
  • 8
  • 18
  • 7
  • 12
  • 11
  • 12
  • 7
  • 8
  • 17
  • 7
  • 26
  • 7
  • 9
  • 14
  • 7
  • 12
  • 6
  • 11
  • 9
  • 7
  • 33
  • 7
  • 16
  • 6
  • 7
  • 50
  • 10
  • 7
  • 25
  • 21
  • 9
  • 10
  • 11
  • 6
  • 17
  • 6
  • 9
  • 10
  • 7
  • 9
  • 16
  • 6
  • 14
  • 8
  • 11
  • 11
  • 8
  • 18
  • 6
  • 9
  • 6
  • 7
  • 11
  • 45
  • 23
  • 6
  • 9
  • 7
  • 7
  • 7
  • 19
  • 11
  • 7
  • 19
  • 7
  • 7
  • 17
  • 11
  • 13
  • 7
  • 31
  • 6
  • 6
  • 6
  • 18
  • 7
  • 13
  • 7
  • 9
  • 6
  • 8
  • 7
  • 8
  • 10
  • 7
  • 10
  • 42
  • 17
  • 50
  • 14
  • 10
  • 23
  • 26
  • 15
  • 6
  • 45
  • 7
  • 10
  • 45
  • 12
  • 17
  • 18
  • 6
  • 13
  • 11
  • 6
  • 12
  • 16
  • 10
  • 45
  • 8
  • 15
  • 10
  • 15
  • 7
  • 6
  • 6
  • 8
  • 10
  • 13
  • 15
  • 7
  • 10
  • 7
  • 8
  • 21
  • 11
  • 8
  • 22
  • 11
  • 8
  • 8
  • 10
  • 6
  • 7
  • 27
  • 31
  • 20
  • 30
  • 9
  • 7
  • 11
  • 7
  • 10
  • 19
  • 14
  • 31
  • 6
  • 9
  • 9
  • 6
  • 7
  • 8
  • 8
  • 6
  • 7
  • 15
  • 6
  • 6
  • 6
  • 10
  • 19
  • 11
  • 7
  • 12
  • 12
  • 11
  • 54
  • 51
  • 12
  • 30
  • 6
  • 10
  • 17
  • 7
  • 40
  • 15
  • 6
  • 6
  • 7
  • 6
  • 7
  • 7
  • 20
  • 6
  • 10
  • 15
  • 7
  • 12
  • 31
  • 21
  • 49
  • 6
  • 78
  • 11
  • 7
  • 19
  • 11
  • 8
  • 7
  • 9
  • 13
  • 7
  • 20
  • 6
  • 6
  • 10
  • 10
  • 6
  • 7
  • 8
  • 9
  • 8
  • 11
  • 9
  • 7
  • 6
  • 7
  • 8
  • 27
  • 22
  • 6
  • 10
  • 18
  • 6
  • 6
  • 6
  • 21
  • 10
  • 6
  • 15
  • 6
  • 25
  • 83
  • 44
  • 10
  • 9
  • 26
  • 11
  • 21
  • 35
  • 6
  • 127
  • 15
  • 11
  • 6
  • 12
  • 21
  • 7
  • 14
  • 9
  • 6
  • 24
  • 17
  • 8
  • 12
  • 6
  • 18
  • 10
  • 8
  • 6
  • 9
  • 8
  • 14
  • 8
  • 6
  • 8
  • 60
  • 6
  • 9
  • 12
  • 7
  • 6
  • 10
  • 12
  • 19
  • 9
  • 13
  • 10
  • 28
  • 45
  • 6
  • 6
  • 14
  • 20
  • 11
  • 8
  • 6
  • 7
  • 8
  • 15
  • 6
  • 25
  • 19
  • 14
  • 8
  • 9
  • 13
  • 6
  • 9
  • 96
  • 7
  • 9
  • 6
  • 8
  • 13
  • 7
  • 6
  • 6
  • 7
  • 7
  • 6
  • 10
  • 7
  • 19
  • 7
  • 8
  • 17
  • 7
  • 12
  • 6
  • 27
  • 7
  • 15
  • 11
  • 10
  • 7
  • 15
  • 7
  • 24
  • 20
  • 11
  • 12
  • 13
  • 8
  • 7
  • 10
  • 6
  • 13
  • 6
  • 7
  • 11
  • 15
  • 6
  • 10
  • 6
  • 7
  • 12
  • 12
  • 7
  • 14
  • 18
  • 6
  • 6
  • 15
  • 6
  • 10
  • 7
  • 15
  • 9
  • 54
  • 6
  • 17
  • 8
  • 31
  • 8
  • 6
  • 7
  • 25
  • 42
  • 8
  • 6
  • 10
  • 9
  • 18
  • 19
  • 6
  • 14
  • 44
  • 6
  • 6
  • 11
  • 8
  • 6
  • 8
  • 7
  • 11
  • 24
  • 8
  • 8
  • 11
  • 9
  • 26
  • 40
  • 26
  • 10
  • 8
  • 17
  • 7
  • 8
  • 9
  • 8
  • 6
  • 22
  • 9
  • 34
  • 6
  • 78
  • 6
  • 14
  • 37
  • 58
  • 7
  • 13
  • 6
  • 6
  • 7
  • 10
  • 10
  • 15
  • 6
  • 6
  • 13
  • 6
  • 9
  • 9
  • 6
  • 10
  • 11
  • 7
  • 6
  • 8
  • 7
  • 7
  • 20
  • 8
  • 115
  • 16
  • 6
  • 6
  • 42
  • 7
  • 6
  • 7
  • 6
  • 9
  • 15
  • 8
  • 11
  • 7
  • 7
  • 11
  • 17
  • 15
  • 14
  • 8
  • 7
  • 6
  • 7
  • 8
  • 7
  • 16
  • 12
  • 10
  • 23
  • 25
  • 11
  • 32
  • 10
  • 7
  • 7
  • 87
  • 22
  • 9
  • 8
  • 13
  • 25
  • 11
  • 9
  • 6
  • 6
  • 11
  • 7
  • 6
  • 7
  • 11
  • 34
  • 11
  • 15
  • 7
  • 34
  • 7
  • 6
  • 9
  • 6
  • 6
  • 15
  • 17
  • 7
  • 13
  • 18
  • 22
  • 17
  • 19
  • 21
  • 6
  • 78
  • 14
  • 12
  • 13
  • 10
  • 43
  • 8
  • 6
  • 8
  • 41
  • 33
  • 7
  • 6
  • 8
  • 8
  • 10
  • 13
  • 7
  • 23
  • 10
  • 6
  • 10
  • 9
  • 6
  • 21
  • 9
  • 6
  • 6
  • 13
  • 29
  • 14
  • 8
  • 11
  • 9
  • 12
  • 8
  • 7
  • 8
  • 20
  • 6
  • 8
  • 8
  • 7
  • 44
  • 6
  • 7
  • 15
  • 8
  • 6
  • 10
  • 7
  • 10
  • 7
  • 7
  • 7
  • 8
  • 28
  • 6
  • 8
  • 8
  • 7
  • 12
  • 14
  • 6
  • 12
  • 10
  • 10
  • 11
  • 118
  • 9
  • 6
  • 6
  • 12
  • 18
  • 16
  • 13
  • 10
  • 7
  • 10
  • 6
  • 14
  • 57
  • 13
  • 26
  • 10
  • 6
  • 6
  • 6
  • 10
  • 6
  • 10
  • 18
  • 6
  • 21
  • 30
  • 15
  • 6
  • 10
  • 10
  • 12
  • 7
  • 7
  • 7
  • 8
  • 6
  • 7
  • 7
  • 9
  • 10
  • 6
  • 9
  • 11
  • 54
  • 8
  • 7
  • 26
  • 9
  • 10
  • 38
  • 7
  • 19
  • 6
  • 14
  • 11
  • 9
  • 16
  • 19
  • 6
  • 23
  • 24
  • 19
  • 7
  • 11
  • 8
  • 10
  • 37
  • 6
  • 13
  • 7
  • 9
  • 19
  • 11
  • 7
  • 9
  • 6
  • 6
  • 21
  • 8
  • 13
  • 9
  • 17
  • 16
  • 6
  • 12
  • 14
  • 7
  • 14
  • 6
  • 9
  • 6
  • 20
  • 9
  • 31
  • 8
  • 7
  • 10
  • 6
  • 6
  • 29
  • 11
  • 14
  • 10
  • 7
  • 8
  • 25
  • 10
  • 6
  • 6
  • 8
  • 11
  • 13
  • 38
  • 6
  • 9
  • 15
  • 10
  • 8
  • 41
  • 6
  • 11
  • 6
  • 11
  • 11
  • 7
  • 116
  • 6
  • 6
  • 7
  • 6
  • 12
  • 8
  • 8
  • 40
  • 23
  • 6
  • 8
  • 78
  • 26
  • 14
  • 9
  • 10
  • 15
  • 15
  • 25
  • 18
  • 9
  • 11
  • 122
  • 56
  • 14
  • 12
  • 13
  • 8
  • 114
  • 26
  • 20
  • 9
  • 13
  • 7
  • 11
  • 7
  • 9
  • 12
  • 23
  • 21
  • 7
  • 8
  • 13
  • 14
  • 7
  • 116
  • 8
  • 26
  • 8
  • 11
  • 10
  • 82
  • 15
  • 21
  • 22
  • 15
  • 13
  • 8
  • 10
  • 7
  • 16
  • 10
  • 7
  • 31
  • 24
  • 11
  • 10
  • 8
  • 13
  • 7
  • 9
  • 20
  • 8
  • 35
  • 11
  • 9
  • 8
  • 13
  • 11
  • 7
  • 17
  • 12
  • 11
  • 10
  • 13
  • 8
  • 21
  • 11
  • 22
  • 27
  • 36
  • 9
  • 9
  • 24
  • 15
  • 7
  • 7
  • 16
  • 12
  • 40
  • 15
  • 10
  • 18
  • 11
  • 49
  • 9
  • 64
  • 16
  • 9
  • 15
  • 19
  • 15
  • 8
  • 10
  • 27
  • 9
  • 7
  • 21
  • 12
  • 20
  • 20
  • 28
  • 8
  • 11
  • 12
  • 25
  • 15
  • 36
  • 73
  • 11
  • 23
  • 25
  • 10
  • 12
  • 7
  • 12
  • 27
  • 23
  • 20
  • 12
  • 9
  • 19
  • 11
  • 77
  • 81
  • 7
  • 31
  • 14
  • 10
  • 10
  • 17
  • 22
  • 9
  • 10
  • 13
  • 24
  • 7
  • 7
  • 13
  • 8
  • 8
  • 7
  • 18
  • 19
  • 7
  • 14
  • 12
  • 114
  • 15
  • 23
  • 8
  • 20
  • 7
  • 7
  • 8
  • 8
  • 7
  • 19
  • 16
  • 7
  • 13
  • 41
  • 14
  • 13
  • 7
  • 9
  • 13
  • 11
  • 29
  • 9
  • 12
  • 10
  • 39
  • 9
  • 9
  • 11
  • 8
  • 22
  • 16
  • 15
  • 7
  • 10
  • 7
  • 10
  • 30
  • 17
  • 11
  • 7
  • 10
  • 8
  • 7
  • 17
  • 15
  • 8
  • 7
  • 8
  • 23
  • 18
  • 21
  • 9
  • 9
  • 20
  • 35
  • 13
  • 16
  • 22
  • 24
  • 12
  • 10
  • 13
  • 9
  • 23
  • 10
  • 7
  • 55
  • 7
  • 7
  • 32
  • 7
  • 52
  • 37
  • 82
  • 39
  • 19
  • 7
  • 10
  • 7
  • 21
  • 38
  • 7
  • 36
  • 24
  • 20
  • 12
  • 8
  • 11
  • 13
  • 28
Verlag
  • 5
  • 11941
  • 23
  • 1628
  • 23
  • 8
  • 14
  • 4
  • 132
  • 1
  • 1
  • 5
  • 38
Preis
  • 47
  • 489
  • 10767
  • 2520
Sprachen
  • 13815
  • 19
  • 15
Verfügbarkeit
  • 13514
  • 309
Eigenschaften
  • 52
Katalog
  • 13823
  • 593
13.823  Treffer  für „Lecture Notes in Computer Science“
    Shen / Li / Ni | Advanced Web and Network Technologies, and Applications | Buch | Sack Fachmedien

    Shen / Li / Ni Advanced Web and Network Technologies, and Applications

    APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31158-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keuper / Locatello | Pattern Recognition | Buch | Sack Fachmedien

    Keuper / Locatello Pattern Recognition

    47th DAGM German Conference, DAGM GCPR 2025, Freiburg, Germany, September 23-26, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-12839-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Philips / Popescu / Scheunders | Advanced Concepts for Intelligent Vision Systems | Buch | Sack Fachmedien

    Philips / Popescu / Scheunders Advanced Concepts for Intelligent Vision Systems

    11th International Conference, ACIVS 2009 Bordeaux, France, September 28--October 2, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04696-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esposito / Vinciarelli / Hoffmann | Cognitive Behavioural Systems | Buch | Sack Fachmedien

    Esposito / Vinciarelli / Hoffmann Cognitive Behavioural Systems

    COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34583-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guerra / van den Brand | Theory and Practice of Model Transformation | eBook | Sack Fachmedien
    E-Book

    Guerra / van den Brand Theory and Practice of Model Transformation

    10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61473-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Di Felice / Natalizio / Bruno | Wired/Wireless Internet Communications | eBook | Sack Fachmedien
    E-Book

    Di Felice / Natalizio / Bruno Wired/Wireless Internet Communications

    17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17–18, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30523-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Viberg / Jivet / Muñoz-Merino | Responsive and Sustainable Educational Futures | Buch | Sack Fachmedien

    Viberg / Jivet / Muñoz-Merino Responsive and Sustainable Educational Futures

    18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42681-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aldini / Lopez / Martinelli | Foundations of Security Analysis and Design VII | Buch | Sack Fachmedien

    Aldini / Lopez / Martinelli Foundations of Security Analysis and Design VII

    FOSAD 2012 / 2013 Tutorial Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10081-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butz / Fisher / Krüger | Smart Graphics | Buch | Sack Fachmedien

    Butz / Fisher / Krüger Smart Graphics

    6th International Symposium, SG 2006, Vancover, Canada, July 23-25, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36293-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaschek / Delcambre | The Evolution of Conceptual Modeling | Buch | Sack Fachmedien

    Kaschek / Delcambre The Evolution of Conceptual Modeling

    From a Historical Perspective towards the Future of Conceptual Modeling
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-17504-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barendregt / Nipkow | Types for Proofs and Programs | Buch | Sack Fachmedien

    Barendregt / Nipkow Types for Proofs and Programs

    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58085-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner | Automated Deduction - CADE-15 | Buch | Sack Fachmedien

    Kirchner Automated Deduction - CADE-15

    15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64675-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazzeo / Spagnolo / Moeslund | Activity Monitoring by Multiple Distributed Sensing | Buch | Sack Fachmedien

    Mazzeo / Spagnolo / Moeslund Activity Monitoring by Multiple Distributed Sensing

    Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13322-5
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Urban / Vanderdonckt / Limbourg | Interactive Systems: Design, Specification, and Verification | Buch | Sack Fachmedien

    Urban / Vanderdonckt / Limbourg Interactive Systems: Design, Specification, and Verification

    9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00266-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Papadopoulos / Jedrzejowicz | Computational Collective Intelligence | Buch | Sack Fachmedien

    Nguyen / Papadopoulos / Jedrzejowicz Computational Collective Intelligence

    9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67073-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonçalves / Oliveira / Sánchez | Pattern Recognition and Image Analysis | Buch | Sack Fachmedien

    Gonçalves / Oliveira / Sánchez Pattern Recognition and Image Analysis

    12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99567-5
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foresti / Fusiello / Hancock | Image Analysis and Processing - ICIAP 2023 | Buch | Sack Fachmedien

    Foresti / Fusiello / Hancock Image Analysis and Processing - ICIAP 2023

    22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43147-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akata / Geiger / Sattler | Pattern Recognition | Buch | Sack Fachmedien

    Akata / Geiger / Sattler Pattern Recognition

    42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 - October 1, 2020, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-71277-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sclaroff / Distante / Leo | Image Analysis and Processing - ICIAP 2022 | Buch | Sack Fachmedien

    Sclaroff / Distante / Leo Image Analysis and Processing - ICIAP 2022

    21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-06426-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Paolis / Arpaia / Sacco | Extended Reality | Buch | Sack Fachmedien

    De Paolis / Arpaia / Sacco Extended Reality

    First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15552-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yin / Camacho / Tino | Intelligent Data Engineering and Automated Learning - IDEAL 2022 | Buch | Sack Fachmedien

    Yin / Camacho / Tino Intelligent Data Engineering and Automated Learning - IDEAL 2022

    23rd International Conference, IDEAL 2022, Manchester, UK, November 24-26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21752-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerone | Formal Methods for an Informal World | eBook | Sack Fachmedien
    E-Book

    Cerone Formal Methods for an Informal World

    ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-43678-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Turrini | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Turrini Engineering Trustworthy Software Systems

    7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-958616-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth | Central European Functional Programming School | Buch | Sack Fachmedien

    Horváth Central European Functional Programming School

    First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46843-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeser / Brown | Hardware Specification, Verification and Synthesis: Mathematical Aspects | Buch | Sack Fachmedien

    Leeser / Brown Hardware Specification, Verification and Synthesis: Mathematical Aspects

    Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-0-387-97226-8
    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