Search Results - NetApp~

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

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

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

    Save to List
    Saved in:
  2. 622
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I

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

    Save to List
    Saved in:
  3. 623
    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 of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

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

    Save to List
    Saved in:
  4. 624
    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 of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

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

    Save to List
    Saved in:
  5. 625
    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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

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

    Save to List
    Saved in:
  6. 626
    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 of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

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

    Save to List
    Saved in:
  7. 627
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

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

    Save to List
    Saved in:
  8. 628
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I

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

    Save to List
    Saved in:
  9. 629
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

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

    Save to List
    Saved in:
  10. 630
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II

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

    Save to List
    Saved in:
  11. 631
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I

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

    Save to List
    Saved in:
  12. 632
    Cover Image

    Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

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

    Save to List
    Saved in:
  13. 633
    Cover Image

    PENGARUH PROBLEM-BASED LEARNING DENGAN STRATEGI TAPPS TERHADAP KEMAMPUAN PEMECAHAN MASALAH MATEMATIS PADA MATERI PERBANDINGAN (Penelitian Kuasi Eksperimen terhadap Siswa Kelas V SD Negeri Sukaraja II di Kecamatan Sumedang Selatan) by Nurmawan, Intan

    Published 2017
    Link Metadata
    Book

    Save to List
    Saved in:
  14. 634
    Cover Image

    PENGARUH PROBLEM-BASED LEARNING DENGAN STRATEGI TAPPS TERHADAP KEMAMPUAN PEMECAHAN MASALAH MATEMATIS PADA MATERI PERBANDINGAN (Penelitian Kuasi Eksperimen terhadap Siswa Kelas V SD Negeri Sukaraja II di Kecamatan Sumedang Selatan) by Wahyuni, Irene Fitriana

    Published 2017
    Link Metadata
    Book

    Save to List
    Saved in:
  15. 635
    Cover Image

    PENGARUH PROBLEM-BASED LEARNING DENGAN STRATEGI TAPPS TERHADAP KEMAMPUAN PEMECAHAN MASALAH MATEMATIS PADA MATERI PERBANDINGAN (Penelitian Kuasi Eksperimen terhadap Siswa Kelas V SD Negeri Sukaraja II di Kecamatan Sumedang Selatan) by Fariz, Irsyad Nur

    Published 2017
    Link Metadata
    Book

    Save to List
    Saved in:
  16. 636
    Cover Image

    PENGARUH PROBLEM-BASED LEARNING DENGAN STRATEGI TAPPS TERHADAP KEMAMPUAN PEMECAHAN MASALAH MATEMATIS PADA MATERI PERBANDINGAN (Penelitian Kuasi Eksperimen terhadap Siswa Kelas V SD Negeri Sukaraja II di Kecamatan Sumedang Selatan) by Dewi, Kania Kusuma

    Published 2017
    Link Metadata
    Book

    Save to List
    Saved in:
  17. 637
    Cover Image

    PENGARUH PROBLEM-BASED LEARNING DENGAN STRATEGI TAPPS TERHADAP KEMAMPUAN PEMECAHAN MASALAH MATEMATIS PADA MATERI PERBANDINGAN (Penelitian Kuasi Eksperimen terhadap Siswa Kelas V SD Negeri Sukaraja II di Kecamatan Sumedang Selatan) by Karwati,

    Published 2017
    Link Metadata
    Book

    Save to List
    Saved in:
  18. 638
    Cover Image

    PENGARUH PROBLEM-BASED LEARNING DENGAN STRATEGI TAPPS TERHADAP KEMAMPUAN PEMECAHAN MASALAH MATEMATIS PADA MATERI PERBANDINGAN (Penelitian Kuasi Eksperimen terhadap Siswa Kelas V SD Negeri Sukaraja II di Kecamatan Sumedang Selatan) by Nurwulan, Intan

    Published 2017
    Link Metadata
    Book

    Save to List
    Saved in:
  19. 639
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

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

    Save to List
    Saved in:
  20. 640
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

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

    Save to List
    Saved in:

Search Tools: