×

zbMATH — the first resource for mathematics

Found 323 Documents (Results 1–100)

100
MathJax
Pan, Linqiang (ed.) et al., Bio-inspired computing: theories and applications. 14th international conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019. Revised selected papers. Part I. Singapore: Springer (ISBN 978-981-15-3424-9/pbk; 978-981-15-3425-6/ebook). Communications in Computer and Information Science 1159, 77-87 (2020).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI
Kimmel, Ron (ed.) et al., Processing, analyzing and learning of images, shapes, and forms. Part 2. Amsterdam: Elsevier/North Holland. Handb. Numer. Anal. 20, 503-531 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Demetriou, Ioannis (ed.) et al., Approximation and optimization. Algorithms, complexity and applications. Based on the conference on approximation and optimization: algorithms, complexity, and applications, National and Kapodistrian University of Athens, Athens, Greece, June 29–30, 2017. Cham: Springer. Springer Optim. Appl. 145, 27-34 (2019).
MSC:  91D30 90C27 41A99
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-816551-5/pbk; 978-0-12-816552-2/ebook). xiii, 308 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press (ISBN 978-1-138-07063-9/hbk; 978-1-138-07058-5/pbk; 978-1-351-60981-4/ebook). xiv, 189 p. (2019).
MSC:  65-01 00A06 00A69
PDF BibTeX XML Cite
Full Text: Link
Princeton, NJ: Princeton University Press (ISBN 978-0-691-18056-4/hbk; 978-0-691-18057-1/pbk; 978-1-4008-8942-6/ebook). xiii, 154 p. (2018).
PDF BibTeX XML Cite
Hackensack, NJ: World Scientific (ISBN 978-981-3225-48-0/hbk; 978-981-3225-50-3/ebook). x, 460 p., 16 p./booklet (2018).
PDF BibTeX XML Cite
Full Text: DOI
Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 20-35 (2017).
MSC:  68Q85 60J20 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 289-303 (2017).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Bilò, Vittorio (ed.) et al., Algorithmic game theory. 10th international symposium, SAGT 2017, L’Aquila, Italy, September 12–14, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-66699-0/pbk; 978-3-319-66700-3/ebook). Lecture Notes in Computer Science 10504, 160-172 (2017).
MSC:  91A43 91D30 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Scalable Computing and Communications. Cham: Springer (ISBN 978-3-319-59833-8/hbk; 978-3-319-59834-5/ebook). x, 162 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Wiesbaden: Springer Vieweg (ISBN 978-3-658-15189-8/pbk; 978-3-658-15190-4/ebook). xv, 205 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-30023-8/pbk; 978-3-319-30024-5/ebook). Lecture Notes in Computer Science 9616, 255-268 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press (ISBN 978-1-4987-5777-5/hbk; 978-0-367-78313-6/pbk; 978-1-315-36785-9/ebook). xvii, 586 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-658-09989-3/pbk; 978-3-658-09990-9/ebook). xi, 472 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Tamir, Dan E. (ed.) et al., Fifty years of fuzzy logic and its applications. Cham: Springer (ISBN 978-3-319-19682-4/hbk; 978-3-319-19683-1/ebook). Studies in Fuzziness and Soft Computing 326, 79-106 (2015).
MSC:  93C42 60A86 60J20
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-319-22749-8/hbk; 978-3-319-22750-4/ebook). xx, 719 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
IISc Lecture Notes Series 5. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4335-45-4/hbk; 978-981-4656-27-6/ebook). xvii, 383 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Wen, Zhenkun (ed.) et al., Foundations of intelligent systems. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. 2 volume set. Berlin: Springer (ISBN 978-3-642-54923-6/pbk). Advances in Intelligent Systems and Computing 277, 273-285 (2014).
MSC:  68T35 68U35 91D30
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 309-327, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI
Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 156-241 (2014).
MSC:  68Q87 60J20 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 26-66 (2014).
MSC:  68Q87 60J20 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Wiesbaden: Springer Vieweg (ISBN 978-3-658-06419-8/pbk; 978-3-658-06420-4/ebook). xi, 466 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 20-39 (2014).
PDF BibTeX XML Cite
Full Text: DOI
van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 43-57 (2014).
PDF BibTeX XML Cite
Full Text: DOI
The R Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-8448-5/hbk; 978-1-4398-8449-2/ebook). xxiii, 335 p. (2014).
PDF BibTeX XML Cite
Full Text: Link
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 427-440 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24–26, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8161, 250-266 (2013).
PDF BibTeX XML Cite
Full Text: DOI

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