Ergebnisse filtern
Fachgebiet
Medium
  • 131
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 15
  • 5
  • 1
  • 2
  • 1
  • 9
  • 11
  • 6
  • 4
  • 8
  • 8
  • 5
  • 12
  • 9
  • 8
  • 5
  • 2
  • 3
  • 4
  • 1
  • 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
  • 1
  • 1
  • 1
  • 2
  • 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
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 20
  • 107
  • 4
Preis
  • 2
  • 2
  • 112
  • 15
Sprachen
  • 130
  • 1
Verfügbarkeit
  • 131
Katalog
  • 131
  • 9
131  Treffer  für „Lecture Notes in Computer Science“
    Slezak / Lee | Future Generation Information Technology | Buch | Sack Fachmedien

    Slezak / Lee Future Generation Information Technology

    First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10508-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montanari / Habermann | System Development and Ada | Buch | Sack Fachmedien

    Montanari / Habermann System Development and Ada

    CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18341-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davidsson / Takadama / Logan | Multi-Agent and Multi-Agent-Based Simulation | Buch | Sack Fachmedien

    Davidsson / Takadama / Logan Multi-Agent and Multi-Agent-Based Simulation

    Joint Workshop MABS 2004
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25262-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nunzi / Li / Scoglio | IP Operations and Management | Buch | Sack Fachmedien

    Nunzi / Li / Scoglio IP Operations and Management

    9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04967-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sichman / David | Multi-Agent-Based Simulation IX | Buch | Sack Fachmedien

    Sichman / David Multi-Agent-Based Simulation IX

    International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-01990-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauthe / Curado / Zeadally | Future Multimedia Networking | Buch | Sack Fachmedien

    Mauthe / Curado / Zeadally Future Multimedia Networking

    Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02471-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kari / Malcher / Kutrib | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Kari / Malcher / Kutrib Cellular Automata and Discrete Complex Systems

    19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40866-3
    Medium: Buch
    49,22 € (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
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Sastry / Kohn | Hybrid Systems IV | Buch | Sack Fachmedien

    Antsaklis / Sastry / Kohn Hybrid Systems IV

    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63358-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Girard | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Girard Typed Lambda Calculi and Applications

    4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65763-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker | Memory Management | Buch | Sack Fachmedien

    Baker Memory Management

    International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60368-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Echtle / Powell / Hammer | Dependable Computing - EDCC-1 | Buch | Sack Fachmedien

    Echtle / Powell / Hammer Dependable Computing - EDCC-1

    First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58426-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Barendregt | Types for Proofs and Programs | Buch | Sack Fachmedien

    Nipkow / Barendregt Types for Proofs and Programs

    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58085-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dörr | Efficient Graph Rewriting and Its Implementation | Buch | Sack Fachmedien

    Dörr Efficient Graph Rewriting and Its Implementation

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60055-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maler / Piazza / Halász | Hybrid Systems Biology | Buch | Sack Fachmedien

    Maler / Piazza / Halász Hybrid Systems Biology

    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27655-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friehmelt / Krüger | Fachtagung Prozessrechner 1974 | Buch | Sack Fachmedien

    Friehmelt / Krüger Fachtagung Prozessrechner 1974

    GFK-GI-GMR. Karlsruhe, 10.-11. Juni 1974
    1974
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-06786-3
    Medium: Buch
    24,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parashar | Grid Computing - GRID 2002 | Buch | Sack Fachmedien

    Parashar Grid Computing - GRID 2002

    Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00133-1
    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
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43347-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Bruni | Web Services and Formal Methods | Buch | Sack Fachmedien

    Wolf / Bruni Web Services and Formal Methods

    5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01363-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen Tools and Algorithms for the Construction and Analysis of Systems

    4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64356-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | Tools and Algorithms for the Construction of Analysis of Systems | Buch | Sack Fachmedien

    Cleaveland Tools and Algorithms for the Construction of Analysis of Systems

    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65703-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pierre / Milne | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Pierre / Milne Correct Hardware Design and Verification Methods

    IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56778-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lindsay / Eriksson | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

    Lindsay / Eriksson FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Näher | Algorithm Engineering | Buch | Sack Fachmedien

    Wagner / Näher Algorithm Engineering

    4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42512-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