×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Pan, Linqiang (ed.) et al., Bio-inspired computing: theories and applications. 14th international conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019. Revised selected papers. Part I. Singapore: Springer (ISBN 978-981-15-3424-9/pbk; 978-981-15-3425-6/ebook). Communications in Computer and Information Science 1159, 77-87 (2020).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 319-336 (2013).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 179-193 (2012).
MSC:  68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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