Suggested Topics within your search.
Showing 1 - 20 results of 83 for search '"QA76.9.L63"', query time: 0.07s Refine Results
  1. 1
    Fields of logic and computation III essays dedicated to Yuri Gurevich on the occasion of his 80th birthday /

    Fields of logic and computation III essays dedicated to Yuri Gurevich on the occasion of his 80th birthday /

    Published 2020
    “…QA76.9.L63…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings /

    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings /

    Published 1999
    “…QA76.9.L63…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /

    Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /

    Published 2017
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings /

    Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings /

    Published 2020
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers /

    Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers /

    Published 2020
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Thinking programs logical modeling and reasoning about languages, data, computations, and executions /

    Thinking programs logical modeling and reasoning about languages, data, computations, and executions / by Schreiner, Wolfgang, 1967-

    Published 2021
    “…QA76.9.L63…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers /

    Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers /

    Published 2019
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Structured object-oriented formal language and method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers /

    Structured object-oriented formal language and method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers /

    Published 2021
    “…QA76.9.L63…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Fundamentals of logic and computation with practical automated reasoning and verification /

    Fundamentals of logic and computation with practical automated reasoning and verification / by Hou, Zhe (Lecturer)

    Published 2021
    “…QA76.9.L63…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Computational thinking a perspective on computer science /

    Computational thinking a perspective on computer science / by Xu, Zhiwei

    Published 2021
    “…QA76.9.L63…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /

    Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /

    Published 2018
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /

    Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /

    Published 2018
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /

    Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /

    Published 2018
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers /

    Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers /

    Published 2022
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /

    Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /

    Published 2018
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  16. 16
    Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /

    Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /

    Published 2014
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  17. 17
    CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /

    CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /

    Published 2014
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  18. 18
    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /

    Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /

    Published 2014
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  19. 19
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /

    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /

    Published 2014
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /

    Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /

    Published 2023
    “…QA76.9.L63…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search