Fachgebiet
Medium
  • 2284
  • 5
Erscheinungsjahr
  • 1
  • 3
  • 3
  • 8
  • 1
  • 3
  • 2
  • 5
  • 11
  • 24
  • 8
  • 14
  • 13
  • 174
  • 61
  • 118
  • 208
  • 169
  • 204
  • 178
  • 175
  • 144
  • 119
  • 103
  • 80
  • 73
  • 48
  • 67
  • 49
  • 41
  • 43
  • 21
  • 40
  • 25
  • 18
  • 9
  • 9
  • 4
  • 2
  • 3
  • 3
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 15
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 18
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 10
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 5
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 6
  • 3
  • 5
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 9
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
Verlag
  • 2
  • 97
  • 2
  • 1
  • 2
  • 8
  • 4
  • 1
  • 3
  • 6
  • 3
  • 1
  • 5
  • 4
  • 1
  • 4
  • 3
  • 10
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 486
  • 1244
  • 7
  • 1
  • 71
  • 63
  • 146
  • 7
  • 21
  • 1
  • 1
  • 2
  • 18
  • 1
  • 33
  • 1
  • 4
  • 1
  • 1
  • 2
Preis
  • 17
  • 150
  • 1365
  • 757
Sprachen
  • 2149
  • 140
  • 1
Verfügbarkeit
  • 2276
  • 13
Katalog
  • 2289
  • 273
2.289  Titel


    Najm / Stevens / Nestmann Formal Methods for Open Object-Based Distributed Systems

    6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20491-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Davies / Barnett / Schulte Formal Methods and Software Engineering

    6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23841-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang Formal Techniques for Networked and Distributed Systems - FORTE 2005

    25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-29189-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hubner / Dignum / Matson Coordination, Organizations, Institutions and Norms in Agent Systems IV

    COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-00442-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schiper / Zhao / Shvartsman Future Directions in Distributed Computing

    Research and Position Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00912-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Alexandrov / Dongarra / van Albada Computational Science - ICCS 2006

    6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34383-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barthe / Gregoire / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-33689-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sherratt Telecommunications and beyond: The Broader Applicability of SDL and MSC

    Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00877-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Di Marzo Serugendo / Zambonelli / Karageorgos Engineering Self-Organising Systems

    Nature-Inspired Approaches to Software Engineering
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21201-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zuse The Computer - My Life

    1993. 1993
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-56453-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Vain / Derrick Formal Techniques for Networked and Distributed Systems - FORTE 2007

    27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73195-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kühne Models in Software Engineering

    Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
    2007
    Verlag: Springer
    ISBN: 978-3-540-69488-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yakovlev / Kleijn Petri Nets and Other Models of Concurrency - ICATPN 2007

    28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73093-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ryan / Ehrich / Meyer Objects, Agents, and Features

    International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21989-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Caires / Italiano / Yung Automata, Languages and Programming

    32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27580-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zambonelli / Mamei Field-Based Coordination for Pervasive Multiagent Systems

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06623-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gurevich / Meyer Tests and Proofs

    First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73769-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hohl / Rothermel Mobile Agents

    Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64959-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Manolopoulos / Kakas / Evripidou Advances in Informatics

    8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-07544-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leite / Yolum / Omicini Declarative Agent Languages and Technologies II

    Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26172-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Terzis / Meier Distributed Applications and Interoperable Systems

    8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68639-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grigoras / Folliot / Nicolau Advanced Environments, Tools, and Applications for Cluster Computing

    NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43672-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Taentzer / Rosenblum Fundamental Approaches to Software Engineering

    13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-12028-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wise / Hopkin / Stager Verification and Validation of Complex Systems: Human Factors Issues

    Prodeecings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portugal, July 6-17, 1992
    1993
    Verlag: Springer
    ISBN: 978-3-540-56574-1
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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