Mostra 61 - 70 risultati di 146 ricerca '"Theory of computation."', tempo di risposta: 0,02s Raffina i risultati
  1. 61

    A modified cognitive information complexity measure of software. di Kushwaha, Dharmender Singh

    Articolo

    A modified cognitive information complexity measure of software.
  2. 62

    Practical aspects of DSS design for commodities transportation during special events. di Zacharias, Manousaridis

    Articolo

    Practical aspects of DSS design for commodities transportation during special events.
  3. 63

    Relational analysis of algebraic datatypes. di Kuncak, Viktor

    Articolo

    Relational analysis of algebraic datatypes.
  4. 64

    Lightweight object specification with typestates. di Bierhoff, Kevin

    Articolo

    Lightweight object specification with typestates.
  5. 65

    Joining dataflow with predicates. di Fischer, Jeffrey

    Articolo

    Joining dataflow with predicates.
  6. 66

    Generating optimal distinguishing sequences with a model checker. di Robinson-Mallett, Christopher

    Articolo

    Generating optimal distinguishing sequences with a model checker.
  7. 67

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. di Bontemps, Yves

    Articolo

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
  8. 68

    Some agent theory for the semantic web. di Fass, Leona F.

    Articolo

    Some agent theory for the semantic web.
  9. 69

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. di Dingel, Juergen

    Articolo

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  10. 70

    Efficient incremental algorithms for dynamic detection of likely invariants. di Perkins, Jeff H.

    Articolo

    Efficient incremental algorithms for dynamic detection of likely invariants.

Strumenti per la ricerca: