×

zbMATH — the first resource for mathematics

Found 160 Documents (Results 1–100)

100
MathJax
Proc. Steklov Inst. Math. 288, 10-28 (2015); translation from Tr. Mat. Inst. Steklova 288, 16-37 (2015).
MSC:  57S15 53D20 14M25
PDF BibTeX XML Cite
Full Text: DOI arXiv
Prouff, Emmanuel (ed.), Constructive side-channel analysis and secure design. 5th international workshop, COSADE 2014, Paris, France, April 13–15, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8622, 261-280 (2014).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 51-65 (2013).
MSC:  68T15 11E25 14P10 65K10 68W30 90C22 90C30
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 (ISBN 978-3-642-30022-6/hbk; 978-3-642-30023-3/ebook). Lecture Notes in Computational Science and Engineering 87, 309-319 (2012).
MSC:  65D25
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 (ISBN 978-3-642-30022-6/hbk; 978-3-642-30023-3/ebook). Lecture Notes in Computational Science and Engineering 87, 261-271 (2012).
MSC:  65D25 68W30
PDF BibTeX XML Cite
Full Text: DOI
De Vos, Alexis (ed.) et al., Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 7165, 43-53 (2012).
MSC:  81P65 68Q06
PDF BibTeX XML Cite
Full Text: DOI
Cyran, Krzysztof A. (ed.) et al., Man-machine interactions. Papers based on the presentations at the international conference (ICMMI 2009), Kocierz Pass, Poland, September 25–27, 2009. Berlin: Springer (ISBN 978-3-642-00562-6/pbk; 978-3-642-00563-3/ebook). Advances in Intelligent and Soft Computing 59, 321-325 (2009).
MSC:  68T30 68T05 68T20
PDF BibTeX XML Cite
Full Text: DOI
Xpert.press. Berlin: Springer (ISBN 978-3-540-23869-0/hbk; 978-3-540-68844-0/ebook). xxiv, 1335 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Donner, Reik V. (ed.) et al., Nonlinear time series analysis in the geosciences. Applications in climatology, geodynamics and solar-terrestrial physics. Selected papers based on the presentations at the session on ‘Application of nonlinear times series analysis in geoscience’, Vienna, Austria, April 15–20, 2007. Berlin: Springer (ISBN 978-3-540-78937-6/hbk). Lecture Notes in Earth Sciences 112, 293-309 (2008).
MSC:  86A25 86A05 76W05
PDF BibTeX XML Cite
Full Text: DOI
Archer, Myler (ed.) et al., Proceedings of the 6th international workshop on strategies in automated deduction (STRATEGIES 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 11, 59-79 (2007).
MSC:  68T15 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Paillier, Pascal (ed.) et al., Cryptographic hardware and embedded systems – CHES 2007. 9th international workshop, Vienna, Austria, September 10–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74734-5/pbk). Lecture Notes in Computer Science 4727, 14-27 (2007).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 216-223 (2005).
MSC:  65Fxx 65Y15 68N19
PDF BibTeX XML Cite
Full Text: DOI
Carl, Michael (ed.) et al., Recent advances in example-based machine translation. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1400-7/hbk). Text Speech Lang. Technol. 21, 255-286 (2003).
MSC:  68T50 68T05
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