Zum Inhalt springen

  6. Bruni, Roberto [Sonstige Person, Familie und Körperschaft]; Wolf, Karsten [Sonstige Person, Familie und Körperschaft]; Bruni, Roberto L. [Herausgeber:in] ; WS-FM 5 2008 Mailand

    Web Services and Formal Methods : 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 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, 2009

    Erschienen in: Lecture notes in computer science ; 5387

  7. Dumas, Marlon [Herausgeber:in]; Heckel, Reiko [Sonstige Person, Familie und Körperschaft] ; WS-FM 4 2007 Brisbane

    Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-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, 2008

    Erschienen in: Lecture notes in computer science ; 4937

  9. Bravetti, Mario [Herausgeber:in]; Núñez, Manuel [Sonstige Person, Familie und Körperschaft]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft] ; WS-FM 3 2006 Wien

    Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 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 ; 4184

  12. Sack, Harald [Sonstige Person, Familie und Körperschaft]; Meinel, Christoph [Sonstige Person, Familie und Körperschaft]

    Digitale Kommunikation : Vernetzen, Multimedia, Sicherheit

    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: Springer-Verlag Berlin Heidelberg, 2009

    Erschienen in: X.media.press- SpringerLink ; Bücher

  13. Ichii, Shingo [Sonstige Person, Familie und Körperschaft]; Ling, Tok Wang [Sonstige Person, Familie und Körperschaft]; Shimojo, Shinji [Sonstige Person, Familie und Körperschaft]; Song, Kwan-Ho [Sonstige Person, Familie und Körperschaft]

    Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 : 3rd International Conference on Human-Society@Internet, Tokyo, Japan, July 27-29, 2005, 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: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3597

  14. Gregori, Enrico [Verfasser:in] ; Cherkasova, Ludmila [Sonstige Person, Familie und Körperschaft]; Cugola, Gianpaolo [Sonstige Person, Familie und Körperschaft]; Panzieri, Fabio [Sonstige Person, Familie und Körperschaft]; Picco, Gian Pietro [Sonstige Person, Familie und Körperschaft]

    Web Engineering and Peer-to-Peer Computing : NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised 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: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2376

  16. Plenk, Valentin [Verfasser:in]

    Angewandte Netzwerktechnik kompakt : Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen - [2., aktualisierte und erweiterte Auflage]

    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: Springer Vieweg, [2019]

    Erschienen in: IT kompakt- Springer eBook Collection- Springer eBooks ; Computer Science and Engineering

  18. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Wolf, Karsten [Sonstige Person, Familie und Körperschaft]; Bruni, Roberto [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]

    Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 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: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5387

  20. Dumas, Marlon [Sonstige Person, Familie und Körperschaft]; Heckel, Reiko [Sonstige Person, Familie und Körperschaft] ; WS-FM 4 2007 Brisbane

    Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-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: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 4937