Fachgebiet
Medium
  • 2158
Erscheinungsjahr
  • 4
  • 118
  • 150
  • 136
  • 108
  • 40
  • 23
  • 24
  • 33
  • 30
  • 28
  • 48
  • 40
  • 37
  • 49
  • 37
  • 29
  • 71
  • 65
  • 59
  • 76
  • 66
  • 59
  • 118
  • 106
  • 94
  • 78
  • 60
  • 50
  • 39
  • 29
  • 36
  • 34
  • 27
  • 31
  • 19
  • 31
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 2
  • 2
  • 6
  • 4
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 4
  • 2
  • 4
  • 2
  • 5
  • 3
  • 4
  • 5
  • 2
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 12
  • 5
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 25
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 3
  • 2
  • 4
  • 4
  • 2
  • 10
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 23
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 3
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 6
  • 8
  • 5
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 9
  • 2
  • 12
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 7
  • 7
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 2
  • 5
  • 2
  • 12
  • 27
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 12
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 3
  • 6
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 17
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 8
  • 22
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 14
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 11
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 13
  • 17
  • 2
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 39
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 4
  • 3
  • 4
  • 6
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 5
  • 3
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 19
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 12
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 4
  • 11
  • 6
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 5
  • 5
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 3
  • 4
  • 19
  • 3
  • 4
  • 10
  • 4
  • 3
  • 3
  • 3
  • 5
Verlag
  • 2
  • 2138
  • 1
  • 10
  • 1
  • 6
Preis
  • 4
  • 102
  • 1722
  • 330
Sprachen
  • 2158
Verfügbarkeit
  • 2109
  • 49
Katalog
  • 2158
  • 135
2.158  Treffer  für „Lecture Notes in Computer Science“


    Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3

    Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66483-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Desai / Cirne Job Scheduling Strategies for Parallel Processing

    19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61755-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bruel Satellite Events at the MoDELS 2005 Conference

    MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31780-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ghilardi / Sebastiani Frontiers of Combining Systems

    7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04221-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cialdea Mayer / Pirri Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40787-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Manandhar / Austin / Desai Applied Computing

    Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23659-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rayadurgam / Tkachuk NASA Formal Methods

    8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40647-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baader / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25236-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    De Nicola / Kühn Software Engineering and Formal Methods

    14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41590-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Long Software Engineering Environments

    International Workshop on Environments, Chinon, France, September 18-20, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53452-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yahav Static Analysis

    18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23701-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Müller Modular Specification and Verification of Object-Oriented Programs

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

    Meyer / Woodcock Verified Software: Theories, Tools, Experiments

    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69147-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph

    12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26783-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Czarnecki / Hedin Software Language Engineering

    5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36088-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wermelinger / Margaria-Steffen Fundamental Approaches to Software Engineering

    7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21305-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Abrial / Börger / Langmaack Formal Methods for Industrial Applications

    Specifying and Programming the Steam Boiler Control
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61929-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Paul / Robinet International Symposium on Programming

    6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-12925-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Briot / Geib / Yonezawa Object-Based Parallel and Distributed Computation

    France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Berger / Klös Software Engineering and Advanced Applications

    52nd Euromicro Conference, SEAA 2026, Kraków, Poland, September 2–4, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-36589-7
    Medium: Buch
    104,85 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Perrouin / Berger / Papadopoulos Software and Systems Reuse, Product Lines, and Configuration

    First International Conference, VARIABILITY 2026, Limassol, Cyprus, September 29–October 2, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-40762-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Bernasconi / Indulska / Ram Conceptual Modeling

    45th International Conference, ER 2026, St. John's, NL, Canada, October 5–8, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-40794-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Steinholtz / Soelvberg / Bergman Advanced Information Systems Engineering

    Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52625-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Klusácek / Cirne / Desai Job Scheduling Strategies for Parallel Processing

    21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-77397-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Guerraoui Middleware 2001

    IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42800-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