Výsledky vyhľadávania - "Optimization Techniques in Simulation Modeling"

  1. 1
  2. 2
  3. 3
  4. 4

    Zdroj: IEEE Access, Vol 11, Pp 58136-58158 (2023)

    Popis súboru: application/pdf

  5. 5
  6. 6
  7. 7

    Zdroj: IEEE Access, Vol 10, Pp 108332-108341 (2022)

  8. 8

    Zdroj: IEEE Access, Vol 9, Pp 140235-140247 (2021)

  9. 9
  10. 10

    Autori: José Lima Paulo Costa Thadeu Brito a ďalší

    Prispievatelia: José Lima Paulo Costa Thadeu Brito a ďalší

    Zdroj: 2019 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC). :1-6

    Popis súboru: application/pdf

  11. 11
  12. 12

    Zdroj: International Journal of Aerospace Engineering, Vol 2020 (2020)

    Popis súboru: text/xhtml

  13. 13

    Zdroj: IEEE Access, Vol 8, Pp 31710-31732 (2020)

    Popis súboru: text

  14. 14

    Zdroj: Modeling, Identification and Control, Vol 41, Iss 4, Pp 241-295 (2020)
    CONICET Digital (CONICET)
    Consejo Nacional de Investigaciones Científicas y Técnicas

    Popis súboru: application/pdf

  15. 15

    Zdroj: Lecture Notes in Computer Science ISBN: 9783031074714
    Proceedings of CAiSE 2022: International Conference on Advanced Information Systems Engineering
    Lecture Notes in Computer Science
    Lecture Notes in Computer Science-Advanced Information Systems Engineering

    Prístupová URL adresa: http://arxiv.org/abs/2103.11944

  16. 16
  17. 17
  18. 18

    Autori: Nianyu Li Mingyue Zhang Eunsuk Kang a ďalší

    Zdroj: Lecture Notes in Computer Science ISBN: 9783030714994
    Fundamental Approaches to Software Engineering

  19. 19
  20. 20

    Autori: Shenghua Feng Mingshuai Chen Xue Bai a ďalší

    Zdroj: Lecture Notes in Computer Science ISBN: 9783030532901
    Computer Aided Verification
    Cham, Switzerland : Springer, Lecture notes in computer science 12225, 327-348 (2020). doi:10.1007/978-3-030-53291-8_18
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds)
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds)32. International Conference on Computer Aided Verification, CAV 2020, online, 2020-07-21-2020-07-24
    Computer Aided Verification : 32nd International Conference, CAV 2020