×

zbMATH — the first resource for mathematics

Found 110 Documents (Results 1–100)

100
MathJax
Lehrbuch. Berlin: Springer Spektrum (ISBN 978-3-662-61737-3/pbk; 978-3-662-61738-0/ebook). xiv, 611 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Bohner, Martin (ed.) et al., Difference equations and discrete dynamical systems with applications. ICDEA 24, Dresden, Germany, May 21–25, 2018. Proceedings of the 24th international conference on difference equations and applications. Cham: Springer. Springer Proc. Math. Stat. 312, 335-353 (2020).
MSC:  34N05 34C20 34C10
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 73-88 (2016).
MSC:  68Q42 68Q45 92E20
PDF BibTeX XML Cite
Full Text: DOI
Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 269-284 (2014).
MSC:  68U05 68Q42 68U35
PDF BibTeX XML Cite
Full Text: DOI
König, Barbara (ed.) et al., Proceedings of the 3rd workshop on graph transformation for concurrency and verification (GT-VC 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 213, No. 1, 55-74 (2008).
MSC:  68Q42 05C62
PDF BibTeX XML Cite
Full Text: DOI
Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 411-425 (2008).
MSC:  68Q42 68-02
PDF BibTeX XML Cite
Full Text: DOI
Cipolla, Roberto (ed.) et al., The mathematics of surfaces IX. Proceedings of the 9th IMA conference, Cambridge, GB, September 4-7, 2000. London: Springer. 424-437 (2000).
MSC:  65F30 65D18 41A10
PDF BibTeX XML Cite
Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC ’98, Plattsburgh, NY, USA, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1476, 132-144 (1998).
MSC:  03B70 03B35 03F03 03B20 68Q60 03F20 68T15
PDF BibTeX XML Cite
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 244-260 (1996).
MSC:  68T15 03B20 03B35 03B45
PDF BibTeX XML Cite
Full Text: DOI
Parker, D. F. (ed.) et al., IUTAM symposium on anisotropy, inhomogeneity and nonlinearity in solid mechanics. Proceedings of the IUTAM-ISIMM symposium, Nottingham, UK, August 30 - September 3, 1994. Dordrecht: Kluwer Academic Publishers. Solid Mech. Appl. 39, 77-90 (1995).
PDF BibTeX XML Cite
Ushijima, Teruo (ed.) et al., Advances in numerical mathematics. Proceedings of the 2nd Japan-China seminar on numerical mathematics, held in August 22-26, 1994 at the University of Electro-Communications in Tokyo, Japan. Tokyo: Kinokuniya. Lect. Notes Numer. Appl. Anal. 14, 249-252 (1995).
MSC:  65D32 65N38
PDF BibTeX XML Cite
Reviewer: W.Zimmermann
MSC:  68T05 68T10 68U20 92B05 68-06 00B25
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