×

zbMATH — the first resource for mathematics

Found 187 Documents (Results 1–100)

100
MathJax
Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9129, 113-136 (2015).
MSC:  68Q70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 24-35 (2013).
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 211-223 (2012).
MSC:  68Q45 68Q17 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Dym, Harry (ed.) et al., A panorama of modern operator theory and related topics. The Israel Gohberg memorial volume. Basel: Birkhäuser (ISBN 978-3-0348-0220-8/hbk; 978-3-0348-0221-5/ebook). Operator Theory: Advances and Applications 218, 387-401 (2012).
MSC:  15B05 15A09 65F05
PDF BibTeX XML Cite
Full Text: DOI
Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 193-218 (2012).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 385-397 (2010).
MSC:  68T30 68P05 68U15
PDF BibTeX XML Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 325-340 (2009).
MSC:  97U50 68W30 97D60
PDF BibTeX XML Cite
Full Text: DOI
Janardan, Ravi (ed.) et al., Geometric and algorithmic aspects of computer-aided design and manufacturing. DIMACS workshop computer aided design and manufacturing, October 7–9, 2003, Piscataway, New Jersey. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3628-5/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 67, 281-297 (2005).
MSC:  65D17 14Q10
PDF BibTeX XML Cite
Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17–19, 2002. Singapore: World Scientific (ISBN 981-238-048-5). 421-431 (2002).
MSC:  68W30 68U35
PDF BibTeX XML Cite
Kosaraju, Deborah, Proceedings of the 12th annual ACM-SIAM symposium on discrete algorithms. Washington, DC, USA, January 7-9, 2001. Philadelphia, PA: SIAM, Society for Industrial and Applied Mathematics. 496-505 (2001).
MSC:  65H05 12Y05 30C15 65D18 26C10
PDF BibTeX XML Cite
Ciliberto, Ciro (ed.) et al., Applications of algebraic geometry to coding theory, physics and computation. Proceedings of the NATO advanced research workshop, Eilat, Israel, February 25-March 1, 2001. Dordrecht: Kluwer Academic Publishers. NATO Sci. Ser. II, Math. Phys. Chem. 36, 161-194 (2001).
PDF BibTeX XML Cite
Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13–15, 1998. New York, NY: ACM Press. 207-214 (1998).
Reviewer: Th.Sonar (Hamburg)
MSC:  65G30
PDF BibTeX XML Cite
Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 239-254 (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. 310-315 (1997).
MSC:  68W30 34L99 12Y05 12H05
PDF BibTeX XML Cite
Berz, Martin (ed.) et al., Computational differentiation: techniques, applications, and tools. Proceedings of the second international workshop on computational differentiation, February 12–14, 1996. Philadelphia, PA: SIAM. 117-127 (1996).
MSC:  65D25
PDF BibTeX XML Cite
33rd annual symposium on Foundations of computer science (FOCS). Proceedings, Pittsburgh, PA, USA, October 24–27, 1992. Washington, DC: IEEE Computer Society Press, 447-456 (1992).
MSC:  12Y05 68W30
PDF BibTeX XML Cite
Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 1-14 (1992).
Reviewer: N.Curteanu (Iaşi)
MSC:  03D05 68Q70
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