×

zbMATH — the first resource for mathematics

Found 21 Documents (Results 1–21)

100
MathJax
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 76-93 (2020).
MSC:  68Qxx
PDF BibTeX Cite
Full Text: DOI
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 331-346 (2020).
PDF BibTeX Cite
Full Text: DOI
Eppstein, David (ed.), 16th Scandinavian symposium and workshops on algorithm theory. SWAT 2018, June 18–20, 2018, Malmö University, Malmö, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 101, Article 7, 13 p. (2018).
MSC:  68Wxx
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 167-176 (2018).
MSC:  68Q60 03B44
PDF BibTeX Cite
Full Text: DOI
Elomaa, Tapio (ed.) et al., Principles of data mining and knowledge discovery. 6th European conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2431, 188-199 (2002).
PDF BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software