Suggested Topics within your search.
Showing 221 - 240 results of 1,098 for search '"logics"', query time: 0.04s Refine Results
  1. 221
    Programming Languages and Systems : 30th European Symposium on Programming, ESOP 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
    Subjects: “…Logics and Meanings of Programs…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  2. 222
    High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
    Published 2019
    Subjects: “…Computer architecture & logic design bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  3. 223
    Analisis Maximum Power Point Tracking (MPPT) Berbasis Fuzzy Logic Controller (FLC) Menggunakan Single Ended Primary Inductance Converter (SEPIC) untuk Panel Surya 100 Wp
    by PRATAMA, Arzoga Putra
    Published 2022
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  4. 224
    Chapter 4 Encoding truths? Diagnosis-Related Groups and the fragility of the marketisation discourse
    by Feitler, Therese
    Published 2018
    Subjects: “…Logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 225
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    Published 2018
    Subjects: “…Computer logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 226
    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
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  7. 227
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Amal Ahmed
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  8. 228
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
    Published 2018
    Subjects: “…Computer logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  9. 229
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Ralf Küsters
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  10. 230
    Les activités marchandes de spectacle vivant en 2010
    Subjects: “…industrial logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  11. 231
    The Constitution of Consciousness
    by Huemer, Wolfgang
    Published 2005
    Subjects: “…logical…”
    Get Fullteks
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  12. 232
    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
    Subjects: “…Computer logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  13. 233
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    Published 2019
    Subjects: “…Computer logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  14. 234
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  15. 235
    Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
    Published 2019
    Subjects: “…Computer logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  16. 236
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Ahmed, Amal
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  17. 237
    The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning
    by Vinod Goel
    Published 2017
    Subjects: “…logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  18. 238
    Educating Health Professionals in Genomic Medicine: Evidence-Based Strategies and Approaches
    Published 2020
    Subjects: “…program logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  19. 239
    Analisis Setting Rele Gangguan Tanah dan Rele Arus Lebih terhadap Hubung Singkat 1 Fasa ke Tanah pada Auxiliary Transformers PT. YTL Jawa Timur Berbasis Fuzzy Logic
    by Reyfaldi, Andhika
    Published 2020
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  20. 240
    Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt
    Published 2020
    Subjects: “…Philosophy: logic bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search