×

zbMATH — the first resource for mathematics

Found 200 Documents (Results 1–100)

100
MathJax
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 1, 10 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 20-36 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 77-96 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Guo, Jiong (ed.) et al., 11th international symposium on parameterized and exact computation (IPEC 2016), Aarhus, Denmark, August 24–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-023-1). LIPIcs – Leibniz International Proceedings in Informatics 63, Article 6, 13 p. (2017).
MSC:  68Q25 68P15 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 101-113 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Düsterhöft, Antje (ed.) et al., Conceptual modelling and its theoretical foundations. Essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-28278-2/pbk). Lecture Notes in Computer Science 7260, 19-28 (2012).
MSC:  68P15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 299-312, electronic only (2011).
MSC:  68Q42 68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI Link
Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 151-157 (2008).
MSC:  68P15 68P30
PDF BibTeX XML Cite
Full Text: DOI
Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 61-78 (2007).
MSC:  68N30 68N18
PDF BibTeX XML Cite
Full Text: DOI
Márquez, Alberto (ed.) et al., Proceedings of the 4th European conference on combinatorics, graph theory and applications, EuroComb’07, Seville, Spain, September 11–15, 2007. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 29, 403-409 (2007).
MSC:  94B27 94B60 68P15
PDF BibTeX XML Cite
Full Text: DOI
Missaoui, Rokia (ed.) et al., Formal concept analysis. 4th international conference, ICFCA 2006, Dresden, Germany, February 13–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32203-5/pbk). Lecture Notes in Computer Science 3874. Lecture Notes in Artificial Intelligence, 45-60 (2006).
MSC:  68T30 68P15 68T37
PDF BibTeX XML Cite
Full Text: DOI
Ślȩzak, Dominik (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 – September 3, 2005. Proceedings, Part I. Berlin: Springer (ISBN 3-540-28653-5/pbk). Lecture Notes in Computer Science 3641. Lecture Notes in Artificial Intelligence, 275-282 (2005).
MSC:  68P15 68T37
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 115-125 (2004).
MSC:  68N18 03B70
PDF BibTeX XML Cite
Full Text: DOI
Calude, C. S. (ed.) et al., Combinatorics, computability and logic. Proceedings of the 3rd international conference, DMTCS ’01. The conference was dedicated to Prof. Frank Harary on the occasion of the 80th birthday. Univ. of Auckland, New Zealand and Univ. of Constanţa, Romania, 2001. London: Springer. Discrete Mathematics and Theoretical Computer Science. 137-149 (2001).
PDF BibTeX XML Cite
Schewe, Klaus-Dieter (ed.) et al., Foundations of information and knowledge systems. 1st international symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1762, 31-49 (2000).
MSC:  68P15 03B70
PDF BibTeX XML Cite
Smeureanu, Ion (ed.) et al., Information technology. Proceedings of the 4th international symposium on economic informatics held in Bucharest, Romania, May 6-9, 1999. Bucharest: Editura Inforec. 1023-1031 (1999).
PDF BibTeX XML Cite
Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 358-372 (1997).
MSC:  68P15 03B35 03B70 68T15
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