×

zbMATH — the first resource for mathematics

Found 142 Documents (Results 1–100)

100
MathJax
Chapman & Hall/CRC Biostatistics Series. Boca Raton, FL: CRC Press (ISBN 978-1-138-30733-9/hbk; 978-1-351-33946-9/ebook). xiii, 339 p. (2019).
MSC:  92-02 92C50 62P10
PDF BibTeX XML Cite
Full Text: DOI
Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 16, 18 p. (2018).
MSC:  68M14 68M20
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Communication Networks 20. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-887-2/pbk; 978-1-68173-615-0/hbk; 978-1-62705-899-5/ebook). xx, 220 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 315-324 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Jobstmann, Barbara (ed.) et al., Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17–19, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9583, 206-225 (2016).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 263-277 (2013).
MSC:  68U35
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 239-240 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Karloff, Howard J. (ed.) et al., Proceedings of the 44th annual ACM symposium on theory of computing, STOC 2012. New York, NY, USA, May 19–22, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1245-5). 983-1002 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Aguilera, Marcos K. (ed.), Distributed computing. 26th international symposium, DISC 2012, Salvador, Brazil, October 16–18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33650-8/pbk). Lecture Notes in Computer Science 7611, 267-281 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 147-158 (2011).
MSC:  68N30 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 29th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’10, Zurich, Switzerland, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-888-9). 141-150 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 29th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’10, Zurich, Switzerland, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-888-9). 36-44 (2010).
MSC:  68W15 68M14
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 377-405 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 28th annual ACM symposium on principles of distributed computing, PODC ’09, Calgary, AB, Canada, August 10–12, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-396-9). 26-35 (2009).
MSC:  68M14 68Q17 68W15
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Control and Information Sciences 394. London: Springer (ISBN 978-1-84882-974-9/pbk; 978-1-84882-975-6/ebook). xiii, 177 p. (2009).
MSC:  93-02 93B51 93B50
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 161-172 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 109-122 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 3-12 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 238-247 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 78-91 (2005).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI
Härdle, Wolfgang (ed.) et al., COMPSTAT. Proceedings in computational statistics. 15th symposium, Berlin, Germany, August 24–28, 2002. Heidelberg: Physica-Verlag. 605-610 (2002).
PDF BibTeX XML Cite
Full Text: DOI
Härdle, Wolfgang (ed.) et al., COMPSTAT. Proceedings in computational statistics. 15th symposium, Berlin, Germany, August 24–28, 2002. Heidelberg: Physica-Verlag. 575-580 (2002).
MSC:  62-08 62-04
PDF BibTeX XML Cite
Full Text: DOI
Publicaciones del Departamento de Geometría y Topología, Universidad de Santiago de Compostela 96. Santiago de Compostela: Univ. de Santiago de Compostela, Dept. de Geometría y Topología (Dissertation) (ISBN 84-89390-13-4/pbk). 88 p. (2002).
PDF BibTeX XML Cite
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4–7, 2000. Singapore: World Scientific (ISBN 981-238-179-1/hbk). 37-58 (2002).
PDF BibTeX XML Cite
Bethlehem, Jelke G. (ed.) et al., COMPSTAT. Proceedings of the 14th symposium on computational statistics, Utrecht, Netherlands, August 21–25, 2000. Heidelberg: Physica-Verlag. 121-130 (2000).
MSC:  62M10 62P20 62-08
PDF BibTeX XML Cite
Full Text: DOI
Monard, Maria Carolina (ed.) et al., Advances in artificial intelligence. International joint conference, 7th Ibero-American conference on AI, 15th Brazilian symposium on AI, IBERAMIA-SBIA 2000. Atibaia, SP, Brazil, November 19–22, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41276-X). Lect. Notes Comput. Sci. 1952, 320-328 (2000).
MSC:  68T50 68T05
PDF BibTeX XML Cite
Full Text: Link
Gergatsoulis, Manolis (ed.) et al., Intensional programming II. Papers from the 12th international symposium on languages for intensional programming (ISLIP’99), Athens, Greece, June 28-30, 1999. Singapore: World Scientific. 229-243 (2000).
MSC:  68P15
PDF BibTeX XML Cite
Comtet, A. (ed.) et al., Aspects topologiques de la physique en basse dimension. Les Houches - École d’Été de Physique Theorique, session LXIX. Les Ulis: EDP Sciences. 473-550 (1999).
MSC:  81T16 81-02
PDF BibTeX XML Cite
Cambridge: Cambridge University Press. xi, 361 p. (1997).
MSC:  91E30 92-06 00B25
PDF BibTeX XML Cite
Niezgódka, Marek (ed.) et al., Free boundary problems, theory and applications. Lectures presented at the congress, Zakopane, Poland, June 11–18, 1995. Harlow: Longman. Pitman Res. Notes Math. Ser. 363, 166-174 (1996).
MSC:  35R35 35-02
PDF BibTeX XML Cite
Cohen, S. (ed.) et al., Finite fields and applications. Proceedings of the 3rd international conference, Glasgow, UK, July 11–14, 1995. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 233, 243-268 (1996).
PDF BibTeX XML Cite
Dordrecht: Kluwer Academic Publishers. vii, 421 p. (1996).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite
Alvino, Angelo (ed.) et al., Partial differential equations of elliptic type. Proceedings of the conference held October 12-16, 1992 in Cortona, Italy. Cambridge: University Press. Symp. Math. 35, 1-36 (1994).
Reviewer: C.Bandle (Basel)
MSC:  35P15
PDF BibTeX XML Cite
Saarbrücken: Univ. des Saarlandes, Naturwissenschaftliche Fakultät, 145 S. (1994).
PDF BibTeX XML Cite
Moskva: Izdatel’stvo Moskovskogo Gosudarstvennogo Universiteta. 112 p. (1991).
Reviewer: V.A.Chernyatin
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 551-563 (1991).
MSC:  03B45 68M15
PDF BibTeX XML Cite

Filter Results by …

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