Search Results - Open Networking Foundation

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

    The Future Internet Future Internet Assembly 2011: Achievements and Technological Promises /

    Published 2011
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 102
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Published 2021
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  3. 103
    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
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  4. 104
    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
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  5. 105
    Cover Image

    Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

    Published 2022
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  6. 106
    Cover Image

    Uprooting Bias in the Academy Lessons from the Field

    Published 2022
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 107
    Cover Image

    Uprooting Bias in the Academy Lessons from the Field

    Published 2022
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 108
    Cover Image

    Algorithms for Big Data DFG Priority Program 1736 /

    Published 2022
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  9. 109
    Cover Image

    The Huawei and Snowden Questions Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? / by Lysne, Olav

    Published 2018
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  10. 110
    Cover Image

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

    Published 2018
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  11. 111
    Cover Image

    European E-Democracy in Practice

    Published 2020
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  12. 112
    Cover Image

    Advanced Information Processing Methods and Their Applications

    Published 2022
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 113
    Cover Image

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

    Published 2019
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  14. 114
    Cover Image

    Sustainable Smart Cities and Smart Villages Research: Rethinking by Visvizi, Anna

    Published 2020
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 115
    Cover Image

    Vertragsnetze und Netzzweck by Güttler, Nina Marie

    Published 2022
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 116
    Cover Image

    Algorithms for Big Data DFG Priority Program 1736

    Published 2022
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 117
    Cover Image

    Algorithms for Big Data DFG Priority Program 1736

    Published 2022
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 118
    Cover Image

    Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /

    Published 2020
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  19. 119
    Cover Image

    The Future Internet Future Internet Assembly 2012: From Promises to Reality /

    Published 2012
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  20. 120
    Cover Image

    High Performance Parallel Computing

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: