Kết quả tìm kiếm - "computational science"

Innovative Learning Environments in STEM Higher Education Opportunities, Challenges, and Looking Forward /

Những chủ đề: “…Expert systems (Computer science).…”
Link to Metadata

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings

Những chủ đề: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml Bằng Wang, Liang

Những chủ đề: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings

Những chủ đề: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml Bằng Wang, Liang

Những chủ đề: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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 o...

Những chủ đề: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

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 o...

Những chủ đề: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Những chủ đề: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

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

Những chủ đề: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Business Objects als Gestaltungskonzept strategischer Informationssystemplanung Bằng Erler, Thomas

Những chủ đề: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni... Bằng Ralf Küsters

Những chủ đề: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

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

Những chủ đề: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Những chủ đề: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Business Objects als Gestaltungskonzept strategischer Informationssystemplanung Bằng Erler, Thomas

Những chủ đề: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

AI, Data, and Digitalization First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers /

Những chủ đề: “…Data structures (Computer science).…”
Link to Metadata

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

Những chủ đề: “…Data structures (Computer science).…”
Link to Metadata

New Insights in Machine Learning and Deep Neural Networks

Những chủ đề: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Những chủ đề: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

Những chủ đề: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Human Computer Interaction and Emerging Technologies Workshop Proceedings from the INTERACT 2019 Workshops

Những chủ đề: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication