×

zbMATH — the first resource for mathematics

Found 87 Documents (Results 1–87)

100
MathJax
Theory Probab. Math. Stat. 87, 31-40 (2013); translation from Teor. Jmovirn. Mat. Stat. 87, 28-37 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Drmota, Michael (ed.) et al., Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’10), Vienna, Austria, June 28 – July 2, 2010. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 329-342 (2010).
MSC:  60F05 60G50 60J10
PDF BibTeX XML Cite
Full Text: Link arXiv
Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
MSC:  90C27 90B80
PDF BibTeX XML Cite
Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 643-648 (1997).
MSC:  68T20 68Q25 03B05
PDF BibTeX XML Cite
Mathematics and its Applications (Dordrecht). 263. Dordrecht: Kluwer Academic Publishers. xii, 521 p. $225.00; Dfl. 365.00; £145.50 (1993).
MSC:  62F10 62-01
PDF BibTeX XML Cite
Kolchin, V. F. (ed.) et al., Probabilistic methods in discrete mathematics. Proceedings of the third Petrozavodsk conference. Petrozavodsk (Russia), May 11-16, 1992. Moskva: TVP. Prog. Pure & Appl. Discret. Math. 1, 366-375 (1993).
MSC:  60J05 60C05
PDF BibTeX XML Cite
Kolchin, V. F. (ed.) et al., Probabilistic methods in discrete mathematics. Proceedings of the third Petrozavodsk conference. Petrozavodsk (Russia), May 11-16, 1992. Moskva: TVP. Prog. Pure & Appl. Discret. Math. 1, 298-304 (1993).
MSC:  60B15 60E10 60J99
PDF BibTeX XML Cite
Theory Probab. Appl. 33, No. 4, 749-755 (1988); translation from Teor. Veroyatn. Primen. 33, No. 4, 807-813 (1988).
MSC:  62E20 60F05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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