Search Results - "computational science"

Suggested Topics within your search.
Refine Results
  1. 801
    Cover Image

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

    Published 2023
    Subjects: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 802
    Cover Image

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

    Published 2019
    Subjects: “…Computer science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 803
    Cover Image

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

    Published 2023
    Subjects: “…Computer science bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 804
    Cover Image

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

    Published 2021
    Subjects: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 805
    Cover Image

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

    Published 2021
    Subjects: “…Computer science bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 806
    Cover Image

    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

    Published 2018
    Subjects: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 807
    Cover Image

    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

    Published 2018
    Subjects: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 808
    Cover Image

    Business Objects als Gestaltungskonzept strategischer Informationssystemplanung by Erler, Thomas

    Published 2001
    Subjects: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 809
    Cover Image

    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... by Ralf Küsters

    Published 2018
    Subjects: “…computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 810
    Cover Image

    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

    Published 2018
    Subjects: “…Computer science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 811
    Cover Image

    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

    Published 2018
    Subjects: “…Computer science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 812
    Cover Image

    Business Objects als Gestaltungskonzept strategischer Informationssystemplanung by Erler, Thomas

    Published 2001
    Subjects: “…Computer science…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 813
    Cover Image

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

    Published 2024
    Subjects: “…Data structures (Computer science).…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  14. 814
    Cover Image

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

    Published 2017
    Subjects: “…Data structures (Computer science).…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  15. 815
    Cover Image

    New Insights in Machine Learning and Deep Neural Networks

    Published 2023
    Subjects: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 816
    Cover Image

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

    Published 2019
    Subjects: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 817
    Cover Image

    Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

    Published 2019
    Subjects: “…Computer science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 818
    Cover Image

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

    Published 2020
    Subjects: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 819
    Cover Image

    Kernel Methods and Hybrid Evolutionary Algorithms in Energy Forecasting by Wei-Chiang Hong (Ed.)

    Published 2018
    Subjects: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 820
    Cover Image

    Bell Nonlocality by Scarani, Valerio

    Published 2019
    Subjects: “…Computer science bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: