Zum Inhalt springen

  3. Wolter, Katinka [HerausgeberIn] ; European Performance Engineering Workshop 4 2007 Berlin

    Formal methods and stochastic models for performance evaluation : fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 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 ; 4748

  5. Aldini, Alessandro [HerausgeberIn]; Bernardo, Marco [Sonstige Person, Familie und Körperschaft]; Bononi, Luciano [Sonstige Person, Familie und Körperschaft]; Cortellessa, Vittorio [Sonstige Person, Familie und Körperschaft] ; European Performance Engineering Workshop 7 2010 Bertinoro

    Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6342

  6. Bernardo, Marco [HerausgeberIn]; Hillston, Jane [Sonstige Person, Familie und Körperschaft] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 7 2007 Bertinoro

    Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures

    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 ; 4486

  7. Dong, Jin Song [HerausgeberIn]; Zhu, Huibiao [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 12 2010 Schanghai

    Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6447

  9. Bruni, Roberto [Sonstige Person, Familie und Körperschaft]; Wolf, Karsten [Sonstige Person, Familie und Körperschaft]; Bruni, Roberto L. [HerausgeberIn] ; 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
    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

  10. Bravetti, Mario [HerausgeberIn]; 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
    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

  13. Thomas, Nigel [HerausgeberIn]; Jiuz, Carlos [Sonstige Person, Familie und Körperschaft] ; European Performance Engineering Workshop 5 2008 Palma de Mallorca

    Computer performance engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 ; 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, 2008

    Erschienen in: Lecture notes in computer science ; 5261

  14. Núñez, Manuel [HerausgeberIn] ; FORTE 24 2004 Madrid, TheFormEMC 2004 Toledo, EPEW 1 2004 Toledo, ITM 1 2004 Toledo

    Applying formal methods: testing, performance and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1 - 2, 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 ; 3236

  15. Ramamoorthy, C. V. [Sonstige Person, Familie und Körperschaft]; Ramamoorthy, Chittoor V. [HerausgeberIn] ; International Association for Computer and Information Science, SERA 1 2003 San Francisco, Calif

    Software engineering research and applications ; first International Conference, SERA 2003, San Francisco, CA, USA, June 25 - 27, 2003 ; selected revised 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, 2004

    Erschienen in: Lecture notes in computer science ; 3026

  18. IEEE/ACIS International Conference on Software Engineering Research, Management and Applications 2023 Orlando, Fla.; Online, Institute of Electrical and Electronics Engineers, International Association for Computer and Information Science, IEEE Computer Society

    2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA) : 23-25 May 2023

    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.

    [Piscataway, NJ]: IEEE, 2023

  19. IEEE/ACIS International Conference on Software Engineering Research, Management and Applications 19. 2022 Online, Institute of Electrical and Electronics Engineers, International Association for Computer and Information Science, IEEE Computer Society

    2022 IEEE/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA) : May 25-27, 2022, Las Vegas, USA

    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.

    Piscataway, NJ: IEEE, 2022

  20. IEEE/ACIS International Conference on Software Engineering, Management and Applications 18. 2021 Online, Institute of Electrical and Electronics Engineers, International Association for Computer and Information Science

    2021 IEEE/ACIS 19th International Conference on Software Engineering Research, Management and Applications (SERA) : 20-22 June 2021

    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.

    [Piscataway, NJ]: IEEE, 2021