Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Image document

Applying of Smart Technologies: Evaluation of Effectiveness

Zane Bičevska
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.193-201, ⟨10.1007/978-3-642-28038-2_15⟩
Conference papers hal-01527380v1
Image document

Uncountable Realtime Probabilistic Classes

Abuzer Yakaryilmaz , Maksims Dimitrijevs
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.102-113, ⟨10.1007/978-3-319-60252-3_8⟩
Conference papers hal-01657007v1
Image document

Error-Free Affine, Unitary, and Probabilistic OBDDs

Rishat Ibrahimov , Kamil Khadiev , Krišjānis Prūsis , Abuzer Yakaryilmaz
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.175-187, ⟨10.1007/978-3-319-94631-3_15⟩
Conference papers hal-01905639v1