Fachgebiet
Medium
  • 2206
Erscheinungsjahr
  • 26
  • 123
  • 149
  • 138
  • 107
  • 40
  • 21
  • 22
  • 29
  • 38
  • 24
  • 31
  • 47
  • 41
  • 48
  • 41
  • 28
  • 74
  • 58
  • 73
  • 82
  • 72
  • 73
  • 116
  • 105
  • 95
  • 77
  • 56
  • 51
  • 38
  • 29
  • 34
  • 33
  • 27
  • 32
  • 19
  • 33
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 11
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 10
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 8
  • 6
  • 2
  • 2
  • 3
  • 4
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 5
  • 4
  • 2
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 12
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 17
  • 25
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 23
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 7
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 7
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 8
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 9
  • 2
  • 12
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 6
  • 2
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 10
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 8
  • 2
  • 3
  • 2
  • 10
  • 25
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 7
  • 6
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 6
  • 4
  • 18
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 4
  • 22
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 2
  • 3
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 10
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 11
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 13
  • 16
  • 3
  • 9
  • 3
  • 3
  • 6
  • 6
  • 3
  • 36
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 3
  • 4
  • 5
  • 6
  • 11
  • 21
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 11
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 11
  • 8
  • 6
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 7
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 4
  • 4
  • 16
  • 10
  • 3
  • 3
  • 4
  • 4
Verlag
  • 1
  • 2190
  • 1
  • 7
  • 2
  • 5
Preis
  • 4
  • 106
  • 1756
  • 340
Sprachen
  • 2206
Verfügbarkeit
  • 2162
  • 44
Katalog
  • 2206
  • 133
2.206  Treffer  für „Lecture Notes in Computer Science“


    Xiao / Yang / Muller-Schloer Autonomic and Trusted Computing

    4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73546-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bertrand / Dubslaff / Klüppelholz Principles of Formal Quantitative Analysis

    Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97438-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pacholski / Ruzicka SOFSEM 2001: Theory and Practice of Informatics

    28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42912-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

    Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50939-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aït-Ameur / Craciun Theoretical Aspects of Software Engineering

    16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-10362-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies V

    5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77563-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gonthier / Norrish Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03544-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Corradini / Ehrig / Montanari Graph Transformations

    Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38870-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Engels / Parisi-Presicce Graph Transformations

    Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23207-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kuznetsov / Schmidt Formal Concept Analysis

    5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70828-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hertzberger / Hoekstra / Williams High-Performance Computing and Networking

    9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42293-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66588-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Heisel Software Service and Application Engineering

    Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30834-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Müller / Wooldridge / Jennings Intelligent Agents III. Agent Theories, Architectures, and Languages

    ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62507-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    ter Beek / Gnesi / Haxthausen Journeys Between Formal Methods and the Railway Industry

    Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-12483-8
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Reps / Sagiv / Bauer Program Analysis and Compilation, Theory and Practice

    Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71315-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Maneth Implementation and Application of Automata

    14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02978-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ciancarini / Wolf Coordination Languages and Models

    Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65836-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Henzinger / Kirsch Embedded Software

    First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aiswarya / Sen / Srivastava Logic and Its Applications

    11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-89609-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sloot / Bubak / Hoekstra High-Performance Computing and Networking

    7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12-14, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65821-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hartisch / Hsueh / Schaeffer Computers and Games

    12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-86584-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Abdallah / Ryan / Schneider Formal Aspects of Security

    First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20693-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Diaz / Karhumäki / Lepistö Automata, Languages and Programming

    Proceedings of the 31st International Colloquium, ICALP 2004
    2004. 2004
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-22849-3
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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