Fachgebiet
Medium
  • 10642
  • 2705
Erscheinungsjahr
  • 160
  • 1009
  • 1064
  • 796
  • 665
  • 388
  • 408
  • 429
  • 440
  • 431
  • 445
  • 420
  • 391
  • 438
  • 443
  • 405
  • 409
  • 267
  • 250
  • 279
  • 281
  • 226
  • 474
  • 583
  • 264
  • 258
  • 181
  • 178
  • 144
  • 142
  • 138
  • 120
  • 111
  • 100
  • 73
  • 86
  • 60
  • 59
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 7
  • 7
  • 8
  • 10
  • 9
  • 12
  • 10
  • 10
  • 6
  • 14
  • 9
  • 17
  • 7
  • 26
  • 12
  • 7
  • 9
  • 11
  • 7
  • 8
  • 6
  • 13
  • 38
  • 52
  • 8
  • 63
  • 8
  • 10
  • 16
  • 19
  • 12
  • 7
  • 50
  • 8
  • 7
  • 6
  • 7
  • 6
  • 9
  • 6
  • 17
  • 7
  • 8
  • 7
  • 7
  • 7
  • 7
  • 8
  • 6
  • 12
  • 6
  • 22
  • 8
  • 21
  • 9
  • 9
  • 9
  • 6
  • 28
  • 9
  • 9
  • 7
  • 58
  • 8
  • 19
  • 18
  • 9
  • 16
  • 10
  • 7
  • 7
  • 6
  • 8
  • 6
  • 9
  • 12
  • 7
  • 8
  • 12
  • 6
  • 15
  • 19
  • 10
  • 21
  • 9
  • 7
  • 8
  • 50
  • 14
  • 7
  • 11
  • 7
  • 9
  • 19
  • 6
  • 6
  • 14
  • 18
  • 6
  • 6
  • 18
  • 13
  • 10
  • 27
  • 18
  • 7
  • 11
  • 14
  • 6
  • 6
  • 12
  • 8
  • 17
  • 8
  • 49
  • 13
  • 58
  • 10
  • 10
  • 22
  • 19
  • 7
  • 14
  • 8
  • 6
  • 24
  • 12
  • 46
  • 11
  • 15
  • 10
  • 6
  • 6
  • 6
  • 7
  • 17
  • 9
  • 16
  • 6
  • 10
  • 7
  • 50
  • 11
  • 12
  • 9
  • 19
  • 6
  • 6
  • 6
  • 8
  • 17
  • 13
  • 7
  • 8
  • 10
  • 22
  • 12
  • 12
  • 18
  • 10
  • 8
  • 6
  • 11
  • 9
  • 11
  • 22
  • 28
  • 10
  • 10
  • 7
  • 13
  • 7
  • 12
  • 18
  • 6
  • 27
  • 9
  • 6
  • 7
  • 6
  • 6
  • 6
  • 14
  • 6
  • 10
  • 8
  • 7
  • 7
  • 12
  • 6
  • 21
  • 14
  • 10
  • 12
  • 7
  • 46
  • 54
  • 9
  • 31
  • 8
  • 6
  • 15
  • 31
  • 13
  • 7
  • 10
  • 10
  • 21
  • 8
  • 8
  • 9
  • 6
  • 9
  • 6
  • 8
  • 6
  • 36
  • 6
  • 19
  • 59
  • 15
  • 8
  • 6
  • 6
  • 21
  • 8
  • 8
  • 10
  • 9
  • 18
  • 20
  • 7
  • 6
  • 6
  • 12
  • 9
  • 6
  • 11
  • 19
  • 13
  • 6
  • 12
  • 8
  • 13
  • 18
  • 10
  • 12
  • 7
  • 7
  • 11
  • 16
  • 6
  • 7
  • 19
  • 78
  • 6
  • 7
  • 34
  • 9
  • 8
  • 31
  • 7
  • 20
  • 33
  • 10
  • 128
  • 6
  • 8
  • 14
  • 9
  • 8
  • 19
  • 11
  • 6
  • 7
  • 22
  • 15
  • 6
  • 8
  • 6
  • 6
  • 13
  • 7
  • 8
  • 16
  • 10
  • 11
  • 7
  • 6
  • 7
  • 14
  • 6
  • 52
  • 6
  • 7
  • 8
  • 7
  • 6
  • 8
  • 26
  • 13
  • 9
  • 12
  • 26
  • 50
  • 11
  • 10
  • 18
  • 8
  • 13
  • 7
  • 6
  • 7
  • 8
  • 10
  • 7
  • 16
  • 17
  • 8
  • 6
  • 7
  • 14
  • 6
  • 80
  • 8
  • 10
  • 9
  • 10
  • 8
  • 6
  • 9
  • 8
  • 17
  • 6
  • 14
  • 7
  • 10
  • 13
  • 34
  • 6
  • 6
  • 17
  • 7
  • 10
  • 6
  • 6
  • 6
  • 19
  • 7
  • 19
  • 12
  • 6
  • 6
  • 13
  • 10
  • 7
  • 15
  • 6
  • 10
  • 7
  • 13
  • 6
  • 18
  • 7
  • 6
  • 11
  • 8
  • 6
  • 10
  • 8
  • 18
  • 6
  • 8
  • 11
  • 9
  • 7
  • 6
  • 39
  • 8
  • 9
  • 8
  • 6
  • 7
  • 27
  • 8
  • 9
  • 6
  • 22
  • 47
  • 6
  • 7
  • 13
  • 16
  • 17
  • 6
  • 7
  • 10
  • 40
  • 6
  • 6
  • 13
  • 6
  • 7
  • 8
  • 6
  • 10
  • 10
  • 21
  • 6
  • 10
  • 19
  • 7
  • 22
  • 42
  • 20
  • 15
  • 7
  • 25
  • 7
  • 9
  • 8
  • 19
  • 10
  • 9
  • 37
  • 16
  • 40
  • 50
  • 7
  • 7
  • 7
  • 6
  • 8
  • 7
  • 21
  • 6
  • 8
  • 17
  • 6
  • 12
  • 8
  • 7
  • 9
  • 10
  • 7
  • 11
  • 7
  • 17
  • 6
  • 90
  • 30
  • 30
  • 19
  • 6
  • 6
  • 21
  • 7
  • 7
  • 7
  • 11
  • 20
  • 9
  • 9
  • 7
  • 13
  • 19
  • 18
  • 6
  • 6
  • 7
  • 8
  • 13
  • 16
  • 18
  • 8
  • 24
  • 6
  • 21
  • 9
  • 6
  • 24
  • 10
  • 83
  • 13
  • 7
  • 22
  • 8
  • 6
  • 8
  • 19
  • 25
  • 7
  • 7
  • 8
  • 6
  • 15
  • 7
  • 7
  • 7
  • 9
  • 6
  • 15
  • 10
  • 7
  • 9
  • 31
  • 10
  • 6
  • 7
  • 13
  • 14
  • 15
  • 21
  • 14
  • 16
  • 15
  • 25
  • 7
  • 6
  • 8
  • 11
  • 6
  • 16
  • 11
  • 6
  • 11
  • 38
  • 11
  • 11
  • 41
  • 32
  • 7
  • 6
  • 6
  • 9
  • 6
  • 11
  • 11
  • 11
  • 28
  • 10
  • 8
  • 6
  • 13
  • 7
  • 7
  • 6
  • 6
  • 6
  • 9
  • 20
  • 11
  • 6
  • 8
  • 12
  • 11
  • 9
  • 11
  • 9
  • 8
  • 16
  • 7
  • 6
  • 10
  • 7
  • 53
  • 8
  • 10
  • 8
  • 8
  • 7
  • 10
  • 6
  • 10
  • 25
  • 7
  • 7
  • 7
  • 11
  • 10
  • 10
  • 6
  • 8
  • 8
  • 10
  • 119
  • 7
  • 14
  • 6
  • 7
  • 6
  • 18
  • 8
  • 13
  • 12
  • 6
  • 6
  • 12
  • 58
  • 21
  • 20
  • 9
  • 8
  • 11
  • 6
  • 10
  • 11
  • 7
  • 10
  • 10
  • 6
  • 8
  • 7
  • 8
  • 15
  • 8
  • 7
  • 7
  • 11
  • 7
  • 6
  • 13
  • 60
  • 11
  • 8
  • 8
  • 18
  • 9
  • 8
  • 6
  • 23
  • 6
  • 10
  • 8
  • 13
  • 18
  • 22
  • 17
  • 8
  • 19
  • 10
  • 6
  • 11
  • 7
  • 36
  • 14
  • 11
  • 7
  • 13
  • 11
  • 8
  • 21
  • 19
  • 10
  • 17
  • 8
  • 11
  • 6
  • 14
  • 6
  • 11
  • 21
  • 8
  • 15
  • 8
  • 9
  • 6
  • 19
  • 6
  • 9
  • 27
  • 10
  • 12
  • 12
  • 9
  • 8
  • 10
  • 17
  • 11
  • 6
  • 12
  • 7
  • 11
  • 22
  • 10
  • 13
  • 10
  • 7
  • 10
  • 15
  • 33
  • 16
  • 9
  • 6
  • 9
  • 10
  • 23
  • 7
  • 8
  • 11
  • 13
  • 7
  • 7
  • 120
  • 7
  • 9
  • 11
  • 8
  • 35
  • 13
  • 14
  • 7
  • 20
  • 13
  • 9
  • 8
  • 10
  • 14
  • 24
  • 7
  • 6
  • 122
  • 6
  • 55
  • 13
  • 11
  • 10
  • 6
  • 117
  • 27
  • 7
  • 19
  • 16
  • 7
  • 16
  • 11
  • 15
  • 16
  • 10
  • 7
  • 7
  • 10
  • 6
  • 6
  • 11
  • 117
  • 7
  • 6
  • 8
  • 12
  • 25
  • 6
  • 13
  • 18
  • 6
  • 11
  • 21
  • 18
  • 6
  • 13
  • 10
  • 6
  • 8
  • 7
  • 14
  • 13
  • 12
  • 32
  • 17
  • 9
  • 7
  • 17
  • 6
  • 9
  • 6
  • 19
  • 11
  • 6
  • 33
  • 7
  • 6
  • 7
  • 7
  • 7
  • 15
  • 11
  • 11
  • 10
  • 10
  • 6
  • 15
  • 10
  • 18
  • 50
  • 13
  • 9
  • 9
  • 10
  • 21
  • 12
  • 8
  • 14
  • 10
  • 6
  • 16
  • 14
  • 8
  • 8
  • 8
  • 6
  • 10
  • 13
  • 6
  • 50
  • 8
  • 50
  • 7
  • 16
  • 8
  • 11
  • 8
  • 15
  • 15
  • 6
  • 9
  • 7
  • 22
  • 6
  • 7
  • 7
  • 9
  • 18
  • 10
  • 18
  • 18
  • 31
  • 7
  • 6
  • 6
  • 18
  • 26
  • 14
  • 15
  • 32
  • 81
  • 14
  • 19
  • 29
  • 11
  • 11
  • 8
  • 7
  • 9
  • 19
  • 24
  • 20
  • 6
  • 7
  • 12
  • 77
  • 27
  • 17
  • 6
  • 8
  • 12
  • 16
  • 20
  • 16
  • 9
  • 17
  • 12
  • 17
  • 7
  • 6
  • 16
  • 10
  • 8
  • 16
  • 15
  • 10
  • 12
  • 13
  • 7
  • 117
  • 6
  • 12
  • 6
  • 13
  • 17
  • 9
  • 6
  • 6
  • 9
  • 6
  • 9
  • 19
  • 18
  • 9
  • 8
  • 42
  • 8
  • 11
  • 6
  • 7
  • 17
  • 15
  • 6
  • 9
  • 15
  • 23
  • 11
  • 12
  • 25
  • 12
  • 7
  • 9
  • 20
  • 7
  • 18
  • 6
  • 14
  • 11
  • 8
  • 9
  • 7
  • 6
  • 6
  • 11
  • 6
  • 10
  • 26
  • 11
  • 18
  • 8
  • 14
  • 6
  • 6
  • 10
  • 9
  • 7
  • 11
  • 7
  • 11
  • 12
  • 10
  • 24
  • 7
  • 8
  • 12
  • 21
  • 9
  • 8
  • 7
  • 8
  • 34
  • 13
  • 7
  • 19
  • 26
  • 15
  • 9
  • 9
  • 16
  • 9
  • 10
  • 24
  • 10
  • 9
  • 60
  • 15
  • 7
  • 8
  • 37
  • 7
  • 10
  • 9
  • 52
  • 20
  • 82
  • 25
  • 7
  • 9
  • 7
  • 7
  • 41
  • 7
  • 11
  • 25
  • 23
  • 21
  • 13
  • 11
  • 11
  • 17
  • 7
  • 19
  • 9
  • 8
  • 28
