Zum Inhalt springen

  1. Lau, Kung-Kiu [HerausgeberIn]; Banach, Richard [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 7 2005 Manchester

    Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; 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, 2005

    Erschienen in: Lecture notes in computer science ; 3785

  2. Lau, Kung-Kiu [Sonstige Person, Familie und Körperschaft] ; NetLibrary, Inc

    Component-based software development : case studies

    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.

    New Jersey: World Scientific, c2004 ; Boulder, Colo: NetLibrary, 2005

    Erschienen in: Series on component-based software development ; v. 1- EBSCOhost eBook Collection

  3. Bruynooghe, Maurice [VerfasserIn] ; Lau, Kung-Kiu [Sonstige Person, Familie und Körperschaft]

    Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

    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, 2004

    Erschienen in: Lecture notes in computer science ; 3049

  4. Bruynooghe, Maurice [VerfasserIn] ; Lau, Kung-Kiu [Sonstige Person, Familie und Körperschaft]

    Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

    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, 2004

    Erschienen in: Lecture notes in computer science ; 304900

  5. Lau, Kung-Kiu [VerfasserIn] ; Lamersdorf, Winfried [HerausgeberIn]; Pimentel, Ernesto [HerausgeberIn]

    Service-Oriented and Cloud Computing : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. 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, 2013

    Erschienen in: Lecture notes in computer science ; 8135

  6. Lau, Kung-Kiu [VerfasserIn]

    Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 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-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2042

  7. Villari, Massimo [VerfasserIn] ; Zimmermann, Wolf [HerausgeberIn]; Lau, Kung-Kiu [HerausgeberIn]

    Service-Oriented and Cloud Computing : Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. 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, 2014

    Erschienen in: Lecture notes in computer science ; 8745

  8. Banach, Richard [Sonstige Person, Familie und Körperschaft]; Lau, Kung-Kiu [Sonstige Person, Familie und Körperschaft]

    Formal Methods and Software Engineering (vol. # 3785) : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 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 ; 3785

  9. Lloyd, John [VerfasserIn] ; Dahl, Veronica [Sonstige Person, Familie und Körperschaft]; Furbach, Ulrich [Sonstige Person, Familie und Körperschaft]; Kerber, Manfred [Sonstige Person, Familie und Körperschaft]; Lau, Kung-Kiu [Sonstige Person, Familie und Körperschaft]; Palamidessi, Catuscia [Sonstige Person, Familie und Körperschaft]; Pereira, Luís Moniz [Sonstige Person, Familie und Körperschaft]; Sagiv, Yehoshua [Sonstige Person, Familie und Körperschaft]; Stuckey, Peter J. [Sonstige Person, Familie und Körperschaft]

    Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 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-Verlag Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1861

  19. Lau, Kung-Kiu; Wang, Zheng

    Software Component Models

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2007

    Erschienen in: IEEE Transactions on Software Engineering