Visas 1 - 10 av 23 resultat för sökning '"Logics and Meanings of Programs."', Sökningstid: 0,02s Förfina resultatet
  1. 1

    Emotional Cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp av Perlovsky, Leonid, Deming, Ross, Ilin, Roman

    Publicerad 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Emotional Cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
  2. 2

    The mathematics of language 12th biennial conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

    Publicerad 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    The mathematics of language 12th biennial conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
  3. 3

    Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice o...

    Publicerad 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
  4. 4

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication. av Fekete, Alan

    I publikationen Journal of the ACM
    Artikel

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  5. 5

    Software reliability via run-time result-checking. av Wasserman, Hal

    I publikationen Journal of the ACM
    Artikel

    Software reliability via run-time result-checking.
  6. 6

    Compositional refinement of interactive systems. av Broy, Manfred

    I publikationen Journal of the ACM
    Artikel

    Compositional refinement of interactive systems.
  7. 7

    Applications of a logic of knowledge to motion planning under uncertainty. av Brafman, Ronen I.

    I publikationen Journal of the ACM
    Artikel

    Applications of a logic of knowledge to motion planning under uncertainty.
  8. 8

    A specification language for coordinated objects. av Ciobanu, Gabriel

    I publikationen Software engineering notes.
    Artikel

    A specification language for coordinated objects.
  9. 9

    Evaluating and tuning a static analysis to find null pointer bugs. av Hovemeyer, David

    I publikationen Software engineering notes.
    Artikel

    Evaluating and tuning a static analysis to find null pointer bugs.
  10. 10

    Symbolic path simulation in path-sensitive dataflow analysis. av Hampapuram, Hari

    I publikationen Software engineering notes.
    Artikel

    Symbolic path simulation in path-sensitive dataflow analysis.

Sökverktyg: