×

zbMATH — the first resource for mathematics

Found 136 Documents (Results 1–100)

100
MathJax
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 589-606 (2017).
MSC:  68Q45
PDF BibTeX Cite
Full Text: DOI
Thuijsman, Frank (ed.) et al., Advances in dynamic and evolutionary games. Theory, applications, and numerical methods. Based on the symposium of the International Society of Dynamic Games, Amsterdam, Netherlands, July 9–12, 2014. Basel: Birkhäuser/Springer (ISBN 978-3-319-28012-7/hbk; 978-3-319-28014-1/ebook). Annals of the International Society of Dynamic Games 14, 77-94 (2016).
MSC:  91A15 91A05
PDF BibTeX Cite
Full Text: DOI
Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology – CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 31-49 (2012).
MSC:  94A60
PDF BibTeX Cite
Full Text: DOI
Farina, Alberto (ed.) et al., Symmetry for elliptic PDEs. 30 years after a conjecture of De Giorgi and related problems. Selected papers presented at the INdAM school, Rome, Italy, May 25–29, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4804-3/pbk). 115-137 (2010).
MSC:  35B40 35J91 35J61
PDF BibTeX Cite
Gammerman, A. (ed.), Artificial intelligence and applications. Machine learning. As part of the 26th IASTED international multi-conference on applied informatics. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-710-9/CD-ROM). 58-63 (2008).
MSC:  68T10 68T05
PDF BibTeX Cite
Dimiev, Stancho (ed.) et al., Topics in contemporary differential geometry, complex analysis and mathematical physics. Proceedings of the 8th international workshop on complex structures and vector fields, Sofia, Bulgaria, August 21–26, 2006. Hackensack, NJ: World Scientific (ISBN 978-981-270-790-1/hbk). 222-233 (2007).
MSC:  53C55
PDF BibTeX Cite
Kopotun, Kirill (ed.) et al., Trends in approximation theory. Papers from the internatinal symposium in honor of the 60th birthday of Larry L. Schumaker, Nashville, TX, USA, May 17–20, 2000. Nashville, TX: Vanderbilt University Press (ISBN 0-8265-1379-4/hbk). Innovations in Applied Mathematics, 143-148 (2001).
MSC:  65J05
PDF BibTeX Cite
Proc. Steklov Inst. Math. 235, 173-201 (2001); translation from Tr. Mat. Inst. Steklova 235, 181-210 (2001).
MSC:  14R15 13F20
PDF BibTeX Cite
Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 268-305 (2001).
MSC:  68T15 68U05 03B35
PDF BibTeX Cite
Full Text: Link
Buhmann, Martin D. (ed.) et al., Approximation theory and optimization. Tributes to M. J. D. Powell on the occasion of his 60th birthday. Cambridge: Cambridge University Press. 109-132 (1997).
PDF BibTeX Cite
Proceedings of the 5th annual ACM-SIAM symposium on discrete algorithms, Arlington, VA, USA, January 23-25, 1994. New York, NY: ACM, 593-602 (1994).
MSC:  60J20 65C05
PDF BibTeX Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 287-293 (1992).
MSC:  03F35 03F30
PDF BibTeX Cite
Algebra, logic and number theory, Proc. 15th Port.-Span. Meet. Math., Évora/ Port. 1990, Vol. I, 95-99 (1991).
MSC:  15B57 15A18
PDF BibTeX 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