Zum Inhalt springen

  1. Berner, Gerd [VerfasserIn]

    Lexikon für DV-Systementwicklung

    Bücher
    Schließen

    Merkliste

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

    Köln: R. Müller, 1986

    Erschienen in: Rudolf-Müller-online-DV-Praxis

  2. Meyer, Bertrand [HerausgeberIn]; Nawrocki, Jerzy R. [Sonstige Person, Familie und Körperschaft]; Walter, Bartosz [Sonstige Person, Familie und Körperschaft] ; CEE SET 2 2007 Posen

    Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznań, Poland, October 10-12, 2007 ; revised selected 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, 2008

    Erschienen in: Lecture notes in computer science ; 5082

  3. Jackson, Michael A. [Sonstige Person, Familie und Körperschaft]; Daylight, Edgar G. [Sonstige Person, Familie und Körperschaft]; De Grave, Kurt [HerausgeberIn]

    Formalism & intuition in software development : a conversation with Michael A. Jackson conducted by Edgar G. Daylight and Bas van Vlijmen on March 8th, 2013 in Amsterdam, the Netherlands, and by Edgar G. Daylight on July 22nd, 2013 in London, England - [1. ed., version 1.0]

    Bücher
    Schließen

    Merkliste

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

    Geel: Lonely Scholar, 2015

    Erschienen in: Lonely Scholar conversations ; 5

  4. Microsoft GmbH Unterschleißheim

    Microsoft-System-Journal ++ : der Informationsbrief für professionelle Softwareentwickler

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

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

    Unterschleißheim: Redmond, 1993-1994 ; Unterschleißheim: Microsoft, -1994,Juli / 1993,Apr. - 1994,Sept.; damit Ersch. eingest.

    Erschienen in: Microsoft GmbH (Unterschleißheim): Microsoft-System-Journal

  5. Kaner, Cem [VerfasserIn]; Falk, Jack [VerfasserIn]; Nguyen, Hung Quoc [VerfasserIn]

    Testing computer software - [2. ed.]

    Bücher
    Schließen

    Merkliste

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

    New York: Van Nostrand Reinhold [u.a.], 1993

    Erschienen in: VNR computer library

  6. Dumke, Reiner [Sonstige Person, Familie und Körperschaft]; Lother, Mathias [Sonstige Person, Familie und Körperschaft]; Wille, Cornelius [Sonstige Person, Familie und Körperschaft]; Zbrog, Fritz [Sonstige Person, Familie und Körperschaft]

    Web engineering

    Bücher
    Schließen

    Merkliste

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

    München [u.a.]: Pearson Studium, 2003

    Erschienen in: i - informatik

  7. Bibel, Wolfgang [HerausgeberIn]; Jantke, Klaus P. [HerausgeberIn] ; Workshop on Mathematical Methods of Specification and Synthesis of Software Systems 1985 Wendisch Rietz

    Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22 - 26, 1985

    Bücher
    Schließen

    Merkliste

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

    Berlin: Akademie-Verlag, c 1986

    Erschienen in: Mathematical research ; 31