Ergebnisse filtern
Fachgebiet
Medium
  • 11214
Erscheinungsjahr
  • 117
  • 782
  • 791
  • 836
  • 614
  • 474
  • 281
  • 301
  • 318
  • 300
  • 298
  • 319
  • 311
  • 297
  • 316
  • 276
  • 299
  • 260
  • 256
  • 235
  • 254
  • 254
  • 226
  • 357
  • 299
  • 248
  • 253
  • 174
  • 178
  • 126
  • 143
  • 137
  • 113
  • 109
  • 90
  • 71
  • 85
  • 56
  • 55
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 15
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 4
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 9
  • 4
  • 12
  • 4
  • 25
  • 8
  • 7
  • 4
  • 5
  • 5
  • 4
  • 7
  • 7
  • 8
  • 6
  • 7
  • 16
  • 8
  • 4
  • 20
  • 5
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 8
  • 4
  • 5
  • 6
  • 13
  • 4
  • 31
  • 36
  • 5
  • 39
  • 7
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 5
  • 7
  • 5
  • 16
  • 7
  • 21
  • 4
  • 13
  • 5
  • 7
  • 4
  • 6
  • 5
  • 8
  • 7
  • 39
  • 12
  • 5
  • 4
  • 5
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 9
  • 4
  • 9
  • 4
  • 46
  • 5
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 7
  • 23
  • 5
  • 7
  • 10
  • 10
  • 8
  • 9
  • 7
  • 12
  • 5
  • 7
  • 19
  • 6
  • 7
  • 5
  • 17
  • 5
  • 7
  • 5
  • 7
  • 10
  • 8
  • 8
  • 21
  • 5
  • 12
  • 7
  • 5
  • 6
  • 40
  • 7
  • 19
  • 18
  • 5
  • 7
  • 6
  • 8
  • 8
  • 5
  • 9
  • 6
  • 7
  • 8
  • 6
  • 9
  • 12
  • 11
  • 8
  • 14
  • 9
  • 6
  • 15
  • 8
  • 5
  • 5
  • 7
  • 39
  • 17
  • 6
  • 6
  • 5
  • 7
  • 5
  • 15
  • 10
  • 11
  • 11
  • 7
  • 8
  • 12
  • 5
  • 5
  • 8
  • 23
  • 13
  • 7
  • 6
  • 14
  • 5
  • 8
  • 5
  • 5
  • 8
  • 5
  • 34
  • 15
  • 41
  • 11
  • 8
  • 15
  • 18
  • 8
  • 44
  • 12
  • 39
  • 9
  • 14
  • 6
  • 12
  • 6
  • 15
  • 10
  • 5
  • 39
  • 5
  • 5
  • 11
  • 12
  • 6
  • 7
  • 6
  • 5
  • 5
  • 6
  • 9
  • 13
  • 5
  • 5
  • 7
  • 16
  • 5
  • 6
  • 12
  • 6
  • 5
  • 7
  • 10
  • 6
  • 5
  • 8
  • 26
  • 23
  • 15
  • 25
  • 8
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 6
  • 14
  • 9
  • 23
  • 6
  • 5
  • 8
  • 6
  • 8
  • 11
  • 5
  • 8
  • 6
  • 22
  • 10
  • 6
  • 12
  • 10
  • 6
  • 5
  • 45
  • 43
  • 9
  • 41
  • 12
  • 9
  • 12
  • 5
  • 6
  • 29
  • 13
  • 5
  • 5
  • 18
  • 9
  • 6
  • 10
  • 26
  • 15
  • 43
  • 77
  • 10
  • 7
  • 14
  • 10
  • 6
  • 6
  • 7
  • 11
  • 17
  • 6
  • 9
  • 7
  • 5
  • 6
  • 8
  • 7
  • 7
  • 5
  • 5
  • 7
  • 19
  • 17
  • 8
  • 6
  • 7
  • 10
  • 9
  • 5
  • 13
  • 19
  • 67
  • 32
  • 9
  • 6
  • 19
  • 9
  • 16
  • 24
  • 5
  • 104
  • 5
  • 11
  • 6
  • 5
  • 14
  • 5
  • 6
  • 8
  • 6
  • 18
  • 16
  • 6
  • 6
  • 9
  • 6
  • 6
  • 17
  • 6
  • 6
  • 6
  • 6
  • 10
  • 5
  • 39
  • 10
  • 9
  • 7
  • 9
  • 15
  • 7
  • 7
  • 7
  • 23
  • 39
  • 8
  • 18
  • 9
  • 10
  • 5
  • 5
  • 5
  • 7
  • 15
  • 10
  • 9
  • 15
  • 5
  • 5
  • 5
  • 10
  • 8
  • 95
  • 8
  • 9
  • 5
  • 5
  • 5
  • 10
  • 5
  • 6
  • 6
  • 15
  • 8
  • 15
  • 5
  • 11
  • 5
  • 18
  • 9
  • 13
  • 7
  • 5
  • 5
  • 6
  • 7
  • 19
  • 13
  • 8
  • 5
  • 12
  • 7
  • 13
  • 6
  • 8
  • 5
  • 16
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 5
  • 10
  • 5
  • 15
  • 6
  • 8
  • 7
  • 9
  • 41
  • 10
  • 6
  • 8
  • 26
  • 6
  • 18
  • 39
  • 5
  • 10
  • 15
  • 12
  • 32
  • 6
  • 10
  • 7
  • 12
  • 17
  • 6
  • 14
  • 5
  • 18
  • 35
  • 7
  • 17
  • 8
  • 11
  • 5
  • 14
  • 6
  • 26
  • 77
  • 14
  • 26
  • 45
  • 8
  • 5
  • 7
  • 9
  • 6
  • 8
  • 5
  • 12
  • 6
  • 6
  • 7
  • 7
  • 8
  • 14
  • 7
  • 6
  • 5
  • 17
  • 91
  • 13
  • 6
  • 44
  • 6
  • 6
  • 13
  • 7
  • 8
  • 5
  • 13
  • 14
  • 10
  • 12
  • 7
  • 34
  • 7
  • 6
  • 7
  • 5
  • 7
  • 17
  • 18
  • 5
  • 20
  • 6
  • 6
  • 28
  • 6
  • 5
  • 6
  • 77
  • 11
  • 5
  • 15
  • 6
  • 5
  • 13
  • 22
  • 5
  • 9
  • 6
  • 8
  • 6
  • 7
  • 30
  • 6
  • 5
  • 6
  • 24
  • 6
  • 5
  • 13
  • 16
  • 13
  • 7
  • 14
  • 16
  • 15
  • 11
  • 23
  • 8
  • 77
  • 11
  • 5
  • 10
  • 11
  • 5
  • 29
  • 5
  • 27
  • 31
  • 5
  • 7
  • 7
  • 5
  • 7
  • 6
  • 13
  • 5
  • 20
  • 9
  • 6
  • 7
  • 7
  • 9
  • 13
  • 6
  • 21
  • 6
  • 9
  • 11
  • 8
  • 9
  • 8
  • 15
  • 6
  • 5
  • 34
  • 14
  • 8
  • 9
  • 5
  • 6
  • 7
  • 7
  • 5
  • 7
  • 22
  • 7
  • 9
  • 8
  • 7
  • 9
  • 6
  • 95
  • 8
  • 6
  • 5
  • 5
  • 12
  • 9
  • 8
  • 6
  • 5
  • 8
  • 5
  • 12
  • 36
  • 5
  • 16
  • 8
  • 5
  • 5
  • 9
  • 5
  • 5
  • 12
  • 21
  • 25
  • 7
  • 5
  • 5
  • 6
  • 9
  • 13
  • 6
  • 6
  • 5
  • 10
  • 6
  • 8
  • 10
  • 6
  • 9
  • 49
  • 17
  • 6
  • 38
  • 10
  • 9
  • 11
  • 5
  • 14
  • 20
  • 13
  • 14
  • 15
  • 14
  • 6
  • 7
  • 8
  • 27
  • 10
  • 5
  • 11
  • 7
  • 6
  • 5
  • 19
  • 6
  • 9
  • 5
  • 12
  • 14
  • 9
  • 5
  • 8
  • 6
  • 16
  • 7
  • 13
  • 8
  • 5
  • 9
  • 7
  • 8
  • 23
  • 6
  • 7
  • 5
  • 11
  • 10
  • 8
  • 8
  • 37
  • 12
  • 9
  • 8
  • 6
  • 7
  • 5
  • 14
  • 8
  • 5
  • 6
  • 10
  • 10
  • 29
  • 6
  • 16
  • 7
  • 36
  • 5
  • 8
  • 10
  • 8
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 5
  • 7
  • 6
  • 31
  • 15
  • 5
  • 5
  • 8
  • 77
  • 5
  • 17
  • 8
  • 8
  • 6
  • 13
  • 11
  • 19
  • 18
  • 6
  • 9
  • 92
  • 6
  • 46
  • 5
  • 11
  • 9
  • 9
  • 89
  • 22
  • 7
  • 20
  • 7
  • 10
  • 6
  • 9
  • 12
  • 18
  • 10
  • 6
  • 6
  • 6
  • 5
  • 8
  • 7
  • 90
  • 7
  • 6
  • 5
  • 5
  • 6
  • 21
  • 8
  • 13
  • 6
  • 81
  • 11
  • 5
  • 18
  • 13
  • 15
  • 11
  • 5
  • 10
  • 13
  • 5
  • 5
  • 22
  • 14
  • 6
  • 8
  • 6
  • 7
  • 7
  • 14
  • 6
  • 22
  • 8
  • 6
  • 5
  • 6
  • 7
  • 6
  • 5
  • 7
  • 14
  • 9
  • 7
  • 8
  • 6
  • 14
  • 9
  • 14
  • 23
  • 29
  • 7
  • 6
  • 5
  • 5
  • 16
  • 6
  • 5
  • 8
  • 13
  • 8
  • 6
  • 33
  • 15
  • 5
  • 6
  • 5
  • 10
  • 10
  • 5
  • 8
  • 6
  • 43
  • 6
  • 49
  • 8
  • 6
  • 9
  • 6
  • 11
  • 12
  • 6
  • 14
  • 24
  • 5
  • 5
  • 16
  • 8
  • 16
  • 5
  • 17
  • 23
  • 5
  • 5
  • 9
  • 7
  • 8
  • 25
  • 15
  • 22
  • 61
  • 10
  • 14
  • 21
  • 8
  • 9
  • 5
  • 5
  • 22
  • 18
  • 17
  • 5
  • 8
  • 6
  • 5
  • 21
  • 9
  • 57
  • 80
  • 23
  • 12
  • 8
  • 10
  • 15
  • 5
  • 6
  • 5
  • 12
  • 17
  • 5
  • 12
  • 5
  • 6
  • 14
  • 9
  • 7
  • 13
  • 8
  • 6
  • 8
  • 5
  • 89
  • 11
  • 17
  • 15
  • 10
  • 6
  • 8
  • 5
  • 6
  • 13
  • 5
  • 5
  • 11
  • 7
  • 33
  • 5
  • 11
  • 9
  • 11
  • 5
  • 6
  • 13
  • 18
  • 37
  • 6
  • 5
  • 8
  • 14
  • 5
  • 8
  • 19
  • 14
  • 5
  • 7
  • 5
  • 10
  • 6
  • 9
  • 6
  • 23
  • 6
  • 13
  • 10
  • 6
  • 9
  • 5
  • 6
  • 6
  • 7
  • 6
  • 14
  • 11
  • 9
  • 5
  • 18
  • 5
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 12
  • 14
  • 23
  • 7
  • 20
  • 5
  • 12
  • 5
  • 11
  • 8
  • 18
  • 6
  • 6
  • 6
  • 52
  • 6
  • 12
  • 5
  • 35
  • 7
  • 5
  • 21
  • 6
  • 46
  • 37
  • 58
  • 40
  • 7
  • 12
  • 5
  • 11
  • 21
  • 5
  • 32
  • 7
  • 27
  • 15
  • 20
  • 6
  • 5
  • 11
  • 5
  • 8
  • 9
  • 6
  • 6
  • 21
