Zum Inhalt springen

  1. Eleftherakis, George [Verfasser:in] ; Hinchey, Mike [Sonstige Person, Familie und Körperschaft]; Holcombe, Mike [Sonstige Person, Familie und Körperschaft]

    Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7504

  2. Baumeister, Hubert [Sonstige Person, Familie und Körperschaft]; Holcombe, Mike [Sonstige Person, Familie und Körperschaft]; Marchesi, Michele [Sonstige Person, Familie und Körperschaft]

    Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

    Bücher
    Online ansehen
    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 ; 3556

  3. Holcombe, Mike

    What are X-Machines?

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Association for Computing Machinery (ACM), 2000

    Erschienen in: Formal Aspects of Computing, 12 (2000) 6, Seite 418-422

  4. Holcombe, Mike

    A practical introduction to denotational semantics, by Lloyd Allison. Pp 132. £22·50 (hardback), £7·95 (paperback). 1987. ISBN 0-521-30689-2, 31423-2 (Cambridge University Press) - Denotational semantics, by David A. Schmidt. Pp 331. £15·95. 1986. ISBN 0-205-10450-9 (Prentice-Hall)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 1988

    Erschienen in: The Mathematical Gazette, 72 (1988) 461, Seite 251-252

  5. Holcombe, Mike; Gheorghe, Marian

    Learning the Business

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Scientific Research Publishing, Inc., 2012

    Erschienen in: Creative Education, 3 (2012) 2, Seite 269-274

  6. Holcombe, Mike; Kalra, Bhavnidhi

    Extreme Programming and Agile Processes in Software Engineering: Agile Development Environment for Programming and Testing (ADEPT) – Eclipse Makes Project Management eXtreme

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2005

    Erschienen in: Extreme Programming and Agile Processes in Software Engineering (2005), Seite 255-258