×

zbMATH — the first resource for mathematics

Found 79 Documents (Results 1–79)

100
MathJax
Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 1-18 (2016).
MSC:  68M14
PDF BibTeX XML Cite
Full Text: DOI
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 446-475 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Dastani, Mehdi (ed.) et al., Fundamentals of software engineering. 6th international conference, FSEN 2015, Tehran, Iran, April 22–24, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9392, 143-158 (2015).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Calude, Cristian S. (ed.) et al., Computing with new resources. Essays dedicated to Jozef Gruska on the occasion of his 80th birthday. Cham: Springer (ISBN 978-3-319-13349-2/pbk; 978-3-319-13350-8/ebook). Lecture Notes in Computer Science 8808, 307-322 (2014).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 184-197 (2011).
MSC:  68N18 03B40 03F52
PDF BibTeX XML Cite
Full Text: DOI
Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 99-112 (2009).
MSC:  68Q60 68Q85 68M14
PDF BibTeX XML Cite
Full Text: DOI
Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 3-17 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
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
Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 84-98 (2009).
MSC:  03B40 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 289-305 (2009).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 272-287 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 275-293 (2007).
MSC:  68Q85 68M10 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 131-149 (2007).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., EXPRESS’00: 7th international workshop on expressiveness in concurrency. Proceedings of the satellite workshop of CONCUR 2000, University Park, PA, USA, August 21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 39, No. 1, 94-117 (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., EXPRESS’00: 7th international workshop on expressiveness in concurrency. Proceedings of the satellite workshop of CONCUR 2000, University Park, PA, USA, August 21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 39, No. 1, 21-46 (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Nestmann, Uwe (ed.) et al., EXPRESS’02. Papers from the 9th international workshop on expressiveness in concurrency, Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 2, 105-123 (2002).
MSC:  68Q85 18A30 18D05
PDF BibTeX XML Cite
Full Text: DOI

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