Search Results - "computability"

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

    The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons by Galis, Alex

    Published 2013
    Subjects: “…Computer Communication Networks…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 802
    Cover Image

    The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons by Anastasius Gavras

    Published 2013
    Subjects: “…Computers and Society…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 803
    Cover Image

    Making Presentation Math Computable A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems by Greiner-Petter, André

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

    Save to List
    Saved in:
  4. 804
    Cover Image

    The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons by Galis, Alex

    Published 2013
    Subjects: “…Computer Communication Networks…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 805
    Cover Image

    Making Presentation Math Computable A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems by Greiner-Petter, André

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

    Save to List
    Saved in:
  6. 806
    Cover Image

    Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2019
    Subjects: “…Computer science Mathematics.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  7. 807
    Cover Image

    Probability in Electrical Engineering and Computer Science An Application-Driven Course / by Walrand, Jean

    Published 2021
    Subjects: “…Computer science Mathematics.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  8. 808
    Cover Image

    Live Coding A User's Manual by Blackwell, Alan F.

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

    Save to List
    Saved in:
  9. 809
    Cover Image

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

    Published 2022
    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 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

    Published 2022
    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

    Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

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

    Save to List
    Saved in:
  12. 812
    Cover Image

    Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

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

    Save to List
    Saved in:
  13. 813
    Cover Image

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

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

    Save to List
    Saved in:
  14. 814
    Cover Image

    Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

    Published 2021
    Subjects: “…computer programming…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 815
    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 816
    Cover Image

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

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

    Save to List
    Saved in:
  17. 817
    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:
  18. 818
    Cover Image

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

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

    Save to List
    Saved in:
  19. 819
    Cover Image

    Innopolis University - From Zero to Hero Ten Years of Challenges and Victories / by Mazzara, Manuel, Succi, Giancarlo, Tormasov, Alexander

    Published 2022
    Subjects: “…Computers.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  20. 820
    Cover Image

    Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings /

    Published 2017
    Subjects: “…Computers Law and legislation.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:

Search Tools: