Zum Inhalt springen Høie, Tore Audun [Verfasser:in] Central systems architecture : planning and controlling complex IBM Computing Centres Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam: North-Holland Publ. Co., 1981 Fischer, Marco [Verfasser:in] A formal fault model for component-based models of embedded systems 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. Dresden: TUDpress, 2007 Erschienen in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4 Lahiri, Shuvendu [Herausgeber:in]; Reger, Giles [Herausgeber:in] Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2017 Erschienen in: Lecture notes in computer science ; 10548 Falcone, Ylies [Herausgeber:in]; Sánchez, César [Herausgeber:in] Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 10012 Bonakdarpour, Borzoo [Verfasser:in] ; Smolka, Scott A. [Herausgeber:in] Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham [u.a.]: Springer, 2014 Erschienen in: Lecture notes in computer science ; 8734 Legay, Axel [Verfasser:in] ; Bensalem, Saddek [Herausgeber:in] Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2013 Erschienen in: Lecture notes in computer science ; 8174 Qadeer, Shaz [Verfasser:in] ; Taşıran, Serdar [Sonstige Person, Familie und Körperschaft] Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2013 Erschienen in: Lecture notes in computer science ; 7687 Khurshid, Sarfraz [Verfasser:in] ; Sen, Koushik [Sonstige Person, Familie und Körperschaft] Runtime Verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) 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, 2012 Erschienen in: Lecture notes in computer science ; 7186 Asche, Rüdiger R. [Verfasser:in] Embedded Controller : Grundlagen und praktische Umsetzung für industrielle Anwendungen Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiesbaden: Springer Vieweg, 2016 Erschienen in: SpringerLink ; Bücher
Høie, Tore Audun [Verfasser:in] Central systems architecture : planning and controlling complex IBM Computing Centres Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam: North-Holland Publ. Co., 1981
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Fischer, Marco [Verfasser:in] A formal fault model for component-based models of embedded systems 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. Dresden: TUDpress, 2007 Erschienen in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lahiri, Shuvendu [Herausgeber:in]; Reger, Giles [Herausgeber:in] Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2017 Erschienen in: Lecture notes in computer science ; 10548
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Falcone, Ylies [Herausgeber:in]; Sánchez, César [Herausgeber:in] Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 10012
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bonakdarpour, Borzoo [Verfasser:in] ; Smolka, Scott A. [Herausgeber:in] Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham [u.a.]: Springer, 2014 Erschienen in: Lecture notes in computer science ; 8734
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Legay, Axel [Verfasser:in] ; Bensalem, Saddek [Herausgeber:in] Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2013 Erschienen in: Lecture notes in computer science ; 8174
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Qadeer, Shaz [Verfasser:in] ; Taşıran, Serdar [Sonstige Person, Familie und Körperschaft] Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer, 2013 Erschienen in: Lecture notes in computer science ; 7687
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Khurshid, Sarfraz [Verfasser:in] ; Sen, Koushik [Sonstige Person, Familie und Körperschaft] Runtime Verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) 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, 2012 Erschienen in: Lecture notes in computer science ; 7186
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asche, Rüdiger R. [Verfasser:in] Embedded Controller : Grundlagen und praktische Umsetzung für industrielle Anwendungen Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiesbaden: Springer Vieweg, 2016 Erschienen in: SpringerLink ; Bücher
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (2) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (8) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (9) Wert ausschließen Mathematik (7) Wert ausschließen Technik (3) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Asche, Rüdiger R. (1) Wert ausschließen Bensalem, Saddek (1) Wert ausschließen Bonakdarpour, Borzoo (1) Wert ausschließen Falcone, Ylies (1) Wert ausschließen Fischer, Marco (1) Wert ausschließen Høie, Tore Audun (1) Wert ausschließen Khurshid, Sarfraz (1) Wert ausschließen Lahiri, Shuvendu (1) Wert ausschließen Legay, Axel (1) Wert ausschließen Qadeer, Shaz (1) Wert ausschließen Reger, Giles (1) Wert ausschließen Sen, Koushik (1) Wert ausschließen Smolka, Scott A. (1) Wert ausschließen Sánchez, César (1) Wert ausschließen Taşıran, Serdar (1) Wert ausschließen zeige weitere weniger zeigen