Showing 41 - 60 results of 2,488 for search '"Formality"', query time: 0.06s Refine Results
  1. 41
    Formal languages, automata and numeration systems.
    by Rigo, Michel
    Published 2014
    Subjects: “…Formal languages.…”
    Full Text via HEAL-Link
    eBook
  2. 42
    Formal languages, automata and numeration systems.
    by Rigo, Michel
    Published 2014
    Subjects: “…Formal languages.…”
    Full Text via HEAL-Link
    eBook
  3. 43
    1st Europe Summer School: Data Science
    Published 2017
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 45
    Proceedings of the 1st International Workshop on Robotics Software Engineering
    Published 2018
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 46
    Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 47
    Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 49
    New trends in formal languages Control,cooperation and combinatorics
    by Paun, Gheorghe, Salomaa, Arto
    Published 1997
    Subjects: “…FORMAL LANGUAGES 113805…”
    Book
  10. 50
    Handbook of formal languages
    Published 1997
    Subjects: “…FORMAL LANGUAGES 113805…”
    Book
  11. 51
    Hanbook of formal languages
    Published 1997
    Subjects: “…FORMAL LANGUAGES 113805…”
    Book
  12. 52
    Handbook of formal languages
    Published 1997
    Subjects: “…FORMAL LANGUAGES 113805…”
    Book
  13. 53
    Jewels of Formal Language Theory
    by Salomaa, Arto
    Published 1981
    Subjects: “…FORMAL LANGUAGES 113805…”
    Book
  14. 54
    Theory of computation formal languages, automata, and complexity
    by Brookshear, J. Glenn
    Published 1989
    Subjects: “…FORMAL LANGUAGES 113805…”
    Book
  15. 55
    Proceedings of the 2019 2nd International Conference on Computational Intelligence and Intelligent Systems
    Published 2019
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 56
    Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
    Published 2018
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 57
    Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 58
    Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2019
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 59
    Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 60
    Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search