1
Wydane 2015
Spis treści: ...-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis -- Assume-Guarantee Synthesis...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2008
Spis treści: ... Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2005
Spis treści: ... Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction -- A Robust Approach...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2008
Spis treści: ... Systems -- Unfolding-Based Diagnosis of Systems with an Evolving Topology -- On the Construction of Sorted...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2008
Spis treści: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2005
Spis treści: ... and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2007
Spis treści: ... of Content-Based and Link-Based Ranking in Web Search -- Rough Sets in Hybrid Soft Computing Systems...
Dokumenty pełnotekstowe
Elektroniczne E-book