Showing 1 - 15 results of 15 for search '', query time: 0.05s Refine Results
  1. 1
    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
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Joint Training for Neural Machine Translation
    by Cheng, Yong, Cheng, Yong
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Representation Theorems in Computer Science A Treatment in Logic Engineering /
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search