×

zbMATH — the first resource for mathematics

Found 219 Documents (Results 1–100)

100
MathJax
Baïou, Mourad (ed.) et al., Combinatorial optimization. 6th international symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020. Revised selected papers. Cham: Springer (ISBN 978-3-030-53261-1/pbk; 978-3-030-53262-8/ebook). Lecture Notes in Computer Science 12176, 263-272 (2020).
MSC:  90C27
PDF BibTeX XML Cite
Full Text: DOI
Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-26175-7/pbk; 978-3-030-26176-4/ebook). Lecture Notes in Computer Science 11653, 266-278 (2019).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI
Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 71-89 (2018).
MSC:  03B45
PDF BibTeX XML Cite
J. Comput. Syst. Sci. Int. 56, No. 3, 492-504 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 3, 157-169 (2017).
MSC:  93E20 93E25 62C99 90C15
PDF BibTeX XML Cite
Full Text: DOI
Scheideler, Christian (ed.), Structural information and communication complexity. 22nd international colloquium, SIROCCO 2015, Montserrat, Spain, July 14–16, 2015. Post-proceedings. Cham: Springer (ISBN 978-3-319-25257-5/pbk; 978-3-319-25258-2/ebook). Lecture Notes in Computer Science 9439, 91-103 (2015).
MSC:  68M10 68M14 68R10
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 38. Cham: Springer (ISBN 978-3-319-00791-5/hbk; 978-3-319-00792-2/ebook). xviii, 438 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Cariani, Fabrizio (ed.) et al., Deontic logic and normative systems. 12th international conference, DEON 2014, Ghent, Belgium, July 12–15, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8554, 65-80 (2014).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 1-14 (2012).
MSC:  03B45 03B60
PDF BibTeX XML Cite
Schwentick, Thomas (ed.) et al., STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-25-5). LIPIcs – Leibniz International Proceedings in Informatics 9, 472-483, electronic only (2011).
PDF BibTeX XML Cite
Full Text: DOI Link
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 125-138 (2011).
MSC:  03B65
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 71, No. 4, 708-717 (2010); translation from Avtom. Telemekh. 2010, No. 4, 181-190 (2010).
MSC:  93C83 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Ślęzak, Dominik (ed.) et al., Database theory and application. International conference, DTA 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10582-1/pbk; 978-3-642-10583-8/ebook). Communications in Computer and Information Science 64, 17-25 (2009).
MSC:  68M14
PDF BibTeX XML Cite
Full Text: DOI
Bürger, Reinhard (ed.) et al., Stochastic models in biological sciences. Proceedings of the workshop, Warsaw, Poland, May 29–June 2, 2006. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Center Publications 80, 17-31 (2008).
PDF BibTeX XML Cite
Full Text: Link arXiv
Rahwan, Iyad (ed.) et al., Argumentation in multi-agent systems. 4th international workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-78914-7/pbk). Lecture Notes in Computer Science 4946. Lecture Notes in Artificial Intelligence, 94-113 (2008).
MSC:  68T99
PDF BibTeX XML Cite
Full Text: DOI
Kleijn, Jetty (ed.) et al., Petri nets and other models of concurrency – ICATPN 2007. 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 204-222 (2007).
MSC:  68Q85
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