×

zbMATH — the first resource for mathematics

Found 306 Documents (Results 1–100)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 181-194 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Ito, Hiro (ed.) et al., 9th international conference on fun with algorithms, FUN 2018, June 13–15, 2018, La Maddalena Island, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 100, Article 14, 16 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 159-182 (2016).
MSC:  03B42 68T27 91A18
PDF BibTeX XML Cite
Full Text: DOI
Flores, Víctor (ed.) et al., Rough sets. International joint conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47159-4/pbk; 978-3-319-47160-0/ebook). Lecture Notes in Computer Science 9920. Lecture Notes in Artificial Intelligence, 145-154 (2016).
MSC:  91A18 68T37
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 307-319 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Khouzani, MHR (ed.) et al., Decision and game theory for security. 6th international conference, GameSec 2015, London, UK, November 4–5, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9406, 228-249 (2015).
MSC:  91A43 91A18 91A65
PDF BibTeX XML Cite
Full Text: DOI
Bulling, Nils (ed.) et al., Computational logic in multi-agent systems. 15th international workshop, CLIMA XV, Prague, Czech Republic, August 18–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8624, 166-182 (2014).
MSC:  68T42 03B44 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 299-311 (2013).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 287-298 (2013).
MSC:  68Q45 91A80
PDF BibTeX XML Cite
Full Text: DOI
Křivan, Vlastimil (ed.) et al., Advances in dynamic games. Theory, applications, and numerical methods. Most papers based on the presentations at the 15th international symposium on dynamic games and applications, Byšice, Czech Republic, July 19–22, 2012. Cham: Birkhäuser/Springer (ISBN 978-3-319-02689-3/hbk; 978-3-319-02690-9/ebook). Annals of the International Society of Dynamic Games 13, 85-105 (2013).
MSC:  91A25 91A05 49N10
PDF BibTeX XML Cite
Full Text: DOI
Das, Sajal K. (ed.) et al., Decision and game theory for security. 4th international conference, GameSec 2013, Fort Worth, TX, USA, November 11–12, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8252, 65-84 (2013).
MSC:  91A15 91A20 91A68
PDF BibTeX XML Cite
Full Text: DOI
Smith, Adam (ed.), Information theoretic security. 6th international conference, ICITS 2012, Montreal, QC, Canada, August 15–17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32283-9/pbk). Lecture Notes in Computer Science 7412, 1-13 (2012).
MSC:  94A60 94A15
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