Zum Inhalt springen

  1. Guarascio, Massimo [Sonstige Person, Familie und Körperschaft]; Brebbia, Carlos A. [Sonstige Person, Familie und Körperschaft] ; Wessex Institute of Technology Southampton, International Conference on Safety & Security Engineering 2 2007 Marsascala

    Safety and security engineering II : [Second International Conference on Safety and Security Engineering, SAFE II - 2007]

    Bücher
    Schließen

    Merkliste

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

    Southampton [u.a.]: WIT Press, 2007

    Erschienen in: WIT transactions on the built environment ; 94

  6. Moraal, J. [HerausgeberIn]; Kraiss, K.-F [HerausgeberIn] ; Conference on Manned Systems Design, New Methods and Equipment 1980 Freiburg im Breisgau

    Manned systems design : methods, equipment, and applications; proc. of a Conf. on Manned Systems Design, new methods and equipment held Sept. 22-25, 1980, in Freiburg, West Germany

    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, N.Y. [u.a.]: Plenum Pr., 1981

    Erschienen in: NATO: NATO conference series / 3 ; 17

  7. Pichler, Franz [HerausgeberIn] ; EUROCAST 2 1991 Krems an der Donau

    Computer aided systems theory - EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15 - 19, 1991 ; 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, 1992

    Erschienen in: Lecture notes in computer science ; 585

  13. Graf, Susanne [HerausgeberIn] ; ETAPS 3 2000 Berlin

    Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; 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, 2000

    Erschienen in: Lecture notes in computer science ; 1785

  14. Moreno-Díaz, Roberto [HerausgeberIn]; Pichler, Franz [Sonstige Person, Familie und Körperschaft]; Quesada-Arencibia, Alexis [Sonstige Person, Familie und Körperschaft] ; EUROCAST 12 2009 Las Palmas

    Computer aided systems theory - EUROCAST 2009 : 12th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 ; 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 ; 5717

  15. Moreno-Díaz, Roberto [HerausgeberIn] ; EUROCAST 8 2001 Las Palmas

    Computer aided systems theory : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19 - 23, 2001 ; 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, 2001

    Erschienen in: Lecture notes in computer science ; 2178

  16. Woodcock, Jim [HerausgeberIn]; Woodcock, James C. P. [HerausgeberIn]; Larsen, Peter Gorm [Sonstige Person, Familie und Körperschaft] ; Europäische Kommission Formal Methods Europe, FME 1 1993 Odense

    Industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 1993; 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: Springer, 1993

    Erschienen in: Lecture notes in computer science ; 670

  20. Moreno Díaz, Roberto [Sonstige Person, Familie und Körperschaft]; Pichler, Franz [Sonstige Person, Familie und Körperschaft]; Quesada Arencibia, Alexis [Sonstige Person, Familie und Körperschaft]; Moreno-Díaz, Roberto [HerausgeberIn] ; EUROCAST 11 2007 Las Palmas

    Computer aided systems theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 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, 2007

    Erschienen in: Lecture notes in computer science ; 4739