खोज परिणाम - "Computational science"

  1. 801

    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml द्वारा Wang, Liang

    प्रकाशित 2023
    विषय: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  2. 802

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

    प्रकाशित 2019
    विषय: “…Computer science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  3. 803

    Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml द्वारा Wang, Liang

    प्रकाशित 2023
    विषय: “…Computer science bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  4. 804

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

    प्रकाशित 2021
    विषय: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  5. 805

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

    प्रकाशित 2021
    विषय: “…Computer science bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  6. 806

    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 science…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  7. 807

    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 science…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  8. 808

    Business Objects als Gestaltungskonzept strategischer Informationssystemplanung द्वारा Erler, Thomas

    प्रकाशित 2001
    विषय: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  9. 809

    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... द्वारा Ralf Küsters

    प्रकाशित 2018
    विषय: “…computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  10. 810

    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 science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  11. 811

    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 science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  12. 812

    Business Objects als Gestaltungskonzept strategischer Informationssystemplanung द्वारा Erler, Thomas

    प्रकाशित 2001
    विषय: “…Computer science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  13. 813

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

    प्रकाशित 2024
    विषय: “…Data structures (Computer science).…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  14. 814

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

    प्रकाशित 2017
    विषय: “…Data structures (Computer science).…”
    Link to Metadata
    इलेक्ट्रोनिक ई-पुस्तक
  15. 815

    New Insights in Machine Learning and Deep Neural Networks

    प्रकाशित 2023
    विषय: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  16. 816

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

    प्रकाशित 2019
    विषय: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  17. 817

    Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

    प्रकाशित 2019
    विषय: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  18. 818

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

    प्रकाशित 2020
    विषय: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  19. 819

    Kernel Methods and Hybrid Evolutionary Algorithms in Energy Forecasting द्वारा Wei-Chiang Hong (Ed.)

    प्रकाशित 2018
    विषय: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय
  20. 820

    Bell Nonlocality द्वारा Scarani, Valerio

    प्रकाशित 2019
    विषय: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    इलेक्ट्रोनिक पुस्तक अध्याय