Ergebnisse filtern
Fachgebiet
Medium
  • 10510
Erscheinungsjahr
  • 175
  • 806
  • 831
  • 620
  • 487
  • 277
  • 292
  • 297
  • 290
  • 310
  • 306
  • 315
  • 278
  • 309
  • 312
  • 267
  • 270
  • 271
  • 229
  • 263
  • 272
  • 222
  • 360
  • 304
  • 262
  • 250
  • 177
  • 176
  • 117
  • 132
  • 135
  • 118
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 9
  • 5
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 11
  • 8
  • 5
  • 6
  • 16
  • 6
  • 4
  • 21
  • 5
  • 8
  • 5
  • 4
  • 6
  • 4
  • 6
  • 5
  • 9
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 5
  • 14
  • 5
  • 25
  • 36
  • 6
  • 39
  • 7
  • 7
  • 4
  • 6
  • 7
  • 15
  • 16
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 16
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 7
  • 7
  • 7
  • 4
  • 12
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 17
  • 7
  • 6
  • 7
  • 4
  • 14
  • 4
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 10
  • 5
  • 5
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 4
  • 7
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 16
  • 4
  • 11
  • 16
  • 6
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 16
  • 5
  • 9
  • 10
  • 5
  • 10
  • 7
  • 6
  • 4
  • 14
  • 4
  • 7
  • 4
  • 24
  • 4
  • 13
  • 10
  • 8
  • 7
  • 4
  • 4
  • 11
  • 4
  • 8
  • 34
  • 12
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 4
  • 20
  • 8
  • 38
  • 4
  • 9
  • 14
  • 10
  • 4
  • 4
  • 7
  • 12
  • 4
  • 4
  • 9
  • 13
  • 8
  • 7
  • 39
  • 4
  • 5
  • 5
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 11
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 15
  • 10
  • 5
  • 13
  • 5
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 8
  • 4
  • 6
  • 4
  • 6
  • 14
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 42
  • 38
  • 6
  • 23
  • 5
  • 4
  • 16
  • 8
  • 23
  • 11
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 8
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 5
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 4
  • 5
  • 9
  • 4
  • 15
  • 55
  • 32
  • 4
  • 4
  • 23
  • 9
  • 18
  • 21
  • 90
  • 5
  • 11
  • 6
  • 6
  • 14
  • 4
  • 4
  • 7
  • 19
  • 13
  • 5
  • 5
  • 5
  • 5
  • 9
  • 13
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 5
  • 40
  • 7
  • 7
  • 5
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 9
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 8
  • 5
  • 8
  • 15
  • 6
  • 6
  • 8
  • 8
  • 5
  • 67
  • 5
  • 6
  • 10
  • 6
  • 7
  • 15
  • 8
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 5
  • 5
  • 11
  • 17
  • 11
  • 7
  • 7
  • 13
  • 5
  • 6
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 9
  • 11
  • 7
  • 8
  • 7
  • 6
  • 6
  • 29
  • 8
  • 6
  • 5
  • 8
  • 27
  • 6
  • 16
  • 35
  • 6
  • 6
  • 8
  • 9
  • 15
  • 7
  • 29
  • 6
  • 9
  • 5
  • 5
  • 9
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 16
  • 20
  • 32
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 30
  • 36
  • 6
  • 10
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 10
  • 13
  • 18
  • 20
  • 24
  • 8
  • 5
  • 62
  • 5
  • 19
  • 6
  • 9
  • 5
  • 12
  • 21
  • 5
  • 9
  • 5
  • 6
  • 7
  • 5
  • 5
  • 8
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 8
  • 18
  • 11
  • 9
  • 9
  • 9
  • 25
  • 7
  • 32
  • 29
  • 6
  • 6
  • 8
  • 7
  • 16
  • 8
  • 6
  • 6
  • 5
  • 6
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 16
  • 5
  • 9
  • 9
  • 5
  • 9
  • 82
  • 10
  • 5
  • 7
  • 6
  • 14
  • 5
  • 5
  • 6
  • 5
  • 9
  • 11
  • 36
  • 13
  • 5
  • 16
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 8
  • 6
  • 6
  • 6
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 5
  • 18
  • 7
  • 6
  • 18
  • 14
  • 6
  • 5
  • 13
  • 11
  • 15
  • 15
  • 8
  • 16
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 7
  • 6
  • 21
  • 11
  • 12
  • 11
  • 6
  • 9
  • 7
  • 7
  • 16
  • 5
  • 15
  • 14
  • 8
  • 24
  • 7
  • 7
  • 6
  • 11
  • 6
  • 5
  • 10
  • 13
  • 10
  • 8
  • 6
  • 14
  • 6
  • 6
  • 12
  • 24
  • 6
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 5
  • 18
  • 9
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 21
  • 14
  • 13
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 6
  • 5
  • 7
  • 15
  • 20
  • 8
  • 12
  • 11
  • 17
  • 11
  • 12
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 5
  • 5
  • 9
  • 13
  • 5
  • 24
  • 6
  • 5
  • 6
  • 6
  • 5
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 11
  • 6
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 35
  • 12
  • 7
  • 8
  • 5
  • 6
  • 10
  • 8
  • 22
  • 6
  • 8
  • 8
  • 15
  • 14
  • 23
  • 8
  • 25
  • 7
  • 13
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 18
  • 14
  • 6
  • 9
  • 55
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 11
  • 7
  • 9
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 15
  • 6
  • 8
  • 36
  • 5
  • 11
  • 7
  • 7
  • 12
  • 5
  • 13
  • 16
  • 10
  • 21
  • 6
  • 5
  • 17
  • 20
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 6
  • 27
  • 6
  • 14
  • 10
  • 5
  • 8
  • 6
  • 6
  • 5
  • 8
  • 11
  • 10
  • 9
  • 18
  • 5
  • 11
  • 5
  • 11
  • 5
  • 6
  • 24
  • 7
  • 14
  • 5
  • 5
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 9
  • 18
  • 6
  • 6
  • 6
  • 46
  • 10
  • 5
  • 5
  • 5
  • 22
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 6
  • 6
  • 6
  • 32
  • 7
  • 9
  • 5
  • 18
  • 21
  • 19
  • 9
  • 9
  • 12
  • 10
  • 6
  • 6
  • 21
