Search Results - "computable"

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

    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

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

    Save to List
    Saved in:
  2. 422
    Cover Image

    Algorithms for Big Data DFG Priority Program 1736

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

    Save to List
    Saved in:
  3. 423
    Cover Image

    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

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

    Save to List
    Saved in:
  4. 424
    Cover Image

    Algorithms for Big Data DFG Priority Program 1736

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

    Save to List
    Saved in:
  5. 425
    Cover Image

    Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2020
    Subjects: “…Computer systems.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  6. 426
    Cover Image

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

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

    Save to List
    Saved in:
  7. 427
    Cover Image

    Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers /

    Published 2018
    Subjects: “…Computer networks .…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  8. 428
    Cover Image

    Software for Exascale Computing - SPPEXA 2016-2019

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

    Save to List
    Saved in:
  9. 429
    Cover Image

    Software for Exascale Computing - SPPEXA 2016-2019

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

    Save to List
    Saved in:
  10. 430
    Cover Image

    Managing Risk and Information Security Protect to Enable / by Harkins, Malcolm

    Published 2013
    Subjects: “…Computer networks .…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  11. 431
    Cover Image

    The InfoSec Handbook An Introduction to Information Security / by Nayak, Umesha, Rao, Umesh Hodeghatta

    Published 2014
    Subjects: “…Computer networks .…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  12. 432
    Cover Image

    Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward

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

    Save to List
    Saved in:
  13. 433
    Cover Image

    Building Better Interfaces for Remote Autonomous Systems An Introduction for Systems Engineers / by Oury, Jacob D., Ritter, Frank E.

    Published 2021
    Subjects: “…Human-computer interaction.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  14. 434
    Cover Image

    Mobile Forensics - The File Format Handbook Common File Formats and File Systems Used in Mobile Devices /

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

    Save to List
    Saved in:
  15. 435
    Cover Image

    Urban Informatics

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

    Save to List
    Saved in:
  16. 436
    Cover Image

    Graphs for Pattern Recognition Infeasible Systems of Linear Inequalities by Gainanov, Damir

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

    Save to List
    Saved in:
  17. 437
    Cover Image

    Computational stylometry: predicting the authorship of investment arbitration awards by Daniel Behn

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

    Save to List
    Saved in:
  18. 438
    Cover Image

    SpiNNaker - A Spiking Neural Network Architecture

    Published 2020
    Subjects: “…Neuromorphic computing…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 439
    Cover Image

    High Performance Propagation of Large Object Populations in Earth Orbits by Möckel, Marek

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

    Save to List
    Saved in:
  20. 440
    Cover Image

    Providing orbit information with predetermined bounded accuracy by Braun, Vitali

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

    Save to List
    Saved in:

Search Tools: