×

zbMATH — the first resource for mathematics

Found 403 Documents (Results 1–100)

100
MathJax
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 34, 13 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press (ISBN 978-1-5090-3018-7). Article No. 50, 12 p. (2017).
MSC:  68Q65 18C15 68N30
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press (ISBN 978-1-5090-3018-7). Article No. 49, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 40-55 (2017).
MSC:  68T15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Software - Environments - Tools 26. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-429-4/pbk; 978-1-61197-430-0/ebook). x, 335 p. (2016).
PDF BibTeX XML Cite
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 273-288, electronic only (2014).
MSC:  68Q85 18C15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 135-150 (2014).
MSC:  68N30 18C15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 10-32 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 519-528 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 309-324 (2013).
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 52, No. 2, 215-225 (2013); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2013, No. 2, 53-63 (2013).
MSC:  68T30 68T35 68T50
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 135-157 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 97-117 (2011).
MSC:  68Q05 18C15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 95-105, electronic only (2011).
MSC:  68N30 68N17 68N19
PDF BibTeX XML Cite
Full Text: DOI Link
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 298-313 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 3-23 (2010).
MSC:  68N30 18C15 18C50
PDF BibTeX XML Cite
Full Text: DOI
Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 18-33 (2009).
MSC:  68N30 18C15 18C20
PDF BibTeX XML Cite
Full Text: DOI
Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 561-574 (2009).
MSC:  68N01 68Q01
PDF BibTeX XML Cite
Elaydi, S. (ed.) et al., Difference equations, special functions and orthogonal polynomials. Proceedings of the international conference, Munich, Germany, July 25–30, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-643-0/hbk). 325-343 (2007).
MSC:  65D20 33C45 33F05 65Q05 68W30 33-04
PDF BibTeX XML Cite
Birkedal, L. (ed.), Proceedings of the 10th conference on category theory in computer science (CTCS 2004), Copenhagen, Denmark, August 12–14, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 122, 127-146 (2005).
PDF BibTeX XML Cite
Full Text: Link
Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 424-438 (2005).
MSC:  68N30 18C15 68N18
PDF BibTeX XML Cite
Full Text: DOI
Simos, Theodore S. (ed.) et al., ICNAAM 2005. International conference on numerical analysis and applied mathematics 2005. Official conference of the European Society of Computational Methods in Sciences and Engineering (ESCMSE), Rhodes, Greek, September 16–20, 2005. Weinheim: Wiley-VCH (ISBN 3-527-40652-2/hbk). 681-682 (2005).
MSC:  65D20 33C10 33F05
PDF BibTeX XML Cite
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 133-144 (2002).
MSC:  68N18 18C15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 26-35 (2002).
MSC:  68N18 18C15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 511-530 (2002).
MSC:  68N30 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: Link
Backhouse, Roland (ed.) et al., Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Berlin: Springer (ISBN 3-540-43613-8). Lect. Notes Comput. Sci. 2297, 79-88 (2002).
PDF BibTeX XML Cite
Full Text: Link
Lipitakis, Elias A. (ed.), HERCMA 2001. Proceedings of the 5th Hellenic-European conference on computer mathematics and its applications, Athens, Greece, September 20–22, 2001. 2 volumes. Athens: LEA (ISBN 960-85176-8-0/set). 337-341 (2002).
MSC:  68T40 68N99
PDF BibTeX XML Cite
Lecture Notes in Computer Science. 2386. Berlin: Springer. x, 263 p. (2002).
MSC:  00B25 68-06 68N30
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