×

zbMATH — the first resource for mathematics

Found 152 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, 464-480 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 183-192 (2019).
MSC:  68T20 68P15
PDF BibTeX XML Cite
Full Text: DOI
Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 465-479 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 99-114 (2018).
MSC:  68T20
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
Benner, Peter (ed.) et al., Model reduction of parametrized systems. Selected contributions based on the presentations at the MoRePaS conference, SISSA, Trieste, Italy, October 13–16, 2015. Cham: Springer (ISBN 978-3-319-58785-1/hbk; 978-3-319-58786-8/ebook). MS&A. Modeling, Simulation and Applications 17, 107-119 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Fotakis, Dimitris (ed.) et al., Algorithms and complexity. 10th international conference, CIAC 2017, Athens, Greece, May 24–26, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10236, 418-429 (2017).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Miao, Duoqian (ed.) et al., Rough sets and knowledge technology. 9th international conference, RSKT 2014, Shanghai, China, October 24–26, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-11739-3/pbk; 978-3-319-11740-9/ebook). Lecture Notes in Computer Science 8818. Lecture Notes in Artificial Intelligence, 89-100 (2014).
MSC:  68T20 68T37
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 263-274 (2013).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 117-132 (2012).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Huang, De-Shuang (ed) et al., Advanced intelligent computing theories and applications. 6th international conference on intelligent computing, Changsha, China, August 18–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14830-9/pbk; 978-3-642-14831-6/ebook). Communications in Computer and Information Science 93, 48-52 (2010).
MSC:  68T20 68T37
PDF BibTeX XML Cite
Full Text: DOI
IFIP Advances in Information and Communication Technology 339. Berlin: Springer (ISBN 978-3-642-16238-1/hbk; 978-3-642-16239-8/ebook). xvi, 404 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Cao, Bing-yuan (ed.) et al., Fuzzy information and engineering. Vol. 1. Proceedings of the third annual conference on fuzzy information and engineering (ACFIE 2008), Haikou, China, December 5–10, 2008. Berlin: Springer (ISBN 978-3-540-88913-7/pbk; 978-3-540-88914-4/ebook). Advances in Soft Computing 54, 1-6 (2009).
MSC:  68T20 90C27 90C59
PDF BibTeX XML Cite
Full Text: DOI
Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 181-198 (2008).
MSC:  68N18 03B40 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 111-127 (2008).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Huang, De-Shuang (ed.) et al., Advanced intelligent computing theories and applications. With aspects of contemporary intelligent computing techniques. 4th international conference on intelligent computing, ICIC 2008 Shanghai, China, September 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85929-1/pbk). Communications in Computer and Information Science 15, 118-124 (2008).
MSC:  68T05 68T10 68T20
PDF BibTeX XML Cite
Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 3-38 (2007).
MSC:  68N30 68N18 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Stützle, Thomas (ed.) et al., Engineering stochastic local search algorithms. Designing, implementing and analyzing effective heuristics. International workshop, SLS 2007, Brussels, Belgium, September 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74445-0/pbk). Lecture Notes in Computer Science 4638, 162-176 (2007).
MSC:  68T20
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