Результати пошуку - "computing"

  1. 841

    Shaping the Digital Dissertation Knowledge Production in the Arts and Humanities

    Опубліковано 2021
    Предмети: “...Computing & information technology bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Електронний ресурс Частина з книги
  2. 842

    Industrielle Datenanalyse Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken /

    Опубліковано 2024
    Предмети: “...Computer networks ....”
    Link to Metadata
    Електронний ресурс eКнига
  3. 843

    Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment за авторством Cheruvu, Sunil

    Опубліковано 2020
    Предмети: “...Computer science...”
    DOAB: download the publication
    DOAB: description of the publication
    Електронний ресурс Частина з книги
  4. 844

    Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment за авторством Cheruvu, Sunil

    Опубліковано 2020
    Предмети: “...Computer science...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Електронний ресурс Частина з книги
  5. 845

    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 logic...”
    DOAB: download the publication
    DOAB: description of the publication
    Електронний ресурс Частина з книги
  6. 846

    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 logic...”
    DOAB: download the publication
    DOAB: description of the publication
    Електронний ресурс Частина з книги
  7. 847

    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 logic...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Електронний ресурс Частина з книги
  8. 848

    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 logic...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Електронний ресурс Частина з книги
  9. 849

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

    Опубліковано 2022
    Предмети: “...computer hardware...”
    DOAB: download the publication
    DOAB: description of the publication
    Електронний ресурс Частина з книги
  10. 850

    Algorithms for Big Data DFG Priority Program 1736

    Опубліковано 2022
    Предмети: “...computer hardware...”
    DOAB: download the publication
    DOAB: description of the publication
    Електронний ресурс Частина з книги
  11. 851

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

    Опубліковано 2022
    Предмети: “...computer hardware...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Електронний ресурс Частина з книги
  12. 852

    Algorithms for Big Data DFG Priority Program 1736

    Опубліковано 2022
    Предмети: “...computer hardware...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Електронний ресурс Частина з книги
  13. 853

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

    Опубліковано 2020
    Предмети: “...Computer systems....”
    Link to Metadata
    Електронний ресурс eКнига
  14. 854

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

    Опубліковано 2022
    Предмети: “...Computer science....”
    Link to Metadata
    Електронний ресурс eКнига
  15. 855

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

    Опубліковано 2018
    Предмети: “...Computer networks ....”
    Link to Metadata
    Електронний ресурс eКнига
  16. 856

    Software for Exascale Computing - SPPEXA 2016-2019

    Опубліковано 2020
    Предмети: “...Computer modelling & simulation bicssc...”
    DOAB: download the publication
    DOAB: description of the publication
    Електронний ресурс Частина з книги
  17. 857

    Software for Exascale Computing - SPPEXA 2016-2019

    Опубліковано 2020
    Предмети: “...Computer modelling & simulation bicssc...”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Електронний ресурс Частина з книги
  18. 858

    Managing Risk and Information Security Protect to Enable / за авторством Harkins, Malcolm

    Опубліковано 2013
    Предмети: “...Computer networks ....”
    Link to Metadata
    Електронний ресурс eКнига
  19. 859

    The InfoSec Handbook An Introduction to Information Security / за авторством Nayak, Umesha, Rao, Umesh Hodeghatta

    Опубліковано 2014
    Предмети: “...Computer networks ....”
    Link to Metadata
    Електронний ресурс eКнига
  20. 860

    Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems / за авторством Curry, Edward

    Опубліковано 2020
    Предмети: “...Computer science....”
    Link to Metadata
    Електронний ресурс eКнига