Fachgebiet
Medium
  • 3402
Erscheinungsjahr
  • 88
  • 127
  • 46
  • 26
  • 40
  • 47
  • 61
  • 52
  • 68
  • 80
  • 70
  • 84
  • 58
  • 14
  • 47
  • 119
  • 126
  • 154
  • 105
  • 134
  • 201
  • 206
  • 175
  • 173
  • 121
  • 116
  • 93
  • 102
  • 93
  • 82
  • 72
  • 66
  • 52
  • 67
  • 37
  • 39
  • 29
  • 31
  • 20
  • 15
  • 11
  • 9
  • 11
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 11
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 10
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 3
  • 7
  • 4
  • 2
  • 2
  • 3
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 3
  • 2
  • 3
  • 6
  • 2
  • 13
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 29
  • 21
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 9
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 12
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 6
  • 2
  • 2
  • 25
  • 3
  • 2
  • 3
  • 2
  • 6
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 3
  • 2
  • 14
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 12
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 6
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 4
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 7
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 7
  • 3
  • 3
  • 11
  • 13
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 14
  • 3
  • 5
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 20
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 6
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 12
  • 3
  • 8
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 7
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 8
  • 4
  • 6
  • 9
  • 5
  • 3
  • 6
  • 6
  • 34
  • 3
  • 10
  • 3
  • 3
  • 3
  • 3
  • 11
  • 9
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 22
  • 3
  • 12
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 16
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 22
  • 4
  • 11
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 6
  • 3
  • 16
  • 4
  • 10
  • 3
  • 9
  • 4
  • 5
  • 3
  • 8
  • 3
  • 4
  • 4
  • 4
Verlag
  • 415
  • 2314
  • 456
  • 1
  • 17
  • 182
  • 17
Preis
  • 12
  • 114
  • 2691
  • 585
Sprachen
  • 3402
  • 5
Verfügbarkeit
  • 3390
  • 12
Katalog
  • 3402
  • 220
3.402  Treffer  für „Lecture Notes in Computer Science“


    Margenstern / Durand-Lose Machines, Computations, and Universality

    5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74592-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rao Extensions of the UNITY Methodology

    Compositionality, Fairness and Probability in Parallelism
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59173-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Owe / Lyche / Krogdahl From Object-Orientation to Formal Methods

    Essays in Memory of Ole-Johan Dahl
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21366-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Todorovski / Dzeroski Computational Discovery of Scientific Knowledge

    Introduction, Techniques, and Applications in Environmental and Life Sciences
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73919-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tobias Language Design and Programming Methodology

    Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979
    1980
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-09745-7
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Levy Patey / Manea / Pimentel Twenty Years of Theoretical and Practical Synergies

    20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8¿12, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-64308-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Groote / Baeten CONCUR '91

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

    Budach Fundamentals of Computation Theory

    8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54458-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sadri / Kakas Computational Logic: Logic Programming and Beyond

    Essays in Honour of Robert A. Kowalski, Part I
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43959-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Keller / Weiß / Kramer Facing the Multicore-Challenge III

    Aspects of New Paradigms and Technologies in Parallel Computing
    2013
    Verlag: Springer
    ISBN: 978-3-642-35892-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Maibaum / Abramsky TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

    Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53982-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework

    How to Specify, Program, and Verify Systems in Rewriting Logic
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71940-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Thatcher / Floyd Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15198-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ahlbrecht / Krausburg / Dix The Multi-Agent Programming Contest 2022

    Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-38711-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Erwig / Van Wyk / Paige Software Language Engineering

    6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-02653-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Protasi / Ausiello CAAP '83

    Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings
    1983
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-12727-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Herik / Donkers / Ciancarini Computers and Games

    5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75537-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stephan / Hutter Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leivant Logic and Computational Complexity

    International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60178-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Böhm / Astesiano CAAP '81

    Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10828-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Della Vedova / Manea / Dundua Unity of Logic and Computation

    19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24¿28, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-36977-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brodnik / Viola / Lopez-Ortiz Space-Efficient Data Structures, Streams, and Algorithms

    Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday
    2013
    Verlag: Springer
    ISBN: 978-3-642-40272-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jones / Woodcock / Liu Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Franchi-Zannettacci CAAP'86

    11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16443-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beckmann / Löwe / Dimitracopoulos Logic and Theory of Algorithms

    4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69405-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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