Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 37 Para Buscar '', tiempo de consulta: 0.05s Limitar resultados
  1. 1
    Cyber-physical systems : a model-based approach
    Libro electrónico
  2. 2
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
    Publicado 2020
    Libro electrónico
  3. 3
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
    Publicado 2020
    Libro electrónico
  4. 4
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
    Publicado 2018
    Libro electrónico
  5. 5
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Publicado 2018
    Libro electrónico
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    Publicado 2018
    Libro electrónico
  7. 7
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Publicado 2018
    Libro electrónico
  8. 8
    The Cloud-to-Thing Continuum : Opportunities and Challenges in Cloud, Fog and Edge Computing
    Publicado 2020
    Libro electrónico
  9. 9
    Semantic Systems. In the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings
    Publicado 2020
    Libro electrónico
  10. 10
    Machine learning for cyber physical systems : selected papers from the international conference ML4CPS 2020 ; Berlin, Germany, March 12-13, 2020
    Publicado 2021
    Libro electrónico
  11. 11
    Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2018
    Publicado 2019
    Libro electrónico
  12. 12
    Supercomputing Frontiers : 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
    Publicado 2019
    Libro electrónico
  13. 13
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    Publicado 2019
    Libro electrónico
  14. 14
    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
    por Groote, Jan Friso
    Publicado 2021
    Libro electrónico
  15. 15
    Programming Languages and Systems : 30th European Symposium on Programming, ESOP 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
    por Yoshida, Nobuko
    Publicado 2021
    Libro electrónico
  16. 16
    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 I
    por Groote, Jan Friso
    Publicado 2021
    Libro electrónico
  17. 17
    Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers
    por Amunts, Katrin
    Publicado 2021
    Libro electrónico
  18. 18
    Eingebettete Systeme : Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen
    por Marwedel, Peter. author
    Publicado 2021
    Libro electrónico
  19. 19
    Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
    Publicado 2020
    Libro electrónico
  20. 20
    Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
    Publicado 2020
    Libro electrónico

Herramientas de búsqueda: