Хайлтын үр дүнгүүд - "computer modeling"
Таны хайлт доторх Санал болгосон сэдвүүд.
Таны хайлт доторх Санал болгосон сэдвүүд.
- Computer modelling & simulation 135
- Computer Modelling 28
- Computer simulation 28
- Software Engineering 26
- Computer science 23
- Artificial intelligence 20
- Computer networking & communications 10
- Computer programming / software development 10
- Mathematical theory of computation 10
- Neurosciences 9
- History of engineering & technology 8
- Information technology: general issues 8
- Research & information: general 8
- Robotics 8
- Science: general issues 8
- Software engineering 8
- Technology: general issues 8
- Algorithms & data structures 7
- Medicine 7
- Artificial Intelligence 6
- Systems analysis & design 6
- Computer Science Logic and Foundations of Programming 5
- Computer networks 5
- Formal Languages and Automata Theory 5
- Information technology industries 5
- Machine theory 5
- Physiology 5
- Production engineering 5
- Automation 4
- Computer Engineering and Networks 4
-
181
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
Цахим Номын бүлэг -
182
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
Цахим Номын бүлэг -
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 I
Хэвлэсэн 2018Нөхцлүүд: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Цахим Номын бүлэг -
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 II
Хэвлэсэн 2018Нөхцлүүд: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Цахим Номын бүлэг -
185
Software for Exascale Computing - SPPEXA 2016-2019
Хэвлэсэн 2020Нөхцлүүд: “…Computer Modelling.…”
Link to Metadata
Цахим Цахим ном -
186
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
Цахим Номын бүлэг -
187
Flow and Heat or Mass Transfer in the Chemical Process Industry
Хэвлэсэн 2018Нөхцлүүд: “…computational modeling of heat and fluid flow…”
DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
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…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Цахим Номын бүлэг -
189
Cyber-Physical Systems: A Model-Based Approach
Хэвлэсэн 2021Нөхцлүүд: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
190
Cyber-Physical Systems: A Model-Based Approach
Хэвлэсэн 2021Нөхцлүүд: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Цахим Номын бүлэг -
191
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
Цахим Номын бүлэг -
192
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
Цахим Номын бүлэг -
193
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
Цахим Номын бүлэг -
194
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
Цахим Номын бүлэг -
195
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
Цахим Номын бүлэг -
196
Software for Exascale Computing - SPPEXA 2016-2019
Хэвлэсэн 2020Нөхцлүүд: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
197
Software for Exascale Computing - SPPEXA 2016-2019
Хэвлэсэн 2020Нөхцлүүд: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Цахим Номын бүлэг -
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…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Цахим Номын бүлэг -
199
Modelling and Simulation of Human-Environment Interactions
Хэвлэсэн 2021Нөхцлүүд: “…computer modeling…”
DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
200
Real-Time Auralisation of Outdoor Sound Propagation
Хэвлэсэн 2023Нөхцлүүд: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг