Suggested Topics within your search.
Showing 141 - 160 results of 64,865 for search 'Library (computing)', query time: 0.16s Refine Results
  1. 141
    The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition

    The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition by Barroso, Luiz André

    Published 2019
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 142
    Brain Computations and Connectivity

    Brain Computations and Connectivity by Rolls, Edmund T.

    Published 2023
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 143
    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

    Published 2020
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 144
    Diversity in Computer Science Design Artefacts for Equity and Inclusion

    Diversity in Computer Science Design Artefacts for Equity and Inclusion by Bjørn, Pernille

    Published 2023
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 145
    Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era

    Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era

    Published 2022
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 146
    Computer Vision Metrics Survey, Taxonomy, and Analysis

    Computer Vision Metrics Survey, Taxonomy, and Analysis by Krig, Scott

    Published 2014
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 147
    Close Reading with Computers Textual Scholarship, Computational Formalism, and David Mitchell's Cloud Atlas

    Close Reading with Computers Textual Scholarship, Computational Formalism, and David Mitchell's Cloud Atlas by Eve, Martin Paul

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  8. 148
    Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6

    Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 by Linge, Svein

    Published 2020
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  9. 149
    Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings

    Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings

    Published 2016
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  10. 150
    Computational Thinking Education

    Computational Thinking Education

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  11. 151
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  12. 152
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  13. 153
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  14. 154
    Mensch-Computer-Interface Zur Geschichte und Zukunft der Computerbedienung

    Mensch-Computer-Interface Zur Geschichte und Zukunft der Computerbedienung

    Published 2008
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  15. 155
    Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

    Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

    Published 2021
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  16. 156
    Computer als Schöpfer Der Schutz von Werken und Erfindungen künstlicher Intelligenz

    Computer als Schöpfer Der Schutz von Werken und Erfindungen künstlicher Intelligenz by Maamar, Niklas

    Published 2021
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  17. 157
    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  18. 158
    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  19. 159
    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

    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
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  20. 160
    Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings

    Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings

    Published 2013
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: