×

zbMATH — the first resource for mathematics

Found 29 Documents (Results 1–29)

100
MathJax
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, 195-212 (2013).
MSC:  68N15
PDF BibTeX XML Cite
Full Text: DOI
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 292-306, electronic only (2011).
MSC:  68Q05 18B20 18D10 68N18 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI Link
Bonchi, Filippo (ed.) et al., Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 3, 131-144 (2009).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 462-476 (2008).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Seidl, Helmut (ed.), Foundations of software science and computational structures. 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 302-316 (2007).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Electronic Notes in Theoretical Computer Science 138, No. 1. Amsterdam: Elsevier. 101 p., electronic only (2005).
PDF BibTeX XML Cite
Full Text: Link
Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 335-350 (2005).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 266-281 (2005).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Sagiv, Mooly (ed.), Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25435-8/pbk). Lecture Notes in Computer Science 3444, 423-438 (2005).
MSC:  68N15 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Wakamiya, Naoki (ed.) et al., Active networks. IFIP-TC6 5th international working conference, IWAN 2003, Kyoto, Japan, December 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-21250-7/pbk). Lecture Notes in Computer Science 2982, 266-279 (2004).
MSC:  68M10 91B26
PDF BibTeX XML Cite
Full Text: DOI
Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 241-256 (2004).
MSC:  68Q85 68N30
PDF BibTeX XML Cite
Full Text: DOI
Brookes, Steven (ed.), Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19–22, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 83, 149-168, electronic only (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 282-298 (2003).
MSC:  68Q85 68M14 03B70
PDF BibTeX XML Cite
Full Text: Link
Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 122-139 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 250-266 (1997).
MSC:  03B45 03B80 68Q10
PDF BibTeX XML Cite