×

zbMATH — the first resource for mathematics

Found 27 Documents (Results 1–27)

100
MathJax
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 80-105 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52227-2/pbk; 978-3-319-52228-9/ebook). Lecture Notes in Computer Science 10134, 134-154 (2017).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52227-2/pbk; 978-3-319-52228-9/ebook). Lecture Notes in Computer Science 10134, 114-133 (2017).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52227-2/pbk; 978-3-319-52228-9/ebook). Lecture Notes in Computer Science 10134, 65-92 (2017).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-319-14805-2/pbk). Lecture Notes in Computer Science 8963, 42-61 (2015).
MSC:  68N30 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25149-3/pbk; 978-3-319-25150-9/ebook). Lecture Notes in Computer Science 9399, 505-523 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 373-390 (2013).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 188-206 (2010).
MSC:  68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 120-136 (2010).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Qin, Shengchao (ed.), Unifying theories of programming. Third international symposium, UTP 2010, Shanghai, China, November 15–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16689-1/pbk). Lecture Notes in Computer Science 6445, 101-119 (2010).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Butterfield, Andrew (ed.), Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14520-9/pbk). Lecture Notes in Computer Science 5713, 218-237 (2010).
MSC:  68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Chin, Wei-Ngan (ed.), Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4–6, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23724-0/pbk). Lecture Notes in Computer Science 3302, 415-436 (2004).
MSC:  68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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