Suggested Topics within your search.
Showing 941 - 960 results of 3,235 for search '"computer science"', query time: 0.14s Refine Results
  1. 941
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

    Published 2023
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  2. 942
    Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings /

    Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings /

    Published 2023
    “…Lecture Notes in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  3. 943
    Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings /

    Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...

    Published 2023
    Table of Contents: “…-- Investigating the Role of ChatGPT in Supporting Text-Based Programming Education for Students and Teachers -- All Green: How Different Age Groups Solved the Same Bebras Task -- Effects of the COVID-19 pandemic on the Bebras Computational Thinking Challenge: Comparing numbers, examining reasons and investigating recommendations -- The Function of Note-Taking in Problem Solving in the Computer Science Escape Game Room -- An Exploratory Investigation on High-School Students' Understanding of Threads -- Combining Models to Orchestrate an Instructional Scenario Fostering Computational Thinking in Educational Robotics -- Teachers' Knowledge in Informatics---Exploring Educational Robotics Resources Through the Lens of Textual Data Analysis -- Reshaping Unplugged Computer Science Workshops for Primary School Education -- Evaluating the New Secondary CS Curriculum in the Netherlands - The Teachers' Perspective -- Navigating the Implementation of the Curriculum Digital Education in Austrian Secondary Schools: Challenges and Teacher Perspectives -- Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills.…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  4. 944
    Manifold Learning Model Reduction in Engineering /

    Manifold Learning Model Reduction in Engineering / by Ryckelynck, David, Casenave, Fabien, Akkari, Nissrine

    Published 2024
    “…SpringerBriefs in Computer Science,…”
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  5. 945
    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  6. 946
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

    Published 2023
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  7. 947
    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  8. 948
    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  9. 949
    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…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  10. 950
    Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings

    Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings

    Published 2023
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  11. 951
    Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings

    Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...

    Published 2023
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  12. 952
    Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings

    Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings

    Published 2023
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  13. 953
    Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python

    Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python by Linge, Svein

    Published 2016
    “…Texts in Computational Science and Engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  14. 954
    Telecommunication Economics: Selected Results of the COST Action IS0605

    Telecommunication Economics: Selected Results of the COST Action IS0605 by Hadjiantonis, Antonis M.

    Published 2012
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  15. 955
    The Future Internet: Future Internet Assembly 2012: From Promises to Reality

    The Future Internet: Future Internet Assembly 2012: From Promises to Reality by Álvarez, Federico

    Published 2012
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  16. 956
    Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications

    Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications by Berthold, Michael R.

    Published 2012
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  17. 957
    Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6

    Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 by Linge, Svein

    Published 2020
    “…Texts in Computational Science and Engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  18. 958
    The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises

    The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises by Domingue, John

    Published 2011
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  19. 959
    The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons

    The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons by Galis, Alex

    Published 2013
    “…Lecture Notes in Computer Science…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  20. 960
    Finite Difference Computing with PDEs: A Modern Software Approach

    Finite Difference Computing with PDEs: A Modern Software Approach by Svein Linge

    Published 2017
    “…Texts in Computational Science and Engineering…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: