×

zbMATH — the first resource for mathematics

Found 65 Documents (Results 1–65)

100
MathJax
Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02507-6/pbk; 978-3-030-02508-3/ebook). Lecture Notes in Computer Science 11187, 62-79 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 214-227 (2016).
MSC:  68N18 68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 365-378 (2015).
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). 328-341 (2015).
MSC:  68N20 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 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 (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 53-79 (2015).
MSC:  68N15 68Q55 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 339-347 (2014).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 113-126 (2014).
MSC:  68N15 68Q60 68T15 68Q55 03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 323-334 (2012).
MSC:  68N15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 299-310 (2012).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI
Jensen, Kurt (ed.) et al., Transactions on Petri nets and other models of concurrency. VI. Berlin: Springer (ISBN 978-3-642-35178-5/pbk). Lecture Notes in Computer Science 7400. Journal Subline, 123-145 (2012).
MSC:  92C40
PDF BibTeX XML Cite
Full Text: DOI
Vidal, Germán (ed.), Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18–20, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32210-5/pbk). Lecture Notes in Computer Science 7225, 139-154 (2012).
MSC:  68N15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 279-291 (2011).
MSC:  68N18 68N15
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, 198-208, electronic only (2011).
MSC:  68P05 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI Link
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 235-246 (2010).
MSC:  68N18 68N01
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 23-34 (2009).
MSC:  68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 39-50 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 320-348 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 2-15 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 111-121 (2006).
MSC:  68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 54-65 (2005).
MSC:  68Q65 68N18
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, 218-229 (2002).
PDF BibTeX XML Cite
Full Text: DOI
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 237-248 (2002).
PDF BibTeX XML Cite
Full Text: Link
Luqi (ed.) et al., The 1998 ARO/ONR/NSF/DARPA Monterey workshop on engineering automation for computer based systems. Carmel, CA, USA, October 23-26, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 25, 10 p., electronic only (1998).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software