×

zbMATH — the first resource for mathematics

Found 231 Documents (Results 1–100)

100
MathJax
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 447-463 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11493, 150-163 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Model. 30, No. 1, 26-35 (2019); translation from Prikl. Mat. Inf. 58, 35-46 (2018).
MSC:  06E30 94C10
PDF BibTeX XML Cite
Full Text: DOI
Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 93-110 (2018).
MSC:  92C35 92C40 05C90
PDF BibTeX XML Cite
Full Text: DOI
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10792, 156-168 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 62, 14 p. (2017).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 989-1002 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM conference on innovations in theoretical computer science, ITCS’16, Cambridge, MA, USA, January 14–16, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4057-1). 393-402 (2016).
MSC:  68Q25 68Q17 94C10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM conference on innovations in theoretical computer science, ITCS’16, Cambridge, MA, USA, January 14–16, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4057-1). 59-70 (2016).
MSC:  68Q05 68Q25 94C10
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 320-334 (2015).
MSC:  68T20 68N30
PDF BibTeX XML Cite
Full Text: DOI
Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9235, 223-234 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 55, No. 1, 131-139 (2015); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 1, 135-144 (2015).
MSC:  06E30 94D05
PDF BibTeX XML Cite
Full Text: DOI
Schmidt, Kai-Uwe (ed.) et al., Sequences and their applications – SETA 2014. 8th international conference, Melbourne, VIC, Australia, November 24–28, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-12324-0/pbk; 978-3-319-12325-7/ebook). Lecture Notes in Computer Science 8865, 47-59 (2014).
MSC:  94D05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 46th annual ACM symposium on theory of computing, STOC ’14, New York, NY, USA, May 31 – June 3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2710-7). 136-145 (2014).
MSC:  68Q17 68Q05 94C10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 321-330 (2013).
MSC:  94C10 68W30
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 36, No. 2, 81-91 (2012); translation from Vestn. Mosk. Univ., Ser. XV 2012, No. 2, 28-36 (2012).
MSC:  94C10 06E30
PDF BibTeX XML Cite
Full Text: DOI
Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 260-272 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Fiala, Jiří (ed.) et al., Combinatorial algorithms. 20th international workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-10216-5/pbk). Lecture Notes in Computer Science 5874, 460-470 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 714-717 (2008).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Chatzidakis, Zoé (ed.) et al., Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). Lecture Notes in Logic 27, 1-27 (2006).
PDF BibTeX XML Cite
Martínez, Conrado (ed.), 2005 international conference on analysis of algorithms. Papers from the conference, Barcelona, Spain, June 6–10, 2005. Nancy: The Association Discrete Mathematics & Theoretical Science (DMTCS). Discrete Mathematics and Theoretical Computer Science Proceedings AD, 139-146, electronic (2005).
MSC:  68R05 05C30 06E30
PDF BibTeX XML Cite
Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 224-234 (2005).
MSC:  68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI
Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 16-30 (2005).
MSC:  68T20 68T15
PDF BibTeX XML Cite
Full Text: DOI
Lenski, Wolfgang (ed.), Logic versus approximation. Essays dedicated to Michael M. Richter on the occasion of his 65th birthday. Berlin: Springer (ISBN 3-540-22562-5/pbk). Lecture Notes in Computer Science 3075, 18-32 (2004).
MSC:  68Q60 68Q25 06E30
PDF BibTeX XML Cite
Full Text: DOI
Zh. Vychisl. Mat. Mat. Fiz. 43, No. 10, 1580-1588 (2003); translation in Comput. Math. Math. Phys. 43, No. 10, 1520-1528 (2003).
MSC:  06E30 94C10 94C15
PDF BibTeX XML Cite
Full Text: Link

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