Zoekresultaten - "lecture"

  1. 1441

    Experimental Techniques in Modern High-Energy Physics A Beginner's Guide door Hanagaki, Kazunori

    Gepubliceerd in 2022
    “…Lecture Notes in Physics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  2. 1442
  3. 1443

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

    Gepubliceerd in 2023
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  4. 1444

    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Gepubliceerd in 2023
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  5. 1445

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Gepubliceerd in 2023
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  6. 1446

    Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

    Gepubliceerd in 2021
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  7. 1447

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Gepubliceerd in 2021
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  8. 1448

    xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers

    Gepubliceerd in 2022
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  9. 1449

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

    Gepubliceerd in 2022
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Elektronisch Hoofdstuk
  10. 1450

    Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

    Gepubliceerd in 2021
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  11. 1451

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Gepubliceerd in 2021
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  12. 1452

    xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers

    Gepubliceerd in 2022
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  13. 1453

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

    Gepubliceerd in 2022
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  14. 1454

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    Gepubliceerd in 2023
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  15. 1455

    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

    Gepubliceerd in 2023
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Elektronisch Hoofdstuk
  16. 1456
  17. 1457

    Cold Micro Metal Forming Research Report of the Collaborative Research Center "Micro Cold Forming" (SFB 747), Bremen, Germany /

    Gepubliceerd in 2020
    “…Lecture Notes in Production Engineering,…”
    Link to Metadata
    Elektronisch E-boek
  18. 1458

    Flexitranstore Special Session in the 21st International Symposium on High Voltage Engineering (ISH 2019) /

    Gepubliceerd in 2020
    “…Lecture Notes in Electrical Engineering,…”
    Link to Metadata
    Elektronisch E-boek
  19. 1459
  20. 1460