Zum Inhalt springen

  2. Bruni, Roberto [Herausgeber:in]; Dingel, Juergen [Sonstige Person, Familie und Körperschaft] ; FMOODS 13 2011 Reykjavík, FORTE 31 2011 Reykjavík

    Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011 ; ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6722

  5. Wolisz, Adam [Herausgeber:in] ; Gesellschaft für Informatik, Fachgespräch Formale Beschreibungstechniken für Verteilte Systeme 7 1997 Berlin

    Formale Beschreibungstechniken für verteilte Systeme : GI/ITG-Fachgespräch, 19. - 20. Juni 1997 in Berlin

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1997

    Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 315

  6. Degano, Pierpaolo [Herausgeber:in]; Guttman, Joshua [Sonstige Person, Familie und Körperschaft]; Martinelli, Fabio [Sonstige Person, Familie und Körperschaft] ; FAST 5 2008 Málaga

    Formal aspects in security and trust : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    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 ; 5491

  7. Hatcliff, John [Herausgeber:in]; Zucca, Elena [Sonstige Person, Familie und Körperschaft] ; FMOODS 12 2010 Amsterdam, FORTE 30 2010 Amsterdam

    Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6117

  8. Dimitrakos, Theo [Herausgeber:in]; Martinelli, Fabio [Sonstige Person, Familie und Körperschaft]; Ryan, Peter Y. A. [Sonstige Person, Familie und Körperschaft]; Schneider, Steve [Sonstige Person, Familie und Körperschaft] ; FAST 4 2006 Hamilton, Ontario

    Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    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 ; 4691

  9. Derrick, John [Herausgeber:in]; 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
    Online ansehen
    Schließen
    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. Dimitrakos, Theo [Herausgeber:in]; Martinelli, Fabio [Sonstige Person, Familie und Körperschaft]; Ryan, Peter Y. A. [Sonstige Person, Familie und Körperschaft]; Schneider, Steve [Sonstige Person, Familie und Körperschaft] ; FAST 3 2005 Newcastle-upon-Tyne

    Formal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    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 ; 3866

  11. Najm, Elie [Herausgeber:in] ; 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
    Online ansehen
    Schließen
    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

  12. Frutos-Escrig, David de [Herausgeber:in]; 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
    Online ansehen
    Schließen
    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

  16. Bernardo, Marco [Herausgeber:in]; Issarny, Valérie [Sonstige Person, Familie und Körperschaft] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 11 2011 Bertinoro

    Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 ; advanced lectures

    Bücher
    Online ansehen
    Schließen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6659

  17. Najm, Elie [Herausgeber:in]; Stefani, Jean-Bernard [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks, International Workshop on Formal Methods for Open Object Based Distributed Systems 1 1996 Paris

    Formal methods for open object-based distributed systems - [1. ed.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    London; Weinheim [u.a.]: Chapman & Hall, 1997

  19. Barthe, Gilles [Herausgeber:in]; Boer, Frank S. de [Sonstige Person, Familie und Körperschaft] ; FMOODS 10 2008 Oslo

    Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2008

    Erschienen in: Lecture notes in computer science ; 5051

  20. Gorrieri, Roberto [Herausgeber:in]; Wehrheim, Heike [Sonstige Person, Familie und Körperschaft] ; FMOODS 8 2006 Bologna

    Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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 ; 4037