Verlag
  • 2
  • 11570
  • 40
  • 1553
  • 1
  • 16
  • 4
  • 2
  • 114
  • 1
  • 1
  • 43
Preis
  • 47
  • 481
  • 10560
  • 2259
Sprachen
  • 13339
  • 20
  • 15
Verfügbarkeit
  • 13315
  • 32
Eigenschaften
  • 7
Katalog
  • 13347
  • 570
13.347  Treffer  für „Lecture Notes in Computer Science“


    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    König-Ries / Makki / Pissinou Developing an Infrastructure for Mobile and Wireless Systems

    NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00289-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liskov / Atkinson / Bloom CLU

    Reference Manual
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10836-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kozen Logics of Programs

    Workshop, Yorktown Heights, NY, USA
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11212-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yao / Kunii Data Base Design Techniques II

    Physical Structures and Applications. Proceedings, Tokyo, November 1979
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11215-0
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

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

    Thayse Boolean Calculus of Differences

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

    Harel First-Order Dynamic Logic

    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09237-7
    Medium: Buch
    10,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blum / Paul / Takasu Mathematical Studies of Information Processing

    Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09541-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ershov / Koster Methods of Algorithmic Language Implementation

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

    Westfechtel / van der Hoek Software Configuration Management

    ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-14036-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Alford / Ansart / Paul Distributed Systems

    Methods and Tools for Specification. An Advanced Course
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15216-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Händler / Haupt / Jelitsch CONPAR 86

    Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16811-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Robert / Parashar / Badrinath High Performance Computing - HiPC 2006

    13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68039-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cuellar / Maibaum FM 2008: Formal Methods

    15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Robshaw / Billet New Stream Cipher Designs

    The eSTREAM Finalists
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-68350-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gotzhein / Reed System Analysis and Modeling: Language Profiles

    5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68371-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dalkilic / Kim / Yang Data Mining and Bioinformatics

    First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68970-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fossorier / Hoeholdt / Poli Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40111-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aalst / Best Applications and Theory of Petri Nets 2003

    24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40334-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huang / Herman Self-Stabilizing Systems

    6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40453-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