×

zbMATH — the first resource for mathematics

Found 139 Documents (Results 1–100)

100
MathJax
Bittencourt, Marco L. (ed.) et al., Spectral and high order methods for partial differential equations, ICOSAHOM 2016. Selected papers from the ICOSAHOM conference, June 27 – July 1, 2016, Rio de Janeiro, Brazil. Cham: Springer (ISBN 978-3-319-65869-8/hbk; 978-3-319-65870-4/ebook). Lecture Notes in Computational Science and Engineering 119, 369-382 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 273-288, electronic only (2014).
MSC:  68Q85 18C15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 309-324 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Forth, Shaun (ed.) et al., Recent advances in algorithmic differentiation. Selected papers based on the presentations at the 6th international conference on automatic differentiation (AD2012), Fort Collins, CO, USA, July 23–27, 2012. Berlin: Springer. Lect. Notes Comput. Sci. Eng. 87, 11-21 (2012).
MSC:  76M12 76M20 76W05
PDF BibTeX XML Cite
Full Text: DOI
Hesthaven, Jan S. (ed.) et al., Spectral and high order methods for partial differential equations. Selected papers from the 8th ICOSAHOM ’09 conference, Trondheim, Norway, June 22–26, 2009. Berlin: Springer (ISBN 978-3-642-15336-5/hbk; 978-3-642-15337-2/ebook). Lecture Notes in Computational Science and Engineering 76, 267-274 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 433-448 (2007).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Differ. Equ. 43, No. 4, 495-502 (2007); translation from Differ. Uravn. 43, No. 4, 481-487 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Informatik. Aachen: Shaker Verlag; Zürich: Eidgenössische Technische Hochschule (ISBN 3-8322-2134-4/pbk). 225 p. (2003).
MSC:  68M10 68-02
PDF BibTeX XML Cite
Full Text: Link
Kovtunets, V. V. (ed.), Approximation theory and its applications. Proceedings of the international conference dedicated to the memory of Vladislav Kirillovich Dzyadyk held in Kiev, Ukraine, May 27-31, 1999. Kyïv: Instytut Matematyky NAN Ukraïny. Pr. Inst. Mat. Nats. Akad. Nauk Ukr., Mat. Zastos. 31, 374-383 (2000).
MSC:  65D20 33B20 33F05
PDF BibTeX XML Cite
Winter Althaus, G. (ed.) et al., Algorithms for large scale linear algebraic systems. Applications in science and engineering. Proceedings, Gran Canaria, Spain, June 23 - July 6, 1996. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 508, 255-270 (1998).
MSC:  65F30 33C45 65F15 65D20 65F10
PDF BibTeX XML Cite
Winter Althaus, G. (ed.) et al., Algorithms for large scale linear algebraic systems. Applications in science and engineering. Proceedings, Gran Canaria, Spain, June 23 - July 6, 1996. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 508, 175-196 (1998).
PDF BibTeX XML Cite
Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 197-204 (1997).
PDF BibTeX XML Cite
Levelt, A. H. M. (ed.), Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC ’95, Montreal, Canada, July 10–12, 1995. New York, NY: ACM Press. 42-50 (1995).
MSC:  65D20 65Q05
PDF BibTeX XML Cite
Ali, Rosihan M. (ed.) et al., Computational methods and function theory 1994. Proceedings of the conference, Penang, Malaysia, March 21–25, 1994. Singapore: World Scientific. Ser. Approx. Decompos. 5, 243-265 (1995).
PDF BibTeX XML Cite
Marques de Sá, Eduardo (ed.) et al., Mathematical studies. Homage to Professor Doctor Luís de Albuquerque. Coimbra: Universidade de Coimbra, Faculdade de Ciências e Tecnologia, Departamento de Matemática, 177-186 (1994).
MSC:  65D20 33C55
PDF BibTeX XML Cite
Russ. Acad. Sci., Dokl., Math. 49, No. 3, 568-571 (1994); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 336, No. 5, 592-594 (1994).
Reviewer: S.Tersian (Russe)
MSC:  47J25 47J05
PDF BibTeX XML Cite
Differ. Equations 29, No. 9, 1367-1375 (1993); translation from Differ. Uravn. 29, No. 9, 1575-1584 (1993).
Reviewer: S.Zabek (Lublin)
PDF BibTeX XML Cite
Deutsche Geodätische Kommission bei der Bayerischen Akademie der Wissenschaften. Reihe B: Angewandte Geodäsie. 292. Frankfurt a. Main: Verlag des Instituts für Angewandte Geodäsie, 289 S. (1993).
MSC:  65D20 86A30
PDF BibTeX XML Cite
Brezinski, Claude (ed.) et al., Orthogonal polynomials and their applications. Proceedings of the third international symposium held in Erice, Italy, June 1-8, 1990. Basel: J. C. Baltzer, IMACS Ann. Comput. Appl. Math. 9, 281-285 (1991).
PDF BibTeX XML Cite
Berlin: Freie Univ. Berlin, Fachbereich Mathematik, Diss. 84 S. (1990).
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
all top 3
Software