Fachgebiet
Medium
  • 10718
  • 2640
Erscheinungsjahr
  • 284
  • 1016
  • 1053
  • 799
  • 628
  • 390
  • 406
  • 440
  • 421
  • 432
  • 418
  • 439
  • 400
  • 438
  • 442
  • 398
  • 367
  • 270
  • 246
  • 281
  • 293
  • 223
  • 475
  • 580
  • 264
  • 253
  • 179
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 5
  • 7
  • 10
  • 6
  • 15
  • 12
  • 6
  • 5
  • 5
  • 9
  • 12
  • 11
  • 5
  • 20
  • 8
  • 22
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 13
  • 31
  • 52
  • 7
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 17
  • 12
  • 5
  • 5
  • 7
  • 46
  • 7
  • 6
  • 5
  • 7
  • 5
  • 10
  • 7
  • 6
  • 19
  • 7
  • 5
  • 8
  • 8
  • 9
  • 5
  • 9
  • 7
  • 5
  • 7
  • 10
  • 12
  • 6
  • 7
  • 21
  • 6
  • 9
  • 21
  • 12
  • 8
  • 8
  • 18
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 7
  • 12
  • 11
  • 9
  • 7
  • 7
  • 6
  • 7
  • 12
  • 9
  • 11
  • 15
  • 13
  • 18
  • 14
  • 16
  • 7
  • 8
  • 46
  • 15
  • 8
  • 9
  • 6
  • 7
  • 10
  • 19
  • 7
  • 12
  • 14
  • 13
  • 6
  • 18
  • 10
  • 9
  • 25
  • 6
  • 17
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 11
  • 61
  • 7
  • 15
  • 9
  • 20
  • 20
  • 11
  • 7
  • 30
  • 9
  • 48
  • 11
  • 15
  • 13
  • 9
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 9
  • 17
  • 6
  • 8
  • 10
  • 7
  • 17
  • 12
  • 7
  • 7
  • 7
  • 8
  • 22
  • 12
  • 7
  • 18
  • 11
  • 8
  • 9
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 7
  • 9
  • 16
  • 25
  • 9
  • 9
  • 6
  • 6
  • 11
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 19
  • 12
  • 7
  • 11
  • 11
  • 9
  • 54
  • 51
  • 6
  • 30
  • 6
  • 11
  • 20
  • 11
  • 28
  • 17
  • 7
  • 7
  • 8
  • 14
  • 8
  • 22
  • 7
  • 7
  • 10
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 8
  • 19
  • 12
  • 9
  • 11
  • 12
  • 24
  • 6
  • 9
  • 8
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 10
  • 9
  • 12
  • 16
  • 17
  • 69
  • 43
  • 11
  • 6
  • 30
  • 15
  • 22
  • 34
  • 111
  • 7
  • 14
  • 10
  • 8
  • 22
  • 8
  • 9
  • 23
  • 16
  • 9
  • 9
  • 7
  • 6
  • 11
  • 21
  • 9
  • 16
  • 9
  • 8
  • 9
  • 6
  • 8
  • 7
  • 15
  • 7
  • 53
  • 6
  • 13
  • 6
  • 10
  • 7
  • 7
  • 6
  • 14
  • 26
  • 11
  • 10
  • 10
  • 25
  • 46
  • 11
  • 6
  • 6
  • 15
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 6
  • 9
  • 6
  • 14
  • 19
  • 8
  • 6
  • 6
  • 10
  • 7
  • 87
  • 6
  • 14
  • 14
  • 8
  • 8
  • 8
  • 6
  • 19
  • 8
  • 11
  • 7
  • 10
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 15
  • 6
  • 7
  • 22
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 6
  • 7
  • 6
  • 17
  • 9
  • 7
  • 6
  • 14
  • 6
  • 18
  • 7
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 8
  • 6
  • 9
  • 10
  • 9
  • 7
  • 7
  • 6
  • 38
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 31
  • 8
  • 9
  • 6
  • 21
  • 46
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 34
  • 6
  • 15
  • 9
  • 6
  • 7
  • 19
  • 6
  • 18
  • 6
  • 28
  • 42
  • 23
  • 12
  • 8
  • 28
  • 7
  • 14
  • 10
  • 8
  • 35
  • 17
  • 36
  • 46
  • 6
  • 8
  • 11
  • 8
  • 11
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 7
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 17
  • 8
  • 6
  • 90
  • 30
  • 33
  • 7
  • 17
  • 6
  • 6
  • 21
  • 7
  • 7
  • 7
  • 19
  • 8
  • 8
  • 13
  • 18
  • 6
  • 18
  • 6
  • 9
  • 7
  • 7
  • 10
  • 7
  • 11
  • 15
  • 7
  • 20
  • 7
  • 21
  • 6
  • 6
  • 29
  • 8
  • 12
  • 8
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 8
  • 6
  • 15
  • 28
  • 9
  • 14
  • 6
  • 12
  • 10
  • 7
  • 6
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 10
  • 23
  • 7
  • 7
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 30
  • 8
  • 12
  • 7
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 21
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 6
  • 10
  • 12
  • 8
  • 9
  • 6
  • 12
  • 9
  • 26
  • 8
  • 6
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 15
  • 6
  • 10
  • 7
  • 43
  • 6
  • 13
  • 12
  • 6
  • 8
  • 6
  • 20
  • 7
  • 8
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 7
  • 9
  • 11
  • 6
  • 102
  • 16
  • 8
  • 6
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 6
  • 7
  • 10
  • 13
  • 52
  • 16
  • 6
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 11
  • 6
  • 8
  • 7
  • 10
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 9
  • 6
  • 23
  • 15
  • 6
  • 6
  • 7
  • 6
  • 13
  • 7
  • 18
  • 18
  • 19
  • 11
  • 18
  • 9
  • 7
  • 12
  • 34
  • 15
  • 9
  • 10
  • 17
  • 8
  • 7
  • 7
  • 24
  • 6
  • 14
  • 16
  • 17
  • 6
  • 6
  • 13
  • 11
  • 8
  • 18
  • 8
  • 18
  • 8
  • 10
  • 21
  • 8
  • 25
  • 9
  • 10
  • 12
  • 6
  • 14
  • 7
  • 6
  • 13
  • 17
  • 12
  • 6
  • 10
  • 7
  • 6
  • 7
  • 7
  • 23
  • 6
  • 9
  • 10
  • 9
  • 6
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 25
  • 7
  • 11
  • 8
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 32
  • 9
  • 12
  • 23
  • 12
  • 9
  • 11
  • 15
  • 10
  • 28
  • 8
  • 123
  • 6
  • 60
  • 15
  • 12
  • 14
  • 120
  • 32
  • 6
  • 15
  • 8
  • 13
  • 8
  • 13
  • 15
  • 18
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 6
  • 9
  • 15
  • 29
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 10
  • 7
  • 13
  • 6
  • 6
  • 7
  • 12
  • 14
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 9
  • 11
  • 11
  • 16
  • 20
  • 40
  • 21
  • 9
  • 11
  • 10
  • 25
  • 10
  • 6
  • 12
  • 10
  • 16
  • 12
  • 8
  • 9
  • 11
  • 6
  • 49
  • 9
  • 43
  • 7
  • 15
  • 10
  • 13
  • 9
  • 14
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 36
  • 6
  • 6
  • 7
  • 8
  • 15
  • 7
  • 29
  • 13
  • 18
  • 33
  • 71
  • 12
  • 20
  • 22
  • 10
  • 15
  • 8
  • 11
  • 21
  • 22
  • 17
  • 12
  • 9
  • 12
  • 75
  • 25
  • 15
  • 10
  • 7
  • 16
  • 20
  • 12
  • 10
  • 17
  • 9
  • 15
  • 12
  • 8
  • 6
  • 16
  • 16
  • 10
  • 9
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 20
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 17
  • 11
  • 6
  • 10
  • 43
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 11
  • 14
  • 26
  • 9
  • 8
  • 8
  • 6
  • 20
  • 8
  • 24
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 9
  • 7
  • 33
  • 7
  • 17
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 9
  • 7
  • 10
  • 7
  • 15
  • 13
  • 10
  • 7
  • 20
  • 15
  • 7
  • 17
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 27
  • 8
  • 12
  • 6
  • 8
  • 13
  • 10
  • 9
  • 20
  • 7
  • 9
  • 7
  • 8
  • 61
  • 16
  • 7
  • 9
  • 7
  • 28
  • 7
  • 7
  • 6
  • 58
  • 20
  • 80
  • 8
  • 21
  • 8
  • 6
  • 13
  • 8
  • 9
  • 9
  • 38
  • 7
  • 9
  • 8
  • 23
  • 23
  • 23
  • 11
  • 10
  • 6
  • 14
  • 15
  • 7
  • 31
