×

zbMATH — the first resource for mathematics

Found 75 Documents (Results 1–75)

100
MathJax
Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 41, 16 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 414-433 (2013).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 127-135 (2012).
MSC:  65F15
PDF BibTeX XML Cite
Full Text: DOI
Inverse and Ill-Posed Problems Series 55. Berlin: de Gruyter (ISBN 978-3-11-022400-9/hbk; 978-3-11-022401-6/ebook). xv, 459 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Palamidessi, Catuscia (ed.), Logic programming. 19th international conference, ICLP 2003, Mumbai, India, December 9–13, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20642-6/pbk). Lect. Notes Comput. Sci. 2916, 300-314 (2003).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 41, No. 7, 960-973 (2001); translation from Zh. Vychisl. Mat. Mat. Fiz. 41, No. 7, 1012-1025 (2001).
MSC:  90C20 65K05
PDF BibTeX XML Cite
Hoffmann, Karl-Heinz (ed.) et al., Mathematik: Schlüsseltechnologie für die Zukunft. Verbundprojekte zwischen Universität und Industrie. Berlin: Springer. 243-253 (1997).
MSC:  76M20 76S05
PDF BibTeX XML Cite
Mitteilungen aus dem Institut für Mechanik, Ruhr-Universität Bochum 73. Bochum: Ruhr-Universität Bochum, Fak. f. Maschinenbau (Diss.). 134 S. (1990).
MSC:  74C15 74C20 74S30 74S05
PDF BibTeX XML Cite

Filter Results by …

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