Fachgebiet
Medium
  • 2163
Erscheinungsjahr
  • 4
  • 121
  • 150
  • 136
  • 109
  • 40
  • 22
  • 24
  • 35
  • 30
  • 28
  • 47
  • 42
  • 37
  • 49
  • 37
  • 29
  • 70
  • 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
  • 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
  • 5
  • 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
  • 7
  • 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
  • 4
  • 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
  • 3
  • 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
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 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
  • 3
  • 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
  • 8
  • 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
  • 8
  • 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
  • 3
  • 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
  • 8
  • 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
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 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
  • 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
  • 2
  • 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
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 14
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 11
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 5
  • 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
  • 2
  • 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
  • 7
  • 3
  • 2
  • 2
  • 5
  • 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
  • 2142
  • 1
  • 11
  • 1
  • 6
Preis
  • 4
  • 102
  • 1727
  • 330
Sprachen
  • 2163
Verfügbarkeit
  • 2111
  • 52
Katalog
  • 2163
  • 135
2.163  Treffer  für „Lecture Notes in Computer Science“


    Barros / Labiche Search-Based Software Engineering

    7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22182-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Degano / de Nicola / Meseguer Concurrency, Graphs and Models

    Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68676-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cointe ECOOP '96 - Object-Oriented Programming

    10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61439-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fages / Soliman Principles and Practice of Semantic Web Reasoning

    Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28793-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beckert / Hähnle Tests and Proofs

    Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79123-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lengauer / Batory / Consel Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22119-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce

    FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Badger / Rozier NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06199-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Obermaisser / Nah / Puschner Software Technologies for Embedded and Ubiquitous Systems

    5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75663-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Unger / Boehme / Mikler Innovative Internet Computing Systems

    Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43790-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lungarella / Iida / Bongard 50 Years of Artificial Intelligence

    Essays Dedicated to the 50th Anniversary of Artificial Intelligence
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77295-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Prehn / Toetenel VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

    Volume 1: Conference Contributions
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54834-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Karmouch / Magedanz / Delgado Mobile Agents for Telecommunication Applications

    4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00021-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003

    8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dwyer Model Checking Software

    8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42124-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dal Cin / Kaâniche / Pataricza Dependable Computing - EDCC 2005

    5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25723-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lemos / Silva Weber / Camargo Jr. Dependable Computing

    First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ventre / Canonico Interactive Multimedia on Next Generation Networks

    First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20534-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bertran / Rus Transformation-Based Reactive Systems Development

    4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63010-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Haridi / Ali / Magnusson EURO-PAR '95: Parallel Processing

    First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60247-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Strohmeier Reliable Software Technologies - Ada Europe 96

    1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Broy / Merz / Spies Formal Systems Specification

    The RPC-Memory Specification Case Study
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61984-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cortesi / File Static Analysis

    6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66459-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Asplund Reliable Software Technologies - Ada-Europe '98

    1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64536-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dini / Lorenz / Neuman De Souza Service Assurance with Partial and Intermittent Resources

    First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22567-6
    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