Fachgebiet
Medium
  • 10652
  • 2734
Erscheinungsjahr
  • 154
  • 1008
  • 1081
  • 803
  • 659
  • 419
  • 422
  • 423
  • 451
  • 422
  • 444
  • 418
  • 408
  • 429
  • 431
  • 426
  • 405
  • 259
  • 252
  • 273
  • 293
  • 219
  • 470
  • 578
  • 263
  • 258
  • 187
  • 172
  • 147
  • 143
  • 138
  • 118
  • 110
  • 96
  • 72
  • 85
  • 60
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 9
  • 10
  • 9
  • 13
  • 8
  • 10
  • 7
  • 7
  • 13
  • 11
  • 17
  • 6
  • 25
  • 11
  • 6
  • 9
  • 12
  • 6
  • 6
  • 13
  • 37
  • 47
  • 9
  • 58
  • 7
  • 10
  • 17
  • 20
  • 11
  • 51
  • 9
  • 6
  • 10
  • 9
  • 6
  • 9
  • 15
  • 9
  • 8
  • 6
  • 7
  • 8
  • 7
  • 9
  • 6
  • 13
  • 6
  • 24
  • 6
  • 18
  • 7
  • 6
  • 10
  • 7
  • 7
  • 26
  • 10
  • 12
  • 7
  • 53
  • 13
  • 7
  • 17
  • 18
  • 9
  • 13
  • 8
  • 10
  • 8
  • 6
  • 12
  • 9
  • 12
  • 7
  • 6
  • 8
  • 13
  • 7
  • 14
  • 7
  • 19
  • 8
  • 18
  • 9
  • 7
  • 6
  • 8
  • 6
  • 51
  • 12
  • 6
  • 11
  • 10
  • 7
  • 19
  • 8
  • 11
  • 6
  • 18
  • 6
  • 7
  • 12
  • 8
  • 9
  • 29
  • 23
  • 7
  • 9
  • 7
  • 13
  • 10
  • 6
  • 12
  • 9
  • 14
  • 7
  • 44
  • 14
  • 53
  • 14
  • 10
  • 19
  • 18
  • 6
  • 15
  • 8
  • 28
  • 13
  • 45
  • 11
  • 17
  • 8
  • 7
  • 6
  • 17
  • 6
  • 17
  • 9
  • 51
  • 9
  • 8
  • 6
  • 11
  • 13
  • 15
  • 7
  • 7
  • 6
  • 16
  • 12
  • 8
  • 7
  • 7
  • 11
  • 6
  • 19
  • 12
  • 12
  • 18
  • 6
  • 6
  • 6
  • 6
  • 11
  • 6
  • 10
  • 11
  • 22
  • 27
  • 6
  • 8
  • 10
  • 6
  • 11
  • 6
  • 8
  • 11
  • 16
  • 29
  • 8
  • 7
  • 7
  • 9
  • 7
  • 14
  • 6
  • 10
  • 6
  • 6
  • 9
  • 7
  • 10
  • 6
  • 17
  • 12
  • 12
  • 12
  • 7
  • 50
  • 58
  • 10
  • 32
  • 9
  • 11
  • 12
  • 31
  • 13
  • 6
  • 9
  • 10
  • 20
  • 7
  • 8
  • 6
  • 11
  • 9
  • 8
  • 6
  • 33
  • 6
  • 17
  • 60
  • 10
  • 8
  • 6
  • 6
  • 6
  • 21
  • 8
  • 10
  • 10
  • 14
  • 17
  • 6
  • 18
  • 6
  • 7
  • 6
  • 6
  • 12
  • 9
  • 7
  • 6
  • 6
  • 6
  • 7
  • 18
  • 12
  • 6
  • 10
  • 8
  • 13
  • 8
  • 19
  • 11
  • 12
  • 7
  • 6
  • 11
  • 20
  • 7
  • 19
  • 6
  • 73
  • 6
  • 38
  • 7
  • 9
  • 7
  • 32
  • 12
  • 19
  • 35
  • 7
  • 121
  • 7
  • 15
  • 10
  • 22
  • 13
  • 7
  • 6
  • 23
  • 19
  • 7
  • 8
  • 15
  • 10
  • 6
  • 9
  • 21
  • 15
  • 6
  • 6
  • 7
  • 15
  • 51
  • 6
  • 12
  • 8
  • 8
  • 7
  • 10
  • 22
  • 14
  • 12
  • 9
  • 25
  • 51
  • 10
  • 8
  • 13
  • 6
  • 20
  • 7
  • 17
  • 7
  • 6
  • 6
  • 7
  • 7
  • 6
  • 6
  • 7
  • 17
  • 17
  • 9
  • 6
  • 10
  • 15
  • 81
  • 8
  • 10
  • 9
  • 11
  • 6
  • 6
  • 10
  • 6
  • 8
  • 8
  • 7
  • 17
  • 7
  • 14
  • 6
  • 9
  • 13
  • 33
  • 7
  • 20
  • 6
  • 11
  • 6
  • 7
  • 7
  • 8
  • 19
  • 7
  • 19
  • 8
  • 8
  • 10
  • 6
  • 13
  • 7
  • 6
  • 10
  • 7
  • 15
  • 9
  • 6
  • 14
  • 6
  • 16
  • 7
  • 7
  • 6
  • 11
  • 10
  • 9
  • 9
  • 7
  • 17
  • 8
  • 11
  • 9
  • 6
  • 6
  • 37
  • 8
  • 8
  • 8
  • 7
  • 25
  • 7
  • 6
  • 24
  • 40
  • 7
  • 7
  • 14
  • 17
  • 9
  • 8
  • 11
  • 39
  • 6
  • 12
  • 6
  • 7
  • 6
  • 8
  • 7
  • 21
  • 8
  • 19
  • 10
  • 22
  • 36
  • 22
  • 15
  • 28
  • 8
  • 9
  • 9
  • 14
  • 7
  • 6
  • 40
  • 9
  • 18
  • 38
  • 54
  • 8
  • 8
  • 7
  • 21
  • 6
  • 6
  • 17
  • 12
  • 11
  • 9
  • 13
  • 9
  • 10
  • 8
  • 17
  • 6
  • 88
  • 21
  • 22
  • 15
  • 6
  • 7
  • 20
  • 7
  • 7
  • 7
  • 10
  • 19
  • 9
  • 10
  • 7
  • 13
  • 19
  • 6
  • 12
  • 8
  • 9
  • 6
  • 10
  • 13
  • 18
  • 15
  • 10
  • 24
  • 23
  • 9
  • 28
  • 11
  • 74
  • 14
  • 6
  • 21
  • 7
  • 6
  • 15
  • 25
  • 7
  • 8
  • 9
  • 14
  • 6
  • 7
  • 7
  • 8
  • 16
  • 10
  • 6
  • 6
  • 11
  • 31
  • 11
  • 6
  • 7
  • 16
  • 15
  • 6
  • 15
  • 20
  • 18
  • 6
  • 19
  • 14
  • 19
  • 6
  • 8
  • 8
  • 11
  • 8
  • 6
  • 16
  • 14
  • 12
  • 35
  • 10
  • 9
  • 8
  • 44
  • 32
  • 6
  • 6
  • 7
  • 14
  • 7
  • 7
  • 11
  • 8
  • 31
  • 11
  • 12
  • 9
  • 6
  • 9
  • 9
  • 8
  • 6
  • 6
  • 11
  • 10
  • 23
  • 9
  • 7
  • 6
  • 10
  • 8
  • 8
  • 10
  • 7
  • 8
  • 10
  • 7
  • 6
  • 10
  • 10
  • 50
  • 6
  • 11
  • 10
  • 11
  • 8
  • 6
  • 8
  • 10
  • 6
  • 12
  • 27
  • 7
  • 6
  • 11
  • 12
  • 9
  • 7
  • 10
  • 8
  • 12
  • 112
  • 7
  • 12
  • 7
  • 6
  • 11
  • 13
  • 6
  • 15
  • 13
  • 7
  • 7
  • 9
  • 63
  • 22
  • 17
  • 7
  • 8
  • 12
  • 6
  • 6
  • 10
  • 9
  • 9
  • 7
  • 10
  • 10
  • 6
  • 6
  • 9
  • 14
  • 9
  • 9
  • 9
  • 7
  • 7
  • 7
  • 6
  • 10
  • 9
  • 6
  • 13
  • 56
  • 9
  • 9
  • 8
  • 19
  • 9
  • 6
  • 6
  • 6
  • 23
  • 12
  • 6
  • 6
  • 8
  • 13
  • 6
  • 17
  • 22
  • 17
  • 19
  • 9
  • 6
  • 11
  • 37
  • 7
  • 17
  • 8
  • 8
  • 12
  • 14
  • 6
  • 6
  • 6
  • 25
  • 18
  • 12
  • 17
  • 8
  • 11
  • 7
  • 12
  • 7
  • 12
  • 21
  • 8
  • 14
  • 6
  • 10
  • 15
  • 10
  • 29
  • 6
  • 11
  • 11
  • 8
  • 7
  • 9
  • 16
  • 6
  • 13
  • 11
  • 6
  • 6
  • 11
  • 21
  • 12
  • 10
  • 8
  • 6
  • 8
  • 8
  • 16
  • 32
  • 16
  • 8
  • 10
  • 26
  • 6
  • 8
  • 10
  • 14
  • 7
  • 109
  • 9
  • 8
  • 6
  • 10
  • 8
  • 37
  • 7
  • 12
  • 8
  • 18
  • 10
  • 9
  • 7
  • 11
  • 12
  • 27
  • 113
  • 7
  • 6
  • 54
  • 13
  • 11
  • 13
  • 108
  • 24
  • 6
  • 19
  • 6
  • 13
  • 8
  • 16
  • 11
  • 16
  • 19
  • 11
  • 6
  • 8
  • 7
  • 8
  • 6
  • 6
  • 11
  • 108
  • 7
  • 6
  • 6
  • 8
  • 11
  • 23
  • 7
  • 12
  • 16
  • 7
  • 12
  • 19
  • 18
  • 15
  • 9
  • 6
  • 6
  • 7
  • 15
  • 13
  • 12
  • 29
  • 17
  • 9
  • 6
  • 8
  • 12
  • 11
  • 6
  • 8
  • 6
  • 18
  • 11
  • 7
  • 29
  • 9
  • 6
  • 12
  • 7
  • 9
  • 10
  • 6
  • 9
  • 17
  • 10
  • 14
  • 8
  • 6
  • 16
  • 11
  • 18
  • 54
  • 14
  • 7
  • 14
  • 6
  • 11
  • 22
  • 9
  • 6
  • 7
  • 15
  • 6
  • 17
  • 17
  • 7
  • 11
  • 7
  • 6
  • 8
  • 16
  • 8
  • 47
  • 11
  • 53
  • 12
  • 10
  • 15
  • 7
  • 17
  • 14
  • 6
  • 11
  • 7
  • 24
  • 6
  • 16
  • 9
  • 18
  • 22
  • 29
  • 9
  • 6
  • 20
  • 25
  • 16
  • 15
  • 28
  • 77
  • 12
  • 15
  • 28
  • 11
  • 11
  • 8
  • 7
  • 8
  • 22
  • 22
  • 18
  • 6
  • 6
  • 9
  • 64
  • 29
  • 16
  • 6
  • 11
  • 14
  • 13
  • 22
  • 14
  • 10
  • 17
  • 6
  • 6
  • 16
  • 21
  • 7
  • 15
  • 10
  • 6
  • 6
  • 18
  • 11
  • 10
  • 10
  • 14
  • 108
  • 6
  • 11
  • 9
  • 14
  • 11
  • 18
  • 6
  • 7
  • 6
  • 9
  • 6
  • 9
  • 19
  • 17
  • 13
  • 41
  • 11
  • 8
  • 17
  • 6
  • 12
  • 7
  • 15
  • 25
  • 8
  • 8
  • 12
  • 26
  • 12
  • 6
  • 6
  • 6
  • 10
  • 20
  • 20
  • 15
  • 6
  • 12
  • 14
  • 11
  • 11
  • 8
  • 7
  • 7
  • 24
  • 9
  • 17
  • 12
  • 7
  • 9
  • 9
  • 7
  • 12
  • 7
  • 10
  • 17
  • 13
  • 24
  • 8
  • 7
  • 13
  • 22
  • 11
  • 8
  • 35
  • 12
  • 7
  • 19
  • 23
  • 11
  • 8
  • 10
  • 11
  • 8
  • 24
  • 10
  • 8
  • 61
  • 11
  • 7
  • 32
  • 10
  • 9
  • 55
  • 18
  • 87
  • 8
  • 21
  • 8
  • 14
  • 7
  • 41
  • 28
  • 26
  • 22
  • 13
  • 9
  • 11
  • 10
  • 20
  • 7
  • 7
  • 26
