Хайлтын үр дүнгүүд - "computational modeling"

  1. 181

    The Multi-Agent Transport Simulation MATSim

    Хэвлэсэн 2016
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  2. 182

    Neutrosophic Multi-Criteria Decision Making Florentin Smarandache (Ed.)

    Хэвлэсэн 2018
    Нөхцлүүд: “…Neutrosophic computational modelling…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  3. 183

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

    Хэвлэсэн 2018
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  4. 184

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Хэвлэсэн 2018
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  5. 185

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Хэвлэсэн 2018
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  6. 186

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

    Хэвлэсэн 2018
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  7. 187

    Software for Exascale Computing - SPPEXA 2016-2019

    Хэвлэсэн 2020
    Нөхцлүүд: “…Computer Modelling.…”
    Link to Metadata
    Цахим Цахим ном
  8. 188

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Хэвлэсэн 2019
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  9. 189

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Хэвлэсэн 2019
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  10. 190

    Cyber-Physical Systems: A Model-Based Approach Taha, Walid M.

    Хэвлэсэн 2021
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  11. 191

    Cyber-Physical Systems: A Model-Based Approach Taha, Walid M.

    Хэвлэсэн 2021
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  12. 192

    Empowering Materials Processing and Performance from Data and AI

    Хэвлэсэн 2021
    Нөхцлүүд: “…computational modeling…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  13. 193

    Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Хэвлэсэн 2019
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  14. 194

    Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Хэвлэсэн 2019
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  15. 195

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

    Хэвлэсэн 2019
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  16. 196

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

    Хэвлэсэн 2019
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  17. 197

    Smart, Connected, and Portable Biosensors and Bioelectronics for Advancing Human Healthcare, Disease Diagnosis, and Therapeutics

    Хэвлэсэн 2023
    Нөхцлүүд: “…computational modeling and simulation…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  18. 198

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

    Хэвлэсэн 2020
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  19. 199

    Software for Exascale Computing - SPPEXA 2016-2019

    Хэвлэсэн 2020
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  20. 200

    Software for Exascale Computing - SPPEXA 2016-2019

    Хэвлэсэн 2020
    Нөхцлүүд: “…Computer modelling & simulation bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг