Showing 1,501 - 1,520 results of 1,807 for search '"Computer logic."', query time: 0.09s Refine Results
  1. 1501
    Modular Programming Languages Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings /
    Published 2003
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1502
    Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1503
    Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1504
    Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1505
    From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1506
    Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1507
    Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1508
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1509
    Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1510
    Ewa Orłowska on Relational Methods in Logic and Computer Science
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1511
    Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1512
    Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1513
    Theoretical Aspects of Computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1514
    Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1515
    Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1516
    DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1517
    Automated Deduction - CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1518
    Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1519
    Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers /
    Published 2018
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1520
    The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search