×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

100
MathJax
Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 153-170 (2009).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Dodge, Yadolah (ed.), \(L_1\)-statistical procedures and related topics. Papers of the 3rd international conference on \(L_1\) norm and related methods held in Neuchâtel, Switzerland, August 11–15, 1997. Hayward, CA: IMS, Institute of Mathematical Statistics. IMS Lect. Notes, Monogr. Ser. 31, 373-383 (1997).
MSC:  62G10 60G15 62G30
PDF BibTeX XML Cite

Filter Results by …

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