Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005 (source)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    Adaptive algorithm to estimate varying parameters of the regression modelPriisalu, HelenTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))
    book article
  • book article
    Optimal scheduler synthesis using cost optimal reachability analysisErnits, Juhan-PeepTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))
    book article
  • book article
    Program construction as an optimization taskSanko, JelenaTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))
    book article
  • book article
    Program proofs and compilationSaabas, AndoTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))
    book article
  • book article
    Propositional logic for program synthesisKotkas, VahurTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))
    book article
Number of records 5, displaying 1 - 5