Suggested Topics within your search.
Showing 921 - 940 results of 3,235 for search '"computer science"', query time: 0.17s Refine Results
  1. 921
    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

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

    Published 2021
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 922
    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

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

    Published 2021
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  3. 923
    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

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

    Published 2020
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  4. 924
    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 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

    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
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  5. 925
    Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

    Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

    Published 2020
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 926
    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

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

    Published 2021
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 927
    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

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

    Published 2021
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  8. 928
    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
    “…Lecture Notes in Computer Science; Theoretical Computer Science and General Issues…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  9. 929
    Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools /

    Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools /

    Published 2022
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  10. 930
    Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings /

    Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

    Published 2022
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  11. 931
    Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings /

    Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings /

    Published 2022
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  12. 932
    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

    Published 2022
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  13. 933
    Developing Sustainable and Energy-Efficient Software Systems

    Developing Sustainable and Energy-Efficient Software Systems by Kruglov, Artem, Succi, Giancarlo

    Published 2023
    “…SpringerBriefs in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  14. 934
    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

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

    Published 2022
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  15. 935
    Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

    Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

    Published 2023
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  16. 936
    Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

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

    Published 2023
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  17. 937
    Ethics and Responsible Research and Innovation in Practice The ETHNA System Project /

    Ethics and Responsible Research and Innovation in Practice The ETHNA System Project /

    Published 2023
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  18. 938
    3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation /

    3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation /

    Published 2023
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  19. 939
    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
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  20. 940
    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
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:

Search Tools: