Ergebnisse filtern
Fachgebiet
Medium
  • 553
Erscheinungsjahr
  • 1
  • 6
  • 17
  • 25
  • 23
  • 23
  • 53
  • 41
  • 33
  • 43
  • 32
  • 35
  • 18
  • 20
  • 28
  • 22
  • 24
  • 19
  • 14
  • 26
  • 11
  • 18
  • 6
  • 5
  • 3
  • 2
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 6
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 551
  • 1
  • 1
Preis
  • 1
  • 479
  • 73
Sprachen
  • 553
Verfügbarkeit
  • 553
Katalog
  • 553
  • 24
553  Treffer  für „Lecture Notes in Computer Science“
    Emmerich / Tai | Engineering Distributed Objects | Buch | Sack Fachmedien

    Emmerich / Tai Engineering Distributed Objects

    Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41792-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokoro / Nierstrasz / Wegner | Object-Based Concurrent Computing | Buch | Sack Fachmedien

    Tokoro / Nierstrasz / Wegner Object-Based Concurrent Computing

    ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55613-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dahl / Niemelä | Logic Programming | Buch | Sack Fachmedien

    Dahl / Niemelä Logic Programming

    23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74608-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronchi Della Rocca | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Ronchi Della Rocca Typed Lambda Calculi and Applications

    8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73227-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio / Lugiez | CONCUR 2003 - Concurrency Theory | Buch | Sack Fachmedien

    Amadio / Lugiez CONCUR 2003 - Concurrency Theory

    14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40753-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yonezawa / Matsuoka | Metalevel Architectures and Separation of Crosscutting Concerns | Buch | Sack Fachmedien

    Yonezawa / Matsuoka Metalevel Architectures and Separation of Crosscutting Concerns

    Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42618-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Segala | Process Algebra and Probabilistic Methods: Performance Modeling and Verification | Buch | Sack Fachmedien

    Hermanns / Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification

    Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43913-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levi | Static Analysis | Buch | Sack Fachmedien

    Levi Static Analysis

    5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65014-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller | Modular Specification and Verification of Object-Oriented Programs | Buch | Sack Fachmedien

    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
    Guerraoui | Middleware 2001 | Buch | Sack Fachmedien

    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
    Taha | Semantics, Applications, and Implementation of Program Generation | Buch | Sack Fachmedien

    Taha Semantics, Applications, and Implementation of Program Generation

    Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42558-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cebulla | Object-Oriented Technology. ECOOP 2007 Workshop Reader | Buch | Sack Fachmedien

    Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader

    ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78194-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Semantics: Foundations and Applications | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Semantics: Foundations and Applications

    REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56596-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Foundations of Object-Oriented Languages | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Foundations of Object-Oriented Languages

    REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53931-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus / Heering / Meinke | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Hanus / Heering / Meinke Algebraic and Logic Programming

    6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63459-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stenström / Dubois / Katevenis | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    Stenström / Dubois / Katevenis High Performance Embedded Architectures and Compilers

    Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77559-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz / Lindenstrauss | Conditional and Typed Rewriting Systems | Buch | Sack Fachmedien

    Dershowitz / Lindenstrauss Conditional and Typed Rewriting Systems

    4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Penix / Visser | SPIN Model Checking and Software Verification | Buch | Sack Fachmedien

    Havelund / Penix / Visser SPIN Model Checking and Software Verification

    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41030-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jayaraman | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Jayaraman Practical Aspects of Declarative Languages

    6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Ramakrishnan Practical Aspects of Declarative Languages

    Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41768-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ball / Rajamani | Model Checking Software | Buch | Sack Fachmedien

    Ball / Rajamani Model Checking Software

    10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Middeldorp Rewriting Techniques and Applications

    12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42117-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dechter | Principles and Practice of Constraint Programming - CP 2000 | Buch | Sack Fachmedien

    Dechter Principles and Practice of Constraint Programming - CP 2000

    6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41053-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdennahder / Kordon | Reliable Software Technologies - Ada-Europe 2007 | Buch | Sack Fachmedien

    Abdennahder / Kordon Reliable Software Technologies - Ada-Europe 2007

    12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73229-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Automated Deduction - CADE-19 | Buch | Sack Fachmedien

    Baader Automated Deduction - CADE-19

    19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40559-7
    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