Ergebnisse filtern
Fachgebiet
Medium
  • 150
Erscheinungsjahr
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 3
  • 13
  • 9
  • 2
  • 5
  • 2
  • 1
  • 8
  • 11
  • 6
  • 4
  • 10
  • 8
  • 5
  • 13
  • 9
  • 7
  • 5
  • 2
  • 3
  • 4
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 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
  • 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
  • 2
  • 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
  • 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
  • 1
  • 2
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
Verlag
  • 150
Preis
  • 2
  • 2
  • 128
  • 18
Sprachen
  • 149
  • 1
Verfügbarkeit
  • 150
Katalog
  • 150
  • 12
150  Treffer  für „Lecture Notes in Computer Science“
    Parashar | Grid Computing - GRID 2002 | Buch | Sack Fachmedien

    Parashar Grid Computing - GRID 2002

    Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00133-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Ambra / Guarracino / Talia | Euro-Par 2010 - Parallel Processing | Buch | Sack Fachmedien

    D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing

    16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15276-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krüger / Friehmelt | Fachtagung Prozessrechner 1974 | Buch | Sack Fachmedien

    Krüger / Friehmelt Fachtagung Prozessrechner 1974

    GFK-GI-GMR. Karlsruhe, 10.-11. Juni 1974
    1. Auflage 1974
    Verlag: Springer
    ISBN: 978-3-540-06786-3
    Medium: Buch
    24,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer auf der Heide | Algorithms - ESA 2001 | Buch | Sack Fachmedien

    Meyer auf der Heide Algorithms - ESA 2001

    9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42493-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ursino | Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources | Buch | Sack Fachmedien

    Ursino Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources

    Semi-Automatic Approaches and Tools
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43347-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gotzhein / Reed | System Analysis and Modeling: Language Profiles | Buch | Sack Fachmedien

    Gotzhein / Reed System Analysis and Modeling: Language Profiles

    5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68371-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Fiems / Horváth | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Horváth Analytical and Stochastic Modeling Techniques and Applications

    16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02204-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kari / Kutrib / Malcher | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Kari / Kutrib / Malcher Cellular Automata and Discrete Complex Systems

    19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40866-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Melham | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Margaria / Melham Correct Hardware Design and Verification Methods

    11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42541-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iivari / Lyytinen / Rossi | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Iivari / Lyytinen / Rossi Advanced Information Systems Engineering

    7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59498-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Huynh / Das | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Li / Huynh / Das Wireless Algorithms, Systems, and Applications

    Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88581-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Teixeira / Moon / Uhlig | Passive and Active Network Measurement | Buch | Sack Fachmedien

    Teixeira / Moon / Uhlig Passive and Active Network Measurement

    10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00974-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Cleaveland / Larsen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems

    First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60630-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogler | Modular Construction and Partial Order Semantics of Petri Nets | Buch | Sack Fachmedien

    Vogler Modular Construction and Partial Order Semantics of Petri Nets

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55767-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2003: System Design | Buch | Sack Fachmedien

    Reed SDL 2003: System Design

    11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40539-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilroy / Harrison | Interactive Systems. Design Specification, and Verification | Buch | Sack Fachmedien

    Gilroy / Harrison Interactive Systems. Design Specification, and Verification

    12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34145-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goodloe / Person | NASA Formal Methods | Buch | Sack Fachmedien

    Goodloe / Person NASA Formal Methods

    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delgado Kloos | Semantics of Digital Circuits | Buch | Sack Fachmedien

    Delgado Kloos Semantics of Digital Circuits

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18540-6
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hooman | Specification and Compositional Verification of Real-Time Systems | Buch | Sack Fachmedien

    Hooman Specification and Compositional Verification of Real-Time Systems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54947-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Thoma | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Wagner / Thoma Database and Expert Systems Applications

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61656-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sanchez / Tomassini | Towards Evolvable Hardware | Buch | Sack Fachmedien

    Sanchez / Tomassini Towards Evolvable Hardware

    The Evolutionary Engineering Approach
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61093-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Issarny / Cooper | Middleware 2009 | Buch | Sack Fachmedien

    Issarny / Cooper Middleware 2009

    ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-10444-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuipers / Heegaard | Self-Organizing Systems | Buch | Sack Fachmedien

    Kuipers / Heegaard Self-Organizing Systems

    6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28582-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Gacek / Romanovsky | Architecting Dependable Systems | Buch | Sack Fachmedien

    Lemos / Gacek / Romanovsky Architecting Dependable Systems

    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40727-0
    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