Ergebnisse filtern
Fachgebiet
Medium
  • 170
Erscheinungsjahr
  • 3
  • 1
  • 2
  • 2
  • 1
  • 5
  • 6
  • 24
  • 12
  • 2
  • 5
  • 3
  • 1
  • 9
  • 11
  • 6
  • 4
  • 10
  • 8
  • 5
  • 13
  • 9
  • 8
  • 5
  • 2
  • 3
  • 4
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 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
  • 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
  • 2
  • 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
  • 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
  • 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
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 49
  • 114
  • 5
  • 2
Preis
  • 2
  • 2
  • 145
  • 21
Sprachen
  • 169
  • 1
Verfügbarkeit
  • 170
Katalog
  • 170
  • 14
170  Treffer  für „Lecture Notes in Computer Science“
    Thanos / Pernici | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Thanos / Pernici Advanced Information Systems Engineering

    10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64556-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laender / Storey / Liddle | Conceptual Modeling - ER 2000 | Buch | Sack Fachmedien

    Laender / Storey / Liddle Conceptual Modeling - ER 2000

    19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41072-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Streitz / Konomi / Siegel | Cooperative Buildings. Integrating Information, Organizations, and Architecture | Buch | Sack Fachmedien

    Streitz / Konomi / Siegel Cooperative Buildings. Integrating Information, Organizations, and Architecture

    Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66596-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ling / Vieille / Mendelzon | Deductive and Object-Oriented Databases | Buch | Sack Fachmedien

    Ling / Vieille / Mendelzon Deductive and Object-Oriented Databases

    Fourth International Conference, DOOD' 95, Singapore, December 4-7, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60608-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baresi / Suzuki / Chi | Service-Oriented Computing | Buch | Sack Fachmedien

    Baresi / Suzuki / Chi Service-Oriented Computing

    7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10382-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thalheim | Conceptual Modeling - ER '96 | Buch | Sack Fachmedien

    Thalheim Conceptual Modeling - ER '96

    15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7 - 10, 1996. Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61784-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herring / Egenhofer | Advances in Spatial Databases | Buch | Sack Fachmedien

    Herring / Egenhofer Advances in Spatial Databases

    4th International Symposium SSD '95, Portland, ME, USA, August 6 - 9, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60159-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamachari / Mitra / Suri | Distributed Computing in Sensor Systems | Buch | Sack Fachmedien

    Krishnamachari / Mitra / Suri Distributed Computing in Sensor Systems

    5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02084-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher | Formal Methods in Systems Biology | Buch | Sack Fachmedien

    Fisher Formal Methods in Systems Biology

    First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68410-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellare | Advances in Cryptology - CRYPTO 2000 | Buch | Sack Fachmedien

    Bellare Advances in Cryptology - CRYPTO 2000

    20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67907-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1993 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1993

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56689-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montanari / Corradini | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Montanari / Corradini Recent Trends in Algebraic Development Techniques

    19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-03428-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Chapman / de Supinski | Evolving OpenMP in an Age of Extreme Parallelism | Buch | Sack Fachmedien

    Müller / Chapman / de Supinski Evolving OpenMP in an Age of Extreme Parallelism

    5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02284-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langmaack / Vytopil / Roever | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Langmaack / Vytopil / Roever Formal Techniques in Real-Time and Fault-Tolerant Systems

    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58468-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parrow / Jonsson | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Parrow / Jonsson Formal Techniques in Real-Time and Fault-Tolerant Systems

    4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61648-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Riccobene / Gargantini | Abstract State Machines 2003: Advances in Theory and Practice | Buch | Sack Fachmedien

    Börger / Riccobene / Gargantini Abstract State Machines 2003: Advances in Theory and Practice

    10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00624-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thalheim / Zimmermann | Abstract State Machines 2004. Advances in Theory and Practice | Buch | Sack Fachmedien

    Thalheim / Zimmermann Abstract State Machines 2004. Advances in Theory and Practice

    11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22094-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rischel / Ravn | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Rischel / Ravn Formal Techniques in Real-Time and Fault-Tolerant Systems

    5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65003-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Waldén / Bowen | ZB 2003: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Waldén / Bowen ZB 2003: Formal Specification and Development in Z and B

    Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40253-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Cimatti | Formal Methods for Hardware Verification | Buch | Sack Fachmedien

    Bernardo / Cimatti Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34304-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plasil / Grosky | SOFSEM 2002: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Plasil / Grosky SOFSEM 2002: Theory and Practice of Informatics

    29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00145-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voss / Eigenmann | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Voss / Eigenmann OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ottmann | Automata, Languages and Programming | Buch | Sack Fachmedien

    Ottmann Automata, Languages and Programming

    14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18088-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wing / Woodcook / Davies | FM'99 - Formal Methods | Buch | Sack Fachmedien

    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66588-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular