×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9609, 186-202 (2016).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 517-526 (2015).
MSC:  68Q60 68N19 68V15
PDF BibTeX XML Cite
Full Text: DOI
Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 1-25 (2014).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI