يعرض 1 - 10 نتائج من 98 نتيجة بحث عن '"TheoryofComputation_MISCELLANEOUS"', وقت الاستعلام: 0.92s تنقيح النتائج
  1. 1
  2. 2
  3. 3
  4. 4

    المساهمون: Borisov, Nikita, Diaz, Claudia, Computer Systems, Network Institute

    المصدر: Borisov, Nikita & Diaz, Claudia (Eds.). Financial Cryptography and Data Security 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II. Berlin, Heidelberg: Springer, pp. 579-598, Lecture Notes in Computer Science, Vol.12675
    Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II, 2, 579-598
    Ngo, C N, Massacci, F, Kerschbaum, F & Williams, J 2021, Practical Witness-Key-Agreement for Blockchain-Based Dark Pools Financial Trading . in N Borisov & C Diaz (eds), Financial Cryptography and Data Security : 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II . vol. 2, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12675 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 579-598, 25th International Conference on Financial Cryptography and Data Security, FC 2021, Virtual, Online, 1/03/21 . https://doi.org/10.1007/978-3-662-64331-0_30Test
    Financial Cryptography and Data Security ISBN: 9783662643303
    Financial Cryptography (2)

    وصف الملف: application/pdf

  5. 5

    المساهمون: Bampis, Evripidis, Pagourtzis, Aris

    المصدر: Hansen, K A & Lund, T B 2021, Computational Complexity of Computing a Quasi-Proper Equilibrium . in E Bampis & A Pagourtzis (eds), Fundamentals of Computation Theory : 23rd International Symposium, FCT 2021 Athens, Greece, September 12–15, 2021 Proceedings . Springer, Cham, Lecture Notes in Computer Science, vol. 12867, pp. 259-271, 23rd International Symposium on Fundamentals of Computation Theory, 12/09/2021 . https://doi.org/10.1007/978-3-030-86593-1_18Test
    Lund, T B & Hansen, K A 2021, Computational Complexity of Computing a Quasi-Proper Equilibrium . in Fundamentals of Computation Theory : 23rd International Symposium, FCT 2021 Athens, Greece, September 12–15, 2021 Proceedings . Cham, Lecture Notes in Computer Science, vol. 12867, pp. 259-271 . < https://arxiv.org/abs/2107.04300Test >

    وصف الملف: application/pdf

  6. 6
  7. 7

    المساهمون: Evolution de la connaissance (MOEX ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), University of Groningen [Groningen], Manuel Martins, Igor Sedlár, Artificial Intelligence

    المصدر: Proc. 3rd International workshop on dynamic logic (DaLi)
    DaLi 2020-3rd International workshop on dynamic logic
    DaLi 2020-3rd International workshop on dynamic logic, Oct 2020, Praha, Czech Republic. pp.51-67, ⟨10.1007/978-3-030-65840-3_4⟩
    Lecture Notes in Computer Science ISBN: 9783030658397
    DaLí
    Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers, 51-67
    STARTPAGE=51;ENDPAGE=67;TITLE=Dynamic Logic. New Trends and Applications

    وصف الملف: application/pdf

  8. 8
  9. 9
  10. 10