×

zbMATH — the first resource for mathematics

Found 32 Documents (Results 1–32)

100
MathJax
Lu, Zaixin (ed.) et al., Combinatorial optimization and applications. 9th international conference, COCOA 2015, Houston, TX, USA, December 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9486, 481-495 (2015).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 63-74, electronic only (2014).
MSC:  68Q60 03B44 90B20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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