×

zbMATH — the first resource for mathematics

Found 376 Documents (Results 1–100)

100
MathJax
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 41, No. 3, 134-141 (2017); translation from Vestn. Mosk. Univ., Ser. XV 2017, No. 3, 29-35 (2017).
MSC:  94C10
PDF BibTeX XML Cite
Full Text: DOI
Dutot, Pierre-François (ed.) et al., Euro-Par 2016: parallel processing. 22nd international conference on parallel and distributed computing, Grenoble, France, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9833, 477-489 (2016).
MSC:  65Y10 68M14 65F99
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24703-8/pbk; 978-3-319-24704-5/pbk). Lecture Notes in Computer Science 9348, 3-26 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Crisan, Dan (ed.) et al., Stochastic analysis and applications 2014. In honour of Terry Lyons. Selected articles based on the presentations at the conference, Oxford, UK, September 23–27, 2013. Cham: Springer (ISBN 978-3-319-11291-6/hbk; 978-3-319-11292-3/ebook). Springer Proceedings in Mathematics & Statistics 100, 51-76 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Dokl. Math. 90, No. 3, 697-698 (2014); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 459, No. 2, 154-155 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Dokl. Math. 90, No. 1, 450-452 (2014); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 457, No. 3, 265-267 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 58, No. 8, 71-73 (2014); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2014, No. 8, 86-89 (2014).
MSC:  46L05 46L55
PDF BibTeX XML Cite
Full Text: DOI
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Johns Hopkins Studies in the Mathematical Sciences. Baltimore, MD: The Johns Hopkins University Press (ISBN 978-1-4214-0794-4/hbk; 978-1-4214-0859-0/ebook). xxi, 756 p. (2013).
PDF BibTeX XML Cite
Ontos Mathematical Logic 3. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). 542 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 50, No. 6, 539-552 (2012); translation from Algebra Logika 50, No. 6, 802-821 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Al-Begain, Khalid (ed.) et al., Analytical and stochastic modeling techniques and applications. 19th international conference, ASMTA 2012, Grenoble, France, June 4–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30781-2/pbk). Lecture Notes in Computer Science 7314, 255-270 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Pop, Horia F. (ed.) et al., 8th joint conference on mathematics and computer science, MaCS 2010, Komárno, Slovakia, July 14–17, 2010. Selected papers. Győr: NOVADAT (ISBN 978-963-9056-38-1/pbk). 385-394 (2011).
MSC:  18C20 18D35 68Q65 68Q55
PDF BibTeX XML Cite
Mastorakis, Nikos (ed.) et al., Applied mathematics and informatics. European conference for the applied mathematics and informatics, Vouliagmeni, Athens, Greece, December 29–31, 2010. Athens: WSEAS Press (ISBN 978-960-474-260-8/hbk; 978-960-474-266-0/cd-rom). Applied Mathematics and Informatics, 184-189 (2010).
MSC:  68Q45 05C90
PDF BibTeX XML Cite
Sib. Zh. Vychisl. Mat. 13, No. 3, 297-321 (2010); translation in Numer. Analysis Appl. 3, No. 3, 241-262 (2010).
MSC:  65F05 65Y05 05C50
PDF BibTeX XML Cite
Full Text: DOI
Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009).
MSC:  03D78 65F99 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv
Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 11-20 (2009).
MSC:  03E20 03D20 03E10
PDF BibTeX XML Cite
Full Text: DOI
Dokl. Math. 80, No. 1, 460-462 (2009); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 427, No. 1, 14-16 (2009).
MSC:  15A72 05C05 05C50
PDF BibTeX XML Cite
Full Text: DOI
Dokl. Math. 76, No. 2, 641-644 (2007); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 416, No. 1, 7-10 (2007).
MSC:  32A20 68W30 32A27
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 435-444 (2006).
MSC:  03D20
PDF BibTeX XML Cite
Full Text: DOI
Chatzidakis, Zoé (ed.) et al., Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). Lecture Notes in Logic 27, 75-95 (2006).
MSC:  03F30 03F45 03F15
PDF BibTeX XML Cite
Crosilla, Laura (ed.) et al., From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Oxford: Oxford University Press (ISBN 0-19-856651-4/hbk). Oxford Logic Guides 48, 293-303 (2005).
MSC:  03F60 46S30
PDF BibTeX XML Cite
Zh. Vychisl. Mat. Mat. Fiz. 44, No. 10, 1726-1734 (2004); translation in Comput. Math. Math. Phys. 44, No. 10, 1640-1648 (2004).
MSC:  65F20
PDF BibTeX XML Cite
Full Text: Link

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