Fachgebiet
Medium
  • 10640
  • 2697
Erscheinungsjahr
  • 166
  • 1008
  • 1054
  • 802
  • 668
  • 400
  • 400
  • 426
  • 408
  • 422
  • 437
  • 444
  • 400
  • 446
  • 452
  • 400
  • 416
  • 271
  • 249
  • 272
  • 291
  • 225
  • 478
  • 585
  • 262
  • 254
  • 179
  • 178
  • 133
  • 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
  • 5
  • 6
  • 10
  • 9
  • 5
  • 12
  • 11
  • 11
  • 6
  • 5
  • 8
  • 14
  • 10
  • 17
  • 7
  • 28
  • 5
  • 12
  • 6
  • 5
  • 9
  • 11
  • 7
  • 8
  • 6
  • 13
  • 36
  • 52
  • 7
  • 61
  • 9
  • 9
  • 6
  • 6
  • 20
  • 20
  • 12
  • 7
  • 51
  • 6
  • 5
  • 7
  • 5
  • 7
  • 5
  • 6
  • 9
  • 6
  • 7
  • 16
  • 9
  • 6
  • 6
  • 5
  • 10
  • 6
  • 7
  • 7
  • 8
  • 7
  • 14
  • 6
  • 24
  • 6
  • 20
  • 10
  • 9
  • 24
  • 9
  • 11
  • 7
  • 58
  • 8
  • 19
  • 12
  • 8
  • 15
  • 12
  • 10
  • 7
  • 7
  • 12
  • 6
  • 8
  • 12
  • 7
  • 8
  • 17
  • 6
  • 13
  • 21
  • 9
  • 21
  • 6
  • 7
  • 8
  • 51
  • 13
  • 8
  • 9
  • 7
  • 9
  • 19
  • 8
  • 8
  • 14
  • 15
  • 7
  • 18
  • 13
  • 9
  • 27
  • 6
  • 15
  • 6
  • 13
  • 13
  • 6
  • 12
  • 6
  • 15
  • 9
  • 49
  • 14
  • 58
  • 10
  • 10
  • 22
  • 18
  • 7
  • 9
  • 7
  • 10
  • 24
  • 8
  • 48
  • 12
  • 15
  • 11
  • 6
  • 7
  • 6
  • 8
  • 17
  • 12
  • 17
  • 6
  • 10
  • 10
  • 51
  • 11
  • 12
  • 13
  • 20
  • 6
  • 6
  • 7
  • 8
  • 16
  • 13
  • 6
  • 8
  • 8
  • 20
  • 12
  • 10
  • 17
  • 8
  • 8
  • 8
  • 6
  • 14
  • 7
  • 22
  • 27
  • 8
  • 11
  • 7
  • 13
  • 6
  • 7
  • 18
  • 27
  • 9
  • 8
  • 7
  • 6
  • 8
  • 14
  • 7
  • 9
  • 7
  • 13
  • 21
  • 14
  • 6
  • 9
  • 13
  • 7
  • 50
  • 55
  • 10
  • 32
  • 6
  • 7
  • 20
  • 8
  • 31
  • 13
  • 7
  • 8
  • 9
  • 22
  • 6
  • 8
  • 7
  • 7
  • 6
  • 8
  • 6
  • 36
  • 6
  • 20
  • 60
  • 15
  • 8
  • 6
  • 20
  • 8
  • 9
  • 11
  • 9
  • 15
  • 21
  • 6
  • 12
  • 9
  • 6
  • 7
  • 6
  • 11
  • 18
  • 13
  • 11
  • 8
  • 10
  • 7
  • 17
  • 9
  • 8
  • 6
  • 11
  • 17
  • 6
  • 6
  • 19
  • 77
  • 8
  • 6
  • 36
  • 6
  • 8
  • 36
  • 10
  • 20
  • 35
  • 7
  • 127
  • 6
  • 9
  • 14
  • 9
  • 10
  • 18
  • 10
  • 7
  • 21
  • 15
  • 6
  • 8
  • 11
  • 11
  • 6
  • 13
  • 18
  • 9
  • 8
  • 7
  • 6
  • 7
  • 14
  • 56
  • 6
  • 7
  • 7
  • 9
  • 7
  • 7
  • 8
  • 26
  • 14
  • 9
  • 12
  • 26
  • 51
  • 12
  • 8
  • 10
  • 18
  • 8
  • 13
  • 8
  • 7
  • 9
  • 7
  • 6
  • 9
  • 6
  • 17
  • 17
  • 9
  • 6
  • 7
  • 10
  • 13
  • 81
  • 8
  • 10
  • 12
  • 9
  • 6
  • 11
  • 6
  • 17
  • 7
  • 14
  • 7
  • 14
  • 9
  • 31
  • 9
  • 14
  • 6
  • 10
  • 6
  • 7
  • 11
  • 6
  • 6
  • 21
  • 7
  • 20
  • 7
  • 6
  • 13
  • 8
  • 6
  • 15
  • 9
  • 9
  • 12
  • 6
  • 17
  • 7
  • 6
  • 6
  • 6
  • 10
  • 6
  • 10
  • 17
  • 9
  • 11
  • 9
  • 8
  • 40
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 28
  • 8
  • 10
  • 24
  • 46
  • 6
  • 6
  • 6
  • 9
  • 12
  • 16
  • 17
  • 7
  • 10
  • 39
  • 6
  • 14
  • 6
  • 7
  • 10
  • 6
  • 6
  • 7
  • 7
  • 10
  • 20
  • 6
  • 8
  • 21
  • 6
  • 24
  • 42
  • 6
  • 22
  • 13
  • 8
  • 29
  • 6
  • 6
  • 8
  • 14
  • 10
  • 6
  • 38
  • 17
  • 42
  • 51
  • 6
  • 7
  • 10
  • 6
  • 7
  • 6
  • 11
  • 8
  • 20
  • 11
  • 8
  • 7
  • 17
  • 6
  • 6
  • 12
  • 7
  • 8
  • 6
  • 11
  • 10
  • 6
  • 8
  • 17
  • 6
  • 7
  • 90
  • 30
  • 30
  • 19
  • 6
  • 6
  • 21
  • 7
  • 7
  • 11
  • 21
  • 9
  • 9
  • 7
  • 10
  • 16
  • 18
  • 6
  • 6
  • 7
  • 11
  • 14
  • 19
  • 7
  • 24
  • 21
  • 9
  • 25
  • 7
  • 14
  • 84
  • 13
  • 8
  • 24
  • 8
  • 6
  • 16
  • 26
  • 7
  • 11
  • 8
  • 14
  • 7
  • 8
  • 6
  • 18
  • 9
  • 6
  • 8
  • 31
  • 10
  • 7
  • 16
  • 12
  • 15
  • 6
  • 22
  • 18
  • 17
  • 15
  • 25
  • 6
  • 6
  • 11
  • 9
  • 7
  • 7
  • 15
  • 11
  • 11
  • 36
  • 8
  • 11
  • 41
  • 35
  • 8
  • 6
  • 9
  • 7
  • 8
  • 9
  • 9
  • 30
  • 10
  • 7
  • 7
  • 7
  • 12
  • 9
  • 6
  • 8
  • 9
  • 13
  • 7
  • 24
  • 7
  • 6
  • 7
  • 6
  • 9
  • 12
  • 8
  • 12
  • 8
  • 8
  • 16
  • 6
  • 6
  • 13
  • 6
  • 7
  • 51
  • 8
  • 12
  • 6
  • 7
  • 12
  • 7
  • 7
  • 24
  • 8
  • 7
  • 7
  • 6
  • 11
  • 9
  • 7
  • 7
  • 11
  • 8
  • 118
  • 15
  • 7
  • 7
  • 9
  • 16
  • 8
  • 10
  • 13
  • 6
  • 9
  • 12
  • 59
  • 27
  • 22
  • 8
  • 8
  • 10
  • 10
  • 7
  • 7
  • 8
  • 10
  • 6
  • 9
  • 8
  • 8
  • 13
  • 8
  • 7
  • 10
  • 6
  • 6
  • 8
  • 6
  • 12
  • 61
  • 10
  • 8
  • 6
  • 19
  • 10
  • 12
  • 6
  • 22
  • 15
  • 7
  • 13
  • 7
  • 19
  • 21
  • 17
  • 10
  • 21
  • 11
  • 6
  • 11
  • 10
  • 35
  • 16
  • 11
  • 8
  • 17
  • 9
  • 6
  • 8
  • 21
  • 15
  • 8
  • 15
  • 14
  • 7
  • 10
  • 10
  • 12
  • 17
  • 8
  • 17
  • 8
  • 8
  • 17
  • 6
  • 9
  • 27
  • 9
  • 8
  • 13
  • 6
  • 15
  • 7
  • 9
  • 13
  • 17
  • 14
  • 6
  • 9
  • 7
  • 7
  • 11
  • 23
  • 8
  • 12
  • 11
  • 6
  • 6
  • 7
  • 8
  • 15
  • 32
  • 15
  • 8
  • 9
  • 10
  • 25
  • 7
  • 8
  • 11
  • 13
  • 7
  • 120
  • 8
  • 9
  • 10
  • 9
  • 34
  • 14
  • 14
  • 7
  • 24
  • 11
  • 9
  • 11
  • 14
  • 13
  • 26
  • 8
  • 121
  • 6
  • 61
  • 13
  • 12
  • 11
  • 117
  • 28
  • 7
  • 19
  • 6
  • 16
  • 7
  • 17
  • 11
  • 20
  • 14
  • 10
  • 6
  • 7
  • 10
  • 6
  • 6
  • 11
  • 117
  • 7
  • 6
  • 9
  • 15
  • 26
  • 6
  • 9
  • 18
  • 11
  • 23
  • 17
  • 13
  • 8
  • 9
  • 8
  • 7
  • 15
  • 7
  • 13
  • 32
  • 15
  • 7
  • 7
  • 15
  • 6
  • 7
  • 6
  • 7
  • 19
  • 9
  • 32
  • 6
  • 6
  • 6
  • 8
  • 12
  • 15
  • 11
  • 8
  • 10
  • 11
  • 6
  • 12
  • 9
  • 17
  • 50
  • 14
  • 9
  • 9
  • 11
  • 23
  • 12
  • 6
  • 15
  • 8
  • 16
  • 15
  • 8
  • 6
  • 8
  • 12
  • 14
  • 7
  • 51
  • 8
  • 47
  • 7
  • 14
  • 8
  • 12
  • 9
  • 13
  • 15
  • 6
  • 9
  • 7
  • 23
  • 9
  • 8
  • 7
  • 6
  • 9
  • 17
  • 10
  • 15
  • 19
  • 33
  • 7
  • 6
  • 6
  • 18
  • 30
  • 15
  • 17
  • 31
  • 81
  • 14
  • 21
  • 25
  • 11
  • 11
  • 8
  • 11
  • 20
  • 24
  • 21
  • 7
  • 9
  • 11
  • 77
  • 27
  • 17
  • 9
  • 10
  • 17
  • 19
  • 15
  • 6
  • 17
  • 9
  • 18
  • 7
  • 6
  • 14
  • 10
  • 6
  • 16
  • 16
  • 10
  • 13
  • 14
  • 117
  • 6
  • 12
  • 6
  • 13
  • 6
  • 17
  • 7
  • 7
  • 6
  • 9
  • 15
  • 16
  • 9
  • 9
  • 46
  • 8
  • 11
  • 6
  • 13
  • 8
  • 16
  • 6
  • 9
  • 15
  • 21
  • 11
  • 12
  • 24
  • 12
  • 7
  • 7
  • 21
  • 7
  • 23
  • 8
  • 14
  • 8
  • 8
  • 9
  • 9
  • 7
  • 7
  • 11
  • 8
  • 9
  • 30
  • 10
  • 17
  • 8
  • 14
  • 7
  • 10
  • 9
  • 7
  • 14
  • 7
  • 14
  • 6
  • 15
  • 10
  • 24
  • 7
  • 7
  • 14
  • 19
  • 9
  • 6
  • 33
  • 12
  • 7
  • 19
  • 7
  • 6
  • 28
  • 15
  • 8
  • 7
  • 15
  • 10
  • 11
  • 24
  • 9
  • 7
  • 9
  • 6
  • 63
  • 14
  • 7
  • 7
  • 6
  • 31
  • 9
  • 54
  • 19
  • 6
  • 84
  • 22
  • 6
  • 6
  • 10
  • 9
  • 40
  • 11
  • 6
  • 24
  • 26
  • 21
  • 11
  • 12
  • 13
  • 6
  • 18
  • 17
  • 6
  • 7
  • 6
  • 28