Verlag
  • 7
  • 11075
  • 3
  • 9
  • 2
  • 19
  • 48
  • 5
  • 1
  • 14
  • 31
Preis
  • 42
  • 411
  • 8521
  • 2240
Sprachen
  • 11209
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10956
  • 258
Eigenschaften
  • 2
Katalog
  • 11214
  • 596
11.214  Treffer  für „Lecture Notes in Computer Science“
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    America | ECOOP '91 European Conference on Object-Oriented Programming | Buch | Sack Fachmedien

    America ECOOP '91 European Conference on Object-Oriented Programming

    Geneva, Switzerland, July 15-19, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54262-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Wechler | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Kirchner / Wechler Algebraic and Logic Programming

    Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53162-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen / Santoro | Distributed Algorithms | Buch | Sack Fachmedien

    Leeuwen / Santoro Distributed Algorithms

    4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54099-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Groote | CONCUR '91 | Buch | Sack Fachmedien

    Baeten / Groote CONCUR '91

    2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54430-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sherman | Paragon | Buch | Sack Fachmedien

    Sherman Paragon

    A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15212-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alford / Paul / Ansart | Distributed Systems | Buch | Sack Fachmedien

    Alford / Paul / Ansart 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
    Kaplan / Jouannaud | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Kaplan / Jouannaud Conditional Term Rewriting Systems

    1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19242-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen | Distributed Algorithms | Buch | Sack Fachmedien

    Leeuwen Distributed Algorithms

    2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19366-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogt | Concurrency 88 | Buch | Sack Fachmedien

    Vogt Concurrency 88

    International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50403-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50845-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kündig / Bührer / Dähler | Embedded Systems | Buch | Sack Fachmedien

    Kündig / Bührer / Dähler Embedded Systems

    New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18581-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gjessing / Nygaard | ECOOP '88 European Conference on Object-Oriented Programming | Buch | Sack Fachmedien

    Gjessing / Nygaard ECOOP '88 European Conference on Object-Oriented Programming

    Oslo, Norway, August 15-17, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50053-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beer | Concepts, Design, and Performance Analysis of a Parallel Prolog Machine | Buch | Sack Fachmedien

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Händler | CONPAR 81 | Buch | Sack Fachmedien

    Händler CONPAR 81

    Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10827-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Even / Kariv | Automata, Languages and Programming | Buch | Sack Fachmedien

    Even / Kariv Automata, Languages and Programming

    Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10843-6
    Medium: Buch
    53,49 € (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
    Wallis | Ada Software Tools Interfaces | Buch | Sack Fachmedien

    Wallis Ada Software Tools Interfaces

    Workshop, Bath, July 13-15, 1983. Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13878-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat / Perrin | Automata on Infinite Words | Buch | Sack Fachmedien

    Nivat / Perrin Automata on Infinite Words

    Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15641-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wallach | Alternating Sequential-Parallel Processing | Buch | Sack Fachmedien

    Wallach Alternating Sequential-Parallel Processing

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11194-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ershov / Koster | Methods of Algorithmic Language Implementation | Buch | Sack Fachmedien

    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
    Theoharis | Algorithms for Parallel Polygon Rendering | Buch | Sack Fachmedien

    Theoharis Algorithms for Parallel Polygon Rendering

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51394-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schäfer / Botella | Software Engineering - ESEC '95 | Buch | Sack Fachmedien

    Schäfer / Botella Software Engineering - ESEC '95

    5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60406-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papazoglou | OOER '95 Object-Oriented and Entity-Relationship Modeling | Buch | Sack Fachmedien

    Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling

    14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60672-7
    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