Verlag
  • 1
  • 10448
  • 3
  • 5
  • 1
  • 1
  • 4
  • 3
  • 1
  • 2
  • 41
Preis
  • 42
  • 380
  • 8052
  • 2036
Sprachen
  • 10505
  • 17
  • 13
Verfügbarkeit
  • 10497
  • 13
Eigenschaften
  • 3
Katalog
  • 10510
  • 542
10.510  Treffer  für „Lecture Notes in Computer Science“
    Rudinac / Hanjalic / Liem | MultiMedia Modeling | Buch | Sack Fachmedien

    Rudinac / Hanjalic / Liem MultiMedia Modeling

    30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-53307-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | Program Specification | Buch | Sack Fachmedien

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Milner | A Calculus of Communicating Systems | Buch | Sack Fachmedien

    Milner A Calculus of Communicating Systems

    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10235-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolduc / Desharnais / Ktari | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bolduc / Desharnais / Ktari Mathematics of Program Construction

    10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13320-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Preneel / Vercauteren | Applied Cryptography and Network Security | Buch | Sack Fachmedien

    Preneel / Vercauteren Applied Cryptography and Network Security

    16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93386-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagonas | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Sagonas Practical Aspects of Declarative Languages

    15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45283-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishida | Parallel, Distributed and Multiagent Production Systems | Buch | Sack Fachmedien

    Ishida Parallel, Distributed and Multiagent Production Systems

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58698-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dezani-Ciancaglini / Plotkin | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luk / Cheung / Glesner | Field Programmable Logic and Applications | Buch | Sack Fachmedien

    Luk / Cheung / Glesner Field Programmable Logic and Applications

    7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63465-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cremers / Lehmann | Security Standardisation Research | Buch | Sack Fachmedien

    Cremers / Lehmann Security Standardisation Research

    4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04761-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ekštein / Pártl / Konopík | Text, Speech, and Dialogue | Buch | Sack Fachmedien

    Ekštein / Pártl / Konopík Text, Speech, and Dialogue

    24th International Conference, TSD 2021, Olomouc, Czech Republic, September 6-9, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-83526-2
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Governatori / Turhan | Rules and Reasoning | Buch | Sack Fachmedien

    Governatori / Turhan Rules and Reasoning

    6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21540-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berretti / Su | Smart Multimedia | Buch | Sack Fachmedien

    Berretti / Su Smart Multimedia

    Third International Conference, ICSM 2022, Marseille, France, August 25-27, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-22060-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tang / Zu / Rodríguez García | Human Centered Computing | Buch | Sack Fachmedien

    Tang / Zu / Rodríguez García Human Centered Computing

    4th International Conference, HCC 2018, Mérida, Mexico, December, 5-7, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-15126-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chakraborty / Schwabe / Solworth | Security, Privacy, and Applied Cryptography Engineering | Buch | Sack Fachmedien

    Chakraborty / Schwabe / Solworth Security, Privacy, and Applied Cryptography Engineering

    5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24125-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Yang / Shang | Web Information Systems and Applications | Buch | Sack Fachmedien

    Jin / Yang / Shang Web Information Systems and Applications

    21st International Conference, WISA 2024, Yinchuan, China, August 2-4, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-981-97-7706-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fink / Jain / Kise | Document Analysis and Recognition - ICDAR 2023 | Buch | Sack Fachmedien

    Fink / Jain / Kise Document Analysis and Recognition - ICDAR 2023

    17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part V
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41733-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krimmer / Rohde Johannessen / Lampoltshammer | Electronic Participation | Buch | Sack Fachmedien

    Krimmer / Rohde Johannessen / Lampoltshammer Electronic Participation

    14th IFIP WG 8.5 International Conference, ePart 2022, Linköping, Sweden, September 6-8, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-23212-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Nickovic / Nickovic | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58297-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campilho / Kamel | Image Analysis and Recognition | Buch | Sack Fachmedien

    Campilho / Kamel Image Analysis and Recognition

    9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31294-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Fiems / Knottenbelt | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications

    17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13567-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Yung | Trusted Systems | Buch | Sack Fachmedien

    Chen / Yung Trusted Systems

    First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14596-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiello / Chakraborty / Gaito | Social Networks Analysis and Mining | Buch | Sack Fachmedien

    Aiello / Chakraborty / Gaito Social Networks Analysis and Mining

    16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78537-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Genova / Kari | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Genova / Kari Unconventional Computation and Natural Computation

    20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34033-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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