×

zbMATH — the first resource for mathematics

Found 2,998 Documents (Results 1–100)

100
MathJax
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 370-388 (2021).
MSC:  68Q60 68Q32 68T05
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 2370-2377 (2020).
MSC:  68Q32 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Liu, Joseph K. (ed.) et al., Information security and privacy. 25th Australasian conference, ACISP 2020, Perth, WA, Australia, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12248, 425-444 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Contemporary Mathematics 754. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5163-9/pbk; 978-1-4704-5637-5/ebook). x, 364 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12281, 17-31 (2020).
MSC:  68Qxx 68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 602-621 (2020).
MSC:  68Q32 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Rahman, Azizur (ed.), Statistics for data science and policy analysis. Proceedings of the applied statistics and policy analysis conference 2019, ASPAC2019, Wagga Wagga, Australia, September 5–6, 2019. Singapore: Springer. 333-346 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 325-337 (2020).
MSC:  68P15 68Q32 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Bucciarelli, Edgardo (ed.) et al., Decision economics: complexity of decisions and decisions for complexity. Papers based on the presentations at the international conference on decision economics, DECON 2019, Ávila, Spain, June 26–28, 2019. Cham: Springer. Adv. Intell. Syst. Comput. 1009, 210-218 (2020).
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
Biographic Reference
all top 3
Software