Zum Inhalt springen

  6. Real, Jorge [Herausgeber:in]; Vardanega, Tullio [Sonstige Person, Familie und Körperschaft] ; Ada Europe, International Conference on Reliable Software Technologies 15 2010 Valencia

    Reliable software technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; 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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6106

  7. Kordon, Fabrice [Herausgeber:in]; Vardanega, Tullioi [Sonstige Person, Familie und Körperschaft] ; International Conference on Reliable Software Technologies 13 2008 Venedig

    Reliable software technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; 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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5026

  8. Kordon, Fabrice [Herausgeber:in]; Kermarrec, Yvon [Sonstige Person, Familie und Körperschaft] ; Ada Europe, International Conference on Reliable Software Technologies 14 2009 Brest, Finistère

    Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 ; 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 [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5570

  9. Abdennadher, Nabil [Herausgeber:in]; Kordon, Fabrice [Sonstige Person, Familie und Körperschaft] ; International Conference on Reliable Software Technologies 12 2007 Genf

    Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25 - 29, 2007 ; 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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4498

  13. Mueller, Frank [Herausgeber:in] ; Association for Computing Machinery Special Interest Group on Programming Languages, LCTES 1998 Montréal

    Languages, compilers, and tools for embedded systems : 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; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998

    Erschienen in: Lecture notes in computer science ; 1474

  15. Giese, Holger [Herausgeber:in]; Karsai, Gabor [Sonstige Person, Familie und Körperschaft]; Lee, Edward A. [Sonstige Person, Familie und Körperschaft]; Rumpe, Bernhard [Sonstige Person, Familie und Körperschaft]; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft] ; International Workshop on Model Based Enginneering of Embedded Real Time Systems 2007 Dagstuhl

    Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 ; revised 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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6100

  17. Damm, Werner [Herausgeber:in]; Olderog, Ernst-Rüdiger [Sonstige Person, Familie und Körperschaft] ; FTRTFT 7 2002 Oldenburg (Oldenburg)

    Formal techniques in real-time and fault-tolerant systems : 7th International Symposium ; 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 [u.a.]: Springer, 2002

    Erschienen in: Lecture notes in computer science ; 2469

  19. Davidson, Jack [Herausgeber:in]; Davidson, Jack W. [Herausgeber:in] ; Association for Computing Machinery Special Interest Group on Programming Languages, LCTES 2000 Vancouver, British Columbia

    Languages, compilers, and tools for embedded systems : Vancouver, Canada, June 18, 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 [u.a.]: Springer, 2001

    Erschienen in: Lecture notes in computer science ; 1985