প্রদর্শন 1 - 20 ফলাফল এর 177 অনুসন্ধানের জন্য '"Computer science (mathematics)"', জিজ্ঞাসা করার সময়: 0.07সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1
    POVMs and Naimark's theorem without sums

    POVMs and Naimark's theorem without sums অনুযায়ী Coecke, B, Paquette, É

    প্রকাশিত 2008
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  2. 2
    Weak cost automata over infinite trees

    Weak cost automata over infinite trees অনুযায়ী Vanden Boom, M

    প্রকাশিত 2012
    বিষয়গুলি: “…Computer science (mathematics)…”
    গবেষণাপত্র
  3. 3
    Investigations on the dual calculus

    Investigations on the dual calculus অনুযায়ী Tzevelekos, N

    প্রকাশিত 2006
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  4. 4
    A hierarchy of quantum semantics

    A hierarchy of quantum semantics অনুযায়ী Perdrix, S

    প্রকাশিত 2008
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  5. 5
    Type inference and strong static type checking for Promela

    Type inference and strong static type checking for Promela অনুযায়ী Donaldson, A, Gay, S

    প্রকাশিত 2010
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  6. 6
    On an interpretation of safe recursion in light affine logic

    On an interpretation of safe recursion in light affine logic অনুযায়ী Murawski, A, Ong, C

    প্রকাশিত 2004
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  7. 7
    Higher-order model checking with traversals

    Higher-order model checking with traversals অনুযায়ী Neatherway, R

    প্রকাশিত 2014
    বিষয়গুলি: “…Computer science (mathematics)…”
    গবেষণাপত্র
  8. 8
    Factorizing RSA keys: an improved analogue solution

    Factorizing RSA keys: an improved analogue solution অনুযায়ী Blakey, E

    প্রকাশিত 2009
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  9. 9
    Apples and oranges? Comparing unconventional computers

    Apples and oranges? Comparing unconventional computers অনুযায়ী Blakey, E

    প্রকাশিত 2010
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  10. 10
    Small model theorems for data independent systems in Alloy

    Small model theorems for data independent systems in Alloy অনুযায়ী Momtahan, L

    প্রকাশিত 2007
    বিষয়গুলি: “…Computer science (mathematics)…”
    গবেষণাপত্র
  11. 11
    Apples & oranges? Comparing unconventional computers

    Apples & oranges? Comparing unconventional computers অনুযায়ী Blakey, E

    প্রকাশিত 2010
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  12. 12
    A taxonomy of web services using CSP

    A taxonomy of web services using CSP অনুযায়ী Momtahan, L, Martin, A, Roscoe, A

    প্রকাশিত 2006
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  13. 13
    Evolving access control: formal models and analysis

    Evolving access control: formal models and analysis অনুযায়ী Sieunarine, C, Clint Sieunarine

    প্রকাশিত 2011
    বিষয়গুলি: “…Computer science (mathematics)…”
    গবেষণাপত্র
  14. 14
    Accuracy estimation for sensor networks

    Accuracy estimation for sensor networks অনুযায়ী Wen, H

    প্রকাশিত 2014
    বিষয়গুলি: “…Computer science (mathematics)…”
    গবেষণাপত্র
  15. 15
    Dominance: consistently comparing computational complexity

    Dominance: consistently comparing computational complexity অনুযায়ী Blakey, E

    প্রকাশিত 2008
    বিষয়গুলি: “…Computer science (mathematics)…”
    Report
  16. 16
    Matching with mismatches and assorted applications

    Matching with mismatches and assorted applications অনুযায়ী Percival, C

    প্রকাশিত 2006
    বিষয়গুলি: “…Computer science (mathematics)…”
    গবেষণাপত্র
  17. 17
    Combining sequence diagrams and OCL for liveness.

    Combining sequence diagrams and OCL for liveness. অনুযায়ী Cavarra, A

    প্রকাশিত 2005
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  18. 18
    Algebra and sequent calculus for epistemic actions

    Algebra and sequent calculus for epistemic actions অনুযায়ী Baltag, A, Coecke, B, Sadrzadeh, M

    প্রকাশিত 2005
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  19. 19
    Conditional doxastic models: a qualitative approach to dynamic belief revision

    Conditional doxastic models: a qualitative approach to dynamic belief revision অনুযায়ী Baltag, A, Sonja Smets

    প্রকাশিত 2006
    বিষয়গুলি: “…Computer science (mathematics)…”
    Journal article
  20. 20
    A model-independent theory of computational complexity: from patience to precision and beyond

    A model-independent theory of computational complexity: from patience to precision and beyond অনুযায়ী Blakey, E

    প্রকাশিত 2010
    বিষয়গুলি: “…Computer science (mathematics)…”
    গবেষণাপত্র

অনুসন্ধান সাধনীগুলি: