×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59775-1/pbk; 978-3-319-59776-8/ebook). Lecture Notes in Computer Science 10335, 3-20 (2017).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 203-217 (2006).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Reviewing State
Year of Publication
Classification
all top 3
Software