Zum Inhalt springen

  1. Schnieder, Eckehard [HerausgeberIn] ; International Workshop on Software Specification of Safety Relevant Transportation Control Tasks 2002 Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik Braunschweig

    International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23. - 24. April 2002, Braunschweig - [Als Ms. gedr.]

    Bücher
    Schließen

    Merkliste

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

    Düsseldorf: VDI-Verl., 2003

    Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 53500

  3. Ehrig, Hartmut [HerausgeberIn] ; Deutsche Forschungsgemeinschaft, Deutsche Forschungsgemeinschaft, INT 3 2004 Barcelona, ETAPS 7 2004 Barcelona

    Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) ; final report

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

  6. Brim, Luboš [HerausgeberIn]; Haverkort, Boudewijn [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]; Pol, Jaco van de [Sonstige Person, Familie und Körperschaft] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

    Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4346

  7. Godin, Benoît [VerfasserIn]

    Models of innovation : the history of an idea

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Massachusetts; London, England: The MIT Press, [2017]

    Erschienen in: Inside technology

  9. Liu, Zhiming [HerausgeberIn]; He, Jifeng [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 8 2006 Macau

    Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 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 ; 4260

  10. Leue, Stefan [HerausgeberIn]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

    Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 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 ; 4916

  11. Cofer, Darren [HerausgeberIn]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5596

  12. Alpuente, María [HerausgeberIn]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

    Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; 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 ; 5825

  13. Gröger, Sophie [HerausgeberIn]; Weißgerber, Marco [HerausgeberIn] ; Internationales Oberflächenkolloquium 14. 2017 Chemnitz, Technische Universität Chemnitz

    XIV. Internationales Oberflächenkolloquium : 30.01.-01.02.2017 an der Technischen Universität Chemnitz : Tagungsband = XIV. International Colloquium on Surfaces

    Bücher
    Schließen

    Merkliste

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

    Chemnitz: Universitätsverlag Chemnitz, 2017

  16. Büttner, Rebekka [VerfasserIn] ; Technische Universität Chemnitz

    Entwicklung eines Modells zur Steigerung der Wandlungsfähigkeit produzierender Unternehmen vor dem Hintergrund der Digitalisierung

    Bücher
    Schließen

    Merkliste

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

    Chemnitz: Technische Universität Chemnitz, Institut für Betriebswissenschaften und Fabriksysteme, [2019]

    Erschienen in: Technische Universität Chemnitz-Zwickau: Wissenschaftliche Schriftenreihe des Institutes für Betriebswissenschaften und Fabriksysteme ; 132

    Sächsische Bibliografie