×

zbMATH — the first resource for mathematics

Found 163 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 (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 519-535 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
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 (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 139-148 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Ćirić, Miroslav (ed.) et al., Algebraic informatics. 8th international conference, CAI 2019, Niš, Serbia, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11545, 177-189 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 63-78 (2019).
MSC:  68T20 68Q60 91A43
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 227-248 (2017).
MSC:  68T30 68T20
PDF BibTeX XML Cite
Full Text: DOI
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 6, 11 p. (2017).
MSC:  68T20 68W10 90C11
PDF BibTeX XML Cite
Full Text: DOI
Lin, Chang-Shou (ed.) et al., Proceedings of the sixth international congress of Chinese mathematicians, ICCM 2013, Taipei, Taiwan, July 14–19, 2013. Volume II. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-349-4/pbk; 978-1-57146-350-0/set). Advanced Lectures in Mathematics (ALM) 37, 505-522 (2017).
MSC:  78M25 65F50 65F15 35Q61
PDF BibTeX XML Cite
Monographs and Research Notes in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4822-5464-8/hbk; 978-1-4822-5465-5/ebook). xxiii, 343 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Advances in Applied Mathematics (Boca Raton). Boca Raton, FL: CRC Press (ISBN 978-1-4987-5419-4/hbk; 978-1-4987-5420-0/ebook). xxxviii, 313 p. (2016).
PDF BibTeX XML Cite
Full Text: Link
Computational Science & Engineering 14. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-360-0/pbk). viii, 313 p. (2015).
MSC:  76-01 76M10
PDF BibTeX XML Cite
Cambridge: Cambridge University Press (ISBN 978-1-107-09567-0/hbk; 978-1-107-47950-0/pbk; 978-1-316-15551-6/ebook). xiv, 207 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 11th annual conference, TAMC 2014, Chennai, India, April 11–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06088-0/pbk). Lecture Notes in Computer Science 8402, 158-167 (2014).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 211-221, electronic only (2012).
MSC:  68T20 68T27
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 37-48, electronic only (2012).
MSC:  68T05 68T27 68T20
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 12-13, electronic only (2012).
MSC:  68Q25 68T15
PDF BibTeX XML Cite
Full Text: DOI
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 14-23, electronic only (2010).
MSC:  68T20 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 113-128 (2009).
MSC:  68T15 68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI
Faber, Wolfgang (ed.) et al., Workshop proceedings. ICLP 2009 workshop on answer set programming and other computing paradigms (ASPOCP 2009), Pasadena, CA, USA, July 14, 2009. [s.l.], [s.n.]. 31-45 (2009).
MSC:  68N17 68T20 68T27
PDF BibTeX XML Cite
Full Text: Link
Tadmor, Eitan (ed.) et al., Hyperbolic problems. Theory, numerics and applications. Contributed talks. Proceedings of the 12th international conference on hyperbolic problems, June 9–13, 2008. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4730-5/hbk; 978-0-8218-4728-2/2-vol. set). Proceedings of Symposia in Applied Mathematics 67, Part 2, 595-604 (2009).
MSC:  65M06 35L65 35L67
PDF BibTeX XML Cite
Operations Research/Computer Science Interfaces Series 45. New York, NY: Springer (ISBN 978-0-387-09623-0/hbk; 978-0-387-09624-7/ebook). x, 196 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI
eXamen.press. Berlin: Springer (ISBN 978-3-540-23184-4/pbk). xii, 388 p. (2007).
PDF BibTeX XML Cite
Jermann, Christophe (ed.) et al., Global optimization and constraint satisfaction. Second international workshop, COCOS 2003, Lausanne, Switzerland, November 18–21, 2003. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26003-5/pbk). Lecture Notes in Computer Science 3478, 86-100 (2005).
MSC:  68T20 90C26 90C59
PDF BibTeX XML Cite
Full Text: DOI
Dafermos, C. M. (ed.) et al., Evolutionary equations. Vol. I. Amsterdam: Elsevier/North-Holland (ISBN 0-444-51131-8/hbk). Handbook of Differential Equations, 87-168 (2004).
MSC:  35-02 35L65 35L67
PDF BibTeX XML Cite
Kůrková, Věra (ed.) et al., Artificial neural nets and genetic algorithms. Proceedings of the international conference, Prague, Czech Republic, 2001. Wien: Springer. 328-331 (2001).
MSC:  93B51 93B40
PDF BibTeX XML Cite
Dechter, Rina (ed.), Principles and practice of constraint programming - CP 2000. 6th international conference, Singapore, September 18–21, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41053-8). Lect. Notes Comput. Sci. 1894, 369-383 (2000).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: Link
Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 193-210 (2000).
MSC:  68T20
PDF BibTeX XML Cite

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