Zum Inhalt springen

  8. Najm, Elie [HerausgeberIn] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, FORTE 26 2006 Paris

    Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4229

  9. Derrick, John [HerausgeberIn]; Vain, Jüri [Sonstige Person, Familie und Körperschaft] ; FORTE 27 2007 Tallinn

    Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27 - 29, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4574

  10. Frutos-Escrig, David de [HerausgeberIn]; Nunez, Manuel [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, IFIP Working Group 6.1, FORTE 24 2004 Madrid

    Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27 - 30, 2004 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3235

  13. Gschwind, Thomas [HerausgeberIn]; Mascolo, Cecilia [HerausgeberIn] ; Software Engineering and Middleware Workshop 4 2004 Linz

    Software engineering and middleware : 4th international workshop, SEM 2004, Linz, Austria, September 20 - 21, 2004 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3437

  15. Lee, David [HerausgeberIn]; Lopes, Antonia [Sonstige Person, Familie und Körperschaft]; Poetzsch-Heffter, Arnd [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, International Conference FMOODS 11 2009 Lissabon

    Formal techniques for distributed systems : joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5522

  16. Peled, Doron [HerausgeberIn] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, FORTE 22 2002 Houston, Tex

    Formal techniques for networked and distributed systems : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2002

    Erschienen in: Lecture notes in computer science ; 2529

  17. Maloney, Jim [VerfasserIn]

    Distributed COM application development using Visual C++ 6.0

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Upper Saddle River, NJ [u.a.]: Prentice Hall PTR, 2000

    Erschienen in: Prentice Hall series on Microsoft technologiesA UCI series book- A UCI series book

  18. Fokkink, Willem J. [VerfasserIn]

    Modelling distributed systems : with 7 tables

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Texts in theoretical computer science : an EATCS series