×

zbMATH — the first resource for mathematics

Found 310 Documents (Results 1–100)

100
MathJax
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 826-839 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-17126-1/pbk; 978-3-030-17127-8/ebook). Lecture Notes in Computer Science 11425, 133-149 (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Pekeč, Saša (ed.) et al., Algorithmic decision theory. 6th international conference, ADT 2019, Durham, NC, USA, October 25–27, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11834, 1-16 (2019).
MSC:  91B08 90B40 90C27
PDF BibTeX XML Cite
Full Text: DOI
Janoos, Firdaus (ed.) et al., Algorithmic learning theory 2018. Proceedings of the 29th international conference (ALT 2018), Lanzarote, Spain, April 7–9, 2018. Proceedings of Machine Learning Research (PMLR) 83. [s.l.]: Proceedings of Machine Learning Research PMLR. 470-488 (2018).
MSC:  62C10 62B10 62C20
PDF BibTeX XML Cite
Full Text: Link
Wang, Yue (ed.) et al., Trends in control and decision-making for human-robot collaboration systems. Cham: Springer. 177-205 (2017).
MSC:  93C85 62C12 93A30 94A08
PDF BibTeX XML Cite
Full Text: DOI
Hanneke, Steve (ed.) et al., International conference on algorithmic learning theory. Proceedings of the 28th conference (ALT 2017), Kyoto University, Kyoto, Japan, October 15–17, 2017. [s.l.]: Proceedings of Machine Learning Research PMLR. Proc. Mach. Learn. Res. (PMLR) 76, 223-237 (2017).
MSC:  62C20
PDF BibTeX XML Cite
Full Text: Link
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 7, 23 p. (2017).
MSC:  68P15 68W25
PDF BibTeX XML Cite
Full Text: DOI
Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 11, 19 p. (2017).
MSC:  68P15 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Lasaulce, Samson (ed.) et al., Network games, control, and optimization. Proceedings of NETGCOOP 2016, Avignon, France, November 23–25, 2016. Basel: Birkhäuser/Springer. Static Dyn. Game Theory: Found. Appl., 159-167 (2017).
MSC:  94A05 91A15
PDF BibTeX XML Cite
Full Text: DOI
Lasaulce, Samson (ed.) et al., Network games, control, and optimization. Proceedings of NETGCOOP 2016, Avignon, France, November 23–25, 2016. Basel: Birkhäuser/Springer. Static Dyn. Game Theory: Found. Appl., 57-68 (2017).
MSC:  91A80 90C05 68M10
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, 252-263 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 30, 17 p. (2016).
MSC:  91A43 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Proceedings of the 3rd international conference on modelling, computation and optimization in information systems and management sciences, MCO 2015, Lorraine, France, May 11–13, 2015. Part II. Cham: Springer (ISBN 978-3-319-18166-0/pbk; 978-3-319-18167-7/ebook). Advances in Intelligent Systems and Computing 360, 343-355 (2015).
MSC:  90B35 68M20
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 114-127 (2015).
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
all top 3
Software