×

zbMATH — the first resource for mathematics

Found 22 Documents (Results 1–22)

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
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, 464-482 (2015).
MSC:  68Qxx
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, 425-444 (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, 1-66 (2013).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 322-336 (2010).
MSC:  68Q60 03B45
PDF BibTeX XML Cite
Full Text: DOI
Series on Component-Based Software Development 2. Hackensack, NJ: World Scientific (ISBN 978-981-270-017-9/hbk; 978-981-277-283-1/ebook). xii, 354 p. (2007).
MSC:  68N99 68-06
PDF BibTeX XML Cite
Full Text: DOI
Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 2. Berlin: Springer (ISBN 3-540-43593-X). Lect. Notes Comput. Sci. 2330, 864-873 (2002).
MSC:  68U99 68U20 68U35
PDF BibTeX XML Cite
Full Text: Link
Han, Yanbo (ed.) et al., Engineering and deployment of cooperative information systems. First international conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2480, 315-331 (2002).
MSC:  68U99 68U35
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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