×

zbMATH — the first resource for mathematics

Found 44 Documents (Results 1–44)

100
MathJax
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 75-94 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XI. Berlin: Springer (ISBN 978-3-662-53400-7/pbk; 978-3-662-53401-4/ebook). Lecture Notes in Computer Science 9930. Journal Subline, 49-70 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 11th annual conference, TAMC 2014, Chennai, India, April 11–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06088-0/pbk). Lecture Notes in Computer Science 8402, 124-140 (2014).
MSC:  68Q25 68N30
PDF BibTeX XML Cite
Full Text: DOI
Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 28-42 (2009).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 323-335 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Backes, Michael (ed.) et al., Proceedings of the international workshop on security and concurrency (SecCo 2005), San Francisco, CA, USA, August 22, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 180, No. 1, 35-53 (2007).
MSC:  68Q85 68Q45 68Q60
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). 79-90 (2006).
MSC:  68N30 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 267-271 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Pettersson, Paul (ed.) et al., Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30946-2/pbk). Lecture Notes in Computer Science 3829, 289-303 (2005).
MSC:  68Q55
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, 295-310 (2005).
MSC:  68P25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 186-197 (2004).
MSC:  68N15 68Q55 94A60
PDF BibTeX XML Cite
Full Text: DOI
Marcinkowski, Jerzy (ed.) et al., Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23024-6/pbk). Lecture Notes in Computer Science 3210, 280-294 (2004).
MSC:  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, 113-129, electronic only (2003).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Schneider, Steve (ed.) et al., Workshop on secure architectures and information flow. Royal Holloway, Univ. of London, GB, December 1-3, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 32, 12 p., electronic only (1999).
MSC:  68M12 68P25
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