Zum Inhalt springen

  1. Ferry, Nicolas [HerausgeberIn]; Song, Hui [HerausgeberIn]; Metzger, Andreas [HerausgeberIn]; Rios, Erkuden [HerausgeberIn]; Ferry, Nicolas [Sonstige Person, Familie und Körperschaft]; Song, Hui [Sonstige Person, Familie und Körperschaft]; Metzger, Andreas [Sonstige Person, Familie und Körperschaft]; Rios, Erkuden [Sonstige Person, Familie und Körperschaft]

    DevOps for Trustworthy Smart IoT Systems

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Norwell: Now Publishers, 2021

    Erschienen in: NowOpen

  2. Werbach, Kevin [HerausgeberIn]; Werbach, Kevin [Sonstige Person, Familie und Körperschaft]

    After the Digital Tornado : Networks, Algorithms, Humanity

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cambridge University Press, 2020

    Erschienen in: Social Sciences

  3. Chib, Arul [HerausgeberIn]; Bentley, Caitlin M. [HerausgeberIn]; Smith, Matthew L. [HerausgeberIn]; Chib, Arul [Sonstige Person, Familie und Körperschaft]; Bentley, Caitlin M. [Sonstige Person, Familie und Körperschaft]; Smith, Matthew L. [Sonstige Person, Familie und Körperschaft]

    Critical Perspectives on Open Development : Empirical Interrogation of Theory Construction

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cambridge: The MIT Press, 2020

  4. Panda, Dhabaleswar K. [HerausgeberIn]; Panda, Dhabaleswar K. [Sonstige Person, Familie und Körperschaft]

    Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Springer Nature, 2020

    Erschienen in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

  5. Beyerer, Jürgen [HerausgeberIn]; Maier, Alexander [HerausgeberIn]; Niggemann, Oliver [HerausgeberIn]; Beyerer, Jürgen [Sonstige Person, Familie und Körperschaft]; Maier, Alexander [Sonstige Person, Familie und Körperschaft]; Niggemann, Oliver [Sonstige Person, Familie und Körperschaft]

    Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2020

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Springer Nature, 2021

    Erschienen in: Technologien für die intelligente Automation

  6. Loo, Jonathan [auth] ; Williams, Gabriella [HerausgeberIn]; Williams, Gabriella [Sonstige Person, Familie und Körperschaft]

    Mobile Ad Hoc Networks : Current Status and Future Trends

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Taylor & Francis, 2011

  7. Lahiri, Shuvendu K. [HerausgeberIn]; Wang, Chao [HerausgeberIn]; Lahiri, Shuvendu K. [Sonstige Person, Familie und Körperschaft]; Wang, Chao [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Springer Nature, 2020

    Erschienen in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

  8. Tambouris, Efthimios [VerfasserIn] ; Macintosh, Ann [HerausgeberIn]; Bruijn, Hans [HerausgeberIn]

    Electronic Participation : Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 – September 1, 2011. Proceedings

    Bücher
    Online ansehen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6847

  9. Aitken, Joan E. [HerausgeberIn] ; IGI Global

    Cases on communication technology for second language acquisition and cultural learning

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Hershey, Pennsylvania (701 E. Chocolate Ave., Hershey, PA, 17033): IGI Global, 2014

  10. Bungartz, Hans-Joachim [HerausgeberIn]; Reiz, Severin [HerausgeberIn]; Uekermann, Benjamin [HerausgeberIn]; Neumann, Philipp [HerausgeberIn]; Nagel, Wolfgang E. [HerausgeberIn]; Bungartz, Hans-Joachim [Sonstige Person, Familie und Körperschaft]; Reiz, Severin [Sonstige Person, Familie und Körperschaft]; Uekermann, Benjamin [Sonstige Person, Familie und Körperschaft]; Neumann, Philipp [Sonstige Person, Familie und Körperschaft]; Nagel, Wolfgang E. [Sonstige Person, Familie und Körperschaft]

    Software for Exascale Computing - SPPEXA 2016-2019

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Springer Nature, 2020

    Erschienen in: Lecture Notes in Computational Science and Engineering

  11. Groote, Jan Friso [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]; Groote, Jan Friso [Sonstige Person, Familie und Körperschaft]; Larsen, Kim Guldstrand [Sonstige Person, Familie und Körperschaft]

    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Springer Nature, 2021

    Erschienen in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

  12. Lahiri, Shuvendu K. [HerausgeberIn]; Wang, Chao [HerausgeberIn]; Lahiri, Shuvendu K. [Sonstige Person, Familie und Körperschaft]; Wang, Chao [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Springer Nature, 2020

    Erschienen in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues