Suggested Topics within your search.
Showing 201 - 220 results of 1,098 for search '"logic"', query time: 0.03s Refine Results
  1. 201
    Sistem Kontrol Fuzzy Logic Untuk Tegangan Keluaran Boost Converter pada Pengisian Baterai Sepeda Listrik Menggunakan Solar Cell
    by AZIZ, Mochammad Al
    Published 2018
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  2. 202
    Analisis Risiko Teknis Proyek Konstruksi Dengan Metode Fuzzy Logic (Studi Kasus : Pada Proyek Grand Sungkono Lagoon, Surabaya)
    by Rhosani, Dwi Praseptiawan
    Published 2018
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  3. 203
    SISTEM KONTROL FUZZY LOGIC PADA TEGANGAN OUTPUT BUCK CONVERTER UNTUK SOLAR CHARGER BERBASIS ARDUINO UNO R3
    by Romadhon, Rizki
    Published 2017
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  4. 204
    Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    Published 2020
    Subjects: “…Mathematical Logic and Foundations…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 205
    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
    by Mostowski, Wojciech
    Published 2017
    Subjects: “…First-order logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 206
    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
    by Dirk Beyer
    Published 2018
    Subjects: “…formal logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  7. 207
    Cellular Automata - Simplicity Behind Complexity
    by Alejandro Salcido
    Published 2011
    Subjects: “…Computational Logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  8. 208
    Simulation and Gaming
    by Dragan Cvetković
    Published 2018
    Subjects: “…Computational Logic…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  9. 209
    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:
  10. 210
    ANALISIS KEANDALAN RELAI DIFERENSIAL SEBAGAI PROTEKSI UTAMA TRANSFORMATOR MENGGUNAKAN 87T DAN FUZZY LOGIC DI PT. PLN (PERSERO) AREA BANDUNG
    by Alpani, Muhammad
    Published 2017
    Get full text
    Academic Paper
    Save to List
    Saved in:
  11. 211
    Fuzzy logic control of active and reactive power for a grid-connected photovoltaic system using a three-level neutral-point-clamped inverter
    Get Fulltext
    EJournal Article
    Save to List
    Saved in:
  12. 212
    LAMPU CERDAS ANTI MALING DENGAN PRINSIP LOGIKA MATEMATIKA BERBASIS SMS (INTELLIGENT LAMP ANTI-THIEF WITH PRINCIPLES OF MATHEMATICS LOGIC BASED ON SMS)
    Get Fulltext
    Academic Paper
    Save to List
    Saved in:
  13. 213
    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:
  14. 214
    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:
  15. 215
    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:
  16. 216
    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:
  17. 217
    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:
  18. 218
    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:
  19. 219
    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:
  20. 220
    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:
Search Tools: RSS Feed – Email Search – Save Search