Verlag
  • 1
  • 11565
  • 40
  • 1551
  • 14
  • 3
  • 3
  • 115
  • 1
  • 1
  • 43
Preis
  • 47
  • 485
  • 10519
  • 2286
Sprachen
  • 13329
  • 20
  • 15
Verfügbarkeit
  • 13305
  • 32
Eigenschaften
  • 8
Katalog
  • 13337
  • 555
13.337  Treffer  für „Lecture Notes in Computer Science“


    Costa / d'Amato / Fanizzi Uncertainty Reasoning for the Semantic Web I

    ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89764-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Snyers / Thayse From Logic Design to Logic Programming

    Theorem Proving Techniques and P-Functions
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18217-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Swart / Orlowska / Schmidt Theory and Applications of Relational Structures as Knowledge Instruments

    COST Action 274, TARSKI, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhu / Yu / Nadamoto Database Systems for Advanced Applications

    30th International Conference, DASFAA 2025, Singapore, Singapore, May 26-29, 2025, Proceedings, Part VI
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-954157-7
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chau / Wang / Chen Intelligence and Security Informatics

    11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31862-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Armas / Ramalhinho / Voß Computational Logistics

    13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-16578-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Galil / Ukkonen Combinatorial Pattern Matching

    6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Qiu Algorithms and Architectures for Parallel Processing

    20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60244-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Li / Huynh / Das Wireless Algorithms, Systems, and Applications

    Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88581-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Haslhofer / Budurushi / Xu Financial Cryptography and Data Security. FC 2025 International Workshops

    CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00491-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Glück / Kafle Logic-Based Program Synthesis and Transformation

    33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45783-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Feng / He / Zhang Blockchain - ICBC 2024

    7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77094-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wachter-Zeh / Bartz / Liva Code-Based Cryptography

    9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-98364-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yamashita / Minato Reversible Computation

    6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08493-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Eder / Louren?o / Shehory Hardware and Software: Verification and Testing

    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34187-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hansen / Scedrov / de Queiroz Logic, Language, Information, and Computation

    29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-39783-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hasegawa Typed Lambda Calculi and Applications

    11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38945-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-960795-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Rapp / Di Caro / Meziane Natural Language Processing and Information Systems

    29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25–27, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-70239-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ågotnes / Doder Logic and Argumentation

    6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-967956-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Nambiar / Poess Performance Evaluation and Benchmarking

    15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 – September 1, 2023, Revised Selected Papers
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-68031-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



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