Verlag
  • 2
  • 11597
  • 40
  • 1569
  • 2
  • 25
  • 3
  • 105
  • 1
  • 1
  • 41
Preis
  • 47
  • 467
  • 10608
  • 2264
Sprachen
  • 13378
  • 19
  • 15
  • 1
Verfügbarkeit
  • 13354
  • 32
Eigenschaften
  • 9
Katalog
  • 13386
  • 582
13.386  Treffer  für „Lecture Notes in Computer Science“


    Bezem / Groote Typed Lambda Calculi and Applications

    International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Günther Mobile Communications - Advanced Systems and Components

    1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57856-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gulliver / Secord Information Theory and Applications

    Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57936-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rombach / Basili / Selby Experimental Software Engineering Issues:

    Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57092-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Abiteboul / Shamir Automata, Languages, and Programming

    21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58201-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bouchitte / Morvan Orders, Algorithms and Applications

    International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58274-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tepfenhart / Dick / Sowa Conceptual Structures: Current Practices

    Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16 - 20, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58328-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kloks Treewidth

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

    Buchberger / Volkert Parallel Processing: CONPAR 94. VAPP VI

    Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6 - 8, 1994
    1994
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-58430-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leeuwen Algorithms - ESA '94

    Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58434-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Naftalin / Denvir / Bertran FME '94: Industrial Benefit of Formal Methods

    Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58555-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Adleman / Huang Algorithmic Number Theory

    First International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58691-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hutchison / Danthine / Leopold Multimedia Transport and Teleservices

    International COST 237 Workshop, Vienna, Austria, November 13 - 15, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58759-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nievergelt / Roos / Schek IGIS '94: Geographic Information Systems

    International Workshop on Advanced Research in Geographic Information Systems, Monte Verita, Ascona, Switzerland, February 28 - March 4, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58795-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Veltkamp Closed Object Boundaries from Scattered Points

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

    Lewerentz / Lindner Formal Development of Reactive Systems

    Case Study Production Cell
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58867-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pingali / Banerjee / Gelernter Languages and Compilers for Parallel Computing

    7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58868-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fisher / Owens Executable Modal and Temporal Logics

    IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58976-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bartosek / Staudek / Wiedermann SOFSEM '95: Theory and Practice of Informatics

    22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60609-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems

    First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60630-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kuper / Wallace Constraint Databases and Applications

    ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60794-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wooldridge / Müller / Tambe Intelligent Agents II: Agent Theories, Architectures, and Languages

    IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60805-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Plattner Broadband Communications: Networks, Services, Applications, Future Directions

    1996 International Zurich Seminar on Digital Communications IZS'96, Zurich, Switzerland, February 21-23, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60895-0
    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