Fachgebiet
Medium
  • 10603
  • 5267
Erscheinungsjahr
  • 124
  • 1017
  • 1067
  • 794
  • 658
  • 408
  • 404
  • 451
  • 458
  • 435
  • 445
  • 428
  • 415
  • 427
  • 446
  • 455
  • 418
  • 533
  • 482
  • 592
  • 554
  • 518
  • 724
  • 1371
  • 257
  • 261
  • 181
  • 176
  • 144
  • 144
  • 143
  • 125
  • 111
  • 97
  • 73
  • 85
  • 60
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 6
  • 12
  • 9
  • 6
  • 6
  • 12
  • 9
  • 9
  • 8
  • 14
  • 6
  • 14
  • 9
  • 10
  • 22
  • 9
  • 30
  • 10
  • 6
  • 10
  • 9
  • 8
  • 11
  • 12
  • 13
  • 30
  • 39
  • 9
  • 62
  • 10
  • 8
  • 7
  • 7
  • 10
  • 16
  • 6
  • 19
  • 6
  • 12
  • 6
  • 8
  • 12
  • 50
  • 12
  • 6
  • 8
  • 7
  • 11
  • 10
  • 7
  • 8
  • 8
  • 6
  • 14
  • 10
  • 6
  • 15
  • 7
  • 9
  • 6
  • 7
  • 15
  • 10
  • 9
  • 13
  • 7
  • 27
  • 13
  • 18
  • 12
  • 7
  • 7
  • 16
  • 11
  • 9
  • 32
  • 14
  • 7
  • 11
  • 6
  • 45
  • 6
  • 6
  • 28
  • 24
  • 6
  • 18
  • 10
  • 11
  • 6
  • 7
  • 9
  • 10
  • 15
  • 6
  • 12
  • 11
  • 6
  • 9
  • 19
  • 8
  • 6
  • 18
  • 9
  • 20
  • 8
  • 18
  • 8
  • 7
  • 6
  • 10
  • 7
  • 12
  • 50
  • 22
  • 12
  • 10
  • 7
  • 13
  • 13
  • 13
  • 8
  • 8
  • 20
  • 8
  • 15
  • 6
  • 7
  • 18
  • 11
  • 11
  • 19
  • 11
  • 6
  • 14
  • 8
  • 27
  • 11
  • 23
  • 6
  • 18
  • 6
  • 9
  • 8
  • 6
  • 9
  • 7
  • 13
  • 13
  • 7
  • 11
  • 37
  • 13
  • 47
  • 16
  • 11
  • 28
  • 6
  • 23
  • 9
  • 11
  • 26
  • 11
  • 50
  • 11
  • 16
  • 12
  • 9
  • 7
  • 7
  • 12
  • 6
  • 11
  • 23
  • 11
  • 11
  • 7
  • 50
  • 6
  • 7
  • 9
  • 11
  • 10
  • 8
  • 17
  • 7
  • 7
  • 7
  • 8
  • 6
  • 6
  • 12
  • 7
  • 10
  • 14
  • 11
  • 18
  • 6
  • 9
  • 7
  • 7
  • 15
  • 8
  • 8
  • 16
  • 7
  • 6
  • 11
  • 12
  • 9
  • 10
  • 7
  • 7
  • 7
  • 7
  • 10
  • 20
  • 9
  • 29
  • 12
  • 17
  • 8
  • 6
  • 12
  • 6
  • 6
  • 13
  • 18
  • 27
  • 7
  • 14
  • 11
  • 6
  • 13
  • 11
  • 6
  • 9
  • 6
  • 14
  • 6
  • 10
  • 6
  • 16
  • 6
  • 7
  • 8
  • 10
  • 19
  • 14
  • 8
  • 13
  • 10
  • 7
  • 63
  • 65
  • 8
  • 30
  • 10
  • 17
  • 6
  • 17
  • 6
  • 9
  • 36
  • 20
  • 6
  • 11
  • 27
  • 12
  • 6
  • 8
  • 17
  • 13
  • 12
  • 6
  • 11
  • 7
  • 33
  • 19
  • 55
  • 8
  • 10
  • 19
  • 12
  • 7
  • 6
  • 6
  • 10
  • 6
  • 22
  • 7
  • 17
  • 7
  • 6
  • 6
  • 7
  • 7
  • 10
  • 10
  • 8
  • 7
  • 7
  • 8
  • 10
  • 25
  • 21
  • 6
  • 8
  • 6
  • 6
  • 6
  • 6
  • 13
  • 10
  • 10
  • 8
  • 9
  • 11
  • 6
  • 6
  • 13
  • 6
  • 7
  • 21
  • 7
  • 18
  • 79
  • 8
  • 6
  • 31
  • 8
  • 37
  • 10
  • 22
  • 34
  • 136
  • 6
  • 14
  • 15
  • 9
  • 8
  • 22
  • 13
  • 7
  • 7
  • 6
  • 25
  • 14
  • 9
  • 13
  • 6
  • 6
  • 6
  • 12
  • 6
  • 14
  • 10
  • 6
  • 18
  • 23
  • 6
  • 7
  • 10
  • 7
  • 9
  • 8
  • 6
  • 9
  • 11
  • 19
  • 6
  • 7
  • 6
  • 55
  • 13
  • 11
  • 8
  • 7
  • 9
  • 8
  • 7
  • 25
  • 15
  • 7
  • 14
  • 21
  • 50
  • 9
  • 9
  • 11
  • 19
  • 10
  • 15
  • 6
  • 7
  • 10
  • 12
  • 7
  • 9
  • 7
  • 7
  • 6
  • 7
  • 6
  • 18
  • 20
  • 7
  • 11
  • 8
  • 10
  • 10
  • 7
  • 8
  • 7
  • 95
  • 7
  • 6
  • 7
  • 8
  • 7
  • 7
  • 9
  • 6
  • 8
  • 10
  • 7
  • 8
  • 12
  • 20
  • 10
  • 16
  • 10
  • 12
  • 11
  • 23
  • 14
  • 13
  • 6
  • 11
  • 6
  • 6
  • 9
  • 6
  • 6
  • 12
  • 8
  • 22
  • 8
  • 16
  • 14
  • 13
  • 13
  • 6
  • 15
  • 7
  • 17
  • 8
  • 7
  • 6
  • 14
  • 9
  • 7
  • 17
  • 8
  • 6
  • 12
  • 10
  • 7
  • 9
  • 7
  • 13
  • 18
  • 11
  • 14
  • 15
  • 10
  • 10
  • 39
  • 8
  • 9
  • 8
  • 8
  • 9
  • 30
  • 9
  • 27
  • 43
  • 9
  • 7
  • 10
  • 11
  • 20
  • 8
  • 7
  • 12
  • 44
  • 16
  • 8
  • 16
  • 9
  • 11
  • 20
  • 10
  • 14
  • 20
  • 13
  • 20
  • 40
  • 9
  • 19
  • 17
  • 28
  • 8
  • 11
  • 14
  • 14
  • 12
  • 13
  • 40
  • 27
  • 48
  • 49
  • 8
  • 7
  • 9
  • 18
  • 7
  • 7
  • 16
  • 7
  • 12
  • 9
  • 11
  • 7
  • 13
  • 7
  • 14
  • 12
  • 7
  • 7
  • 16
  • 88
  • 23
  • 24
  • 7
  • 20
  • 8
  • 8
  • 26
  • 13
  • 9
  • 22
  • 9
  • 11
  • 8
  • 10
  • 15
  • 10
  • 9
  • 11
  • 15
  • 25
  • 18
  • 21
  • 9
  • 24
  • 9
  • 10
  • 29
  • 7
  • 7
  • 18
  • 74
  • 12
  • 8
  • 25
  • 12
  • 7
  • 15
  • 28
  • 7
  • 11
  • 11
  • 22
  • 8
  • 10
  • 7
  • 20
  • 15
  • 9
  • 28
  • 7
  • 7
  • 7
  • 19
  • 24
  • 17
  • 21
  • 16
  • 20
  • 10
  • 20
  • 7
  • 10
  • 10
  • 13
  • 7
  • 19
  • 7
  • 13
  • 8
  • 35
  • 10
  • 8
  • 37
  • 36
  • 10
  • 15
  • 8
  • 7
  • 10
  • 12
  • 7
  • 13
  • 30
  • 8
  • 7
  • 10
  • 9
  • 7
  • 12
  • 7
  • 7
  • 7
  • 21
  • 10
  • 24
  • 13
  • 7
  • 10
  • 7
  • 11
  • 8
  • 8
  • 20
  • 10
  • 11
  • 10
  • 7
  • 57
  • 7
  • 14
  • 13
  • 12
  • 8
  • 8
  • 11
  • 9
  • 8
  • 26
  • 7
  • 11
  • 14
  • 14
  • 12
  • 8
  • 15
  • 7
  • 118
  • 15
  • 8
  • 10
  • 12
  • 17
  • 14
  • 18
  • 10
  • 11
  • 12
  • 14
  • 7
  • 54
  • 16
  • 19
  • 10
  • 8
  • 10
  • 7
  • 14
  • 7
  • 12
  • 11
  • 11
  • 10
  • 7
  • 7
  • 17
  • 20
  • 9
  • 11
  • 10
  • 9
  • 16
  • 9
  • 12
  • 51
  • 13
  • 7
  • 25
  • 14
  • 8
  • 10
  • 28
  • 18
  • 7
  • 9
  • 8
  • 11
  • 7
  • 21
  • 20
  • 20
  • 20
  • 14
  • 7
  • 36
  • 7
  • 24
  • 7
  • 14
  • 16
  • 8
  • 10
  • 8
  • 30
  • 9
  • 19
  • 12
  • 30
  • 9
  • 7
  • 13
  • 12
  • 7
  • 9
  • 20
  • 8
  • 9
  • 19
  • 19
  • 7
  • 15
  • 7
  • 7
  • 12
  • 27
  • 9
  • 14
  • 7
  • 12
  • 21
  • 15
  • 21
  • 9
  • 13
  • 7
  • 17
  • 7
  • 11
  • 7
  • 12
  • 8
  • 18
  • 32
  • 16
  • 7
  • 14
  • 8
  • 9
  • 21
  • 7
  • 7
  • 15
  • 110
  • 9
  • 9
  • 7
  • 8
  • 40
  • 13
  • 10
  • 12
  • 26
  • 20
  • 10
  • 7
  • 16
  • 14
  • 24
  • 9
  • 116
  • 79
  • 13
  • 11
  • 109
  • 25
  • 16
  • 10
  • 11
  • 14
  • 25
  • 24
  • 7
  • 8
  • 8
  • 11
  • 110
  • 8
  • 23
  • 11
  • 12
  • 10
  • 9
  • 22
  • 18
  • 17
  • 8
  • 8
  • 8
  • 11
  • 8
  • 27
  • 16
  • 10
  • 8
  • 14
  • 7
  • 7
  • 7
  • 12
  • 32
  • 11
  • 11
  • 7
  • 8
  • 14
  • 7
  • 26
  • 21
  • 63
  • 12
  • 10
  • 23
  • 16
  • 8
  • 22
  • 11
  • 18
  • 8
  • 9
  • 15
  • 7
  • 51
  • 58
  • 26
  • 9
  • 14
  • 14
  • 14
  • 10
  • 26
  • 9
  • 14
  • 20
  • 25
  • 30
  • 8
  • 7
  • 17
  • 43
  • 11
  • 17
  • 31
  • 87
  • 12
  • 21
  • 35
  • 7
  • 12
  • 7
  • 24
  • 28
  • 11
  • 67
  • 27
  • 14
  • 7
  • 8
  • 7
  • 24
  • 18
  • 8
  • 10
  • 7
  • 7
  • 13
  • 7
  • 7
  • 15
  • 14
  • 13
  • 14
  • 10
  • 22
  • 18
  • 109
  • 9
  • 15
  • 7
  • 19
  • 7
  • 8
  • 30
  • 7
  • 7
  • 50
  • 9
  • 7
  • 11
  • 11
  • 11
  • 10
  • 15
  • 22
  • 7
  • 14
  • 15
  • 26
  • 9
  • 11
  • 7
  • 31
  • 8
  • 10
  • 13
  • 10
  • 8
  • 32
  • 8
  • 20
  • 12
  • 11
  • 11
  • 13
  • 10
  • 21
  • 9
  • 19
  • 7
  • 7
  • 36
  • 22
  • 15
  • 36
  • 17
  • 12
  • 11
  • 13
  • 21
  • 10
  • 7
  • 57
  • 11
  • 9
  • 28
  • 9
  • 7
  • 57
  • 20
  • 88
  • 7
  • 25
  • 11
  • 13
  • 7
  • 41
  • 8
  • 28
  • 37
  • 23
  • 12
  • 18
  • 17
  • 7
  • 13
  • 10
  • 7
  • 26
Verlag
  • 9
  • 12494
  • 1616
  • 1565
  • 3
  • 42
  • 101
  • 1
  • 39
Preis
  • 50
  • 498
  • 12938
  • 2384
Sprachen
  • 15860
  • 22
  • 15
  • 1
Verfügbarkeit
  • 15852
  • 18
Eigenschaften
  • 11
Katalog
  • 15870
  • 583
15.870  Treffer  für „Lecture Notes in Computer Science“


    Damiani / Farrell Integrated Formal Methods

    20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10793-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Benz / Gopinath / Shi NASA Formal Methods

    16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-60697-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dang / Stolz Runtime Verification

    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17195-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48988-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Formenti / Manzoni Unconventional Computation and Natural Computation

    22nd International Conference, UCNC 2025, Nice, France, September 1-5, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-15640-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Coppens / Volckaert / Naessens Availability, Reliability and Security

    ARES 2025 International Workshops, Ghent, Belgium, August 11-14, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00638-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Zhang / Wu / Xu Combinatorial Optimization and Applications

    8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12690-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Logozzo / Peled / Zuck Verification, Model Checking, and Abstract Interpretation

    9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78163-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Brimkov / Barneva / Hauptman Combinatorial Image Analysis

    12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78275-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bravo / Hervás / Villarreal Ambient Assisted Living

    Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21302-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schlingloff / Chai Software Engineering and Formal Methods

    20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17107-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    An / Cuzzocrea / Hu Social Networks Analysis and Mining

    17th International Conference, ASONAM 2025, Niagara Falls, ON, Canada, August 25-28, 2025, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-14106-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Manulis Applied Cryptography and Network Security Workshops

    ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, June 23-26, 2025, Revised Selected Papers, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01822-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Taniguchi / Leung / Kozuno Neural Information Processing

    32nd International Conference, ICONIP 2025, Okinawa, Japan, November 20-24, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954380-9
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Palinko / Jiang / Bodenhagen Social Robotics

    16th International Conference, ICSR + AI 2024, Odense, Denmark, October 23-26, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-963518-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Diehl / Cao / Herault Asynchronous Many-Task Systems and Applications

    Third International Workshop, WAMTA 2025, St. Louis, MO, USA, February 19-21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97195-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Debruyne / Panetto / Meersman On the Move to Meaningful Internet Systems: OTM 2016 Conferences

    Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48471-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hommersom / Lucas Foundations of Biomedical Knowledge Representation

    Methods and Applications
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28007-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Christianson / Crispo / Malcolm Security Protocols

    7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67381-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

    Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17611-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Proença / Fervari / Martins Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

    ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94747-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chen / Hu / Wang Data Security and Privacy Protection

    Third International Conference, DSPP 2025, Xi'an, China, October 16-18, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953184-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kowalczyk / Vo / Maamar Service-Oriented Computing: Agents, Semantics, and Engineering

    AAMAS 2009 International Workshop, SOCASE 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-10739-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Trémeau / Schettini / Tominaga Computational Color Imaging

    Second International Workshop, CCIW 2009, Saint-Etienne, France, March 26-27, 2009. Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-03265-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Enser / Kompatsiaris / O'Connor Image and Video Retrieval

    Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27814-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



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