Verlag
  • 3
  • 11573
  • 40
  • 1548
  • 2
  • 2
  • 14
  • 5
  • 3
  • 123
  • 1
  • 1
  • 5
  • 38
Preis
  • 47
  • 486
  • 10544
  • 2281
Sprachen
  • 13350
  • 19
  • 15
Verfügbarkeit
  • 13338
  • 20
Eigenschaften
  • 26
Katalog
  • 13358
  • 550
13.358  Treffer  für „Lecture Notes in Computer Science“


    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

    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

    Broy / Jonsson / Katoen Model-Based Testing of Reactive Systems

    Advanced Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26278-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74791-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Houstis / Papatheodorou / Polychronopoulos Supercomputing

    1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18991-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jin / Rana / Pan Algorithms and Architectures for Parallel Processing

    7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72904-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Westort Digital Earth Moving

    First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42586-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wei / Margetis Human-Centered Design, Operation and Evaluation of Mobile Communications

    5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-60458-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Blanc-Talon / Helbert / Philips Advanced Concepts for Intelligent Vision Systems

    19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-01448-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhou / Yung / Han Applied Cryptography and Network Security

    First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20208-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Remke / Stoelinga Stochastic Model Checking

    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45489-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36749-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barthe / Dybjer / Pinto Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44044-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-39656-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hall / Sundar Languages and Compilers for Parallel Computing

    31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34626-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sharp Higher-Level Hardware Synthesis

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21306-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Berardi / Coppo / Damiani Types for Proofs and Programs

    International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24849-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Vigna Mobile Agents and Security

    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-68671-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Knuth / Neuhold Specification and Design of Software Systems

    Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings
    1983
    Verlag: Springer
    ISBN: 978-3-540-12284-5
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cortesi Verification, Model Checking, and Abstract Interpretation

    Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43631-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chen / Mitchell / Martin Trusted Computing

    Second International Conference, Trust 2009 Oxford, UK, April 6-8, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00586-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kivinen / Szepesvári / Ukkonen Algorithmic Learning Theory

    22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24411-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mohaisen / Wies Networked Systems

    11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37764-8
    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