Search Results - "Computer Science"

Suggested Topics within your search.
Refine Results
  1. 1021
    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
    “…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. 1022
    Cover Image

    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 1023
    Cover Image

    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 1024
    Cover Image

    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 1025
    Cover Image

    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:
  6. 1026
    Cover Image

    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:
  7. 1027
    Cover Image

    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:
  8. 1028
    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
    “…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. 1029
    Cover Image

    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:
  10. 1030
    Cover Image

    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:
  11. 1031
    Cover Image

    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:
  12. 1032
    Cover Image

    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:
  13. 1033
    Cover Image

    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:
  14. 1034
    Cover Image

    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:
  15. 1035
    Cover Image

    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:
  16. 1036
    Cover Image

    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:
  17. 1037
    Cover Image

    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:
  18. 1038
    Cover Image

    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:
  19. 1039
    Cover Image

    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:
  20. 1040
    Cover Image

    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:

Search Tools: