×

zbMATH — the first resource for mathematics

Found 22 Documents (Results 1–22)

100
MathJax
Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 1-47 (2015).
MSC:  01A70 68-03
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 231-252 (2015).
MSC:  68M12 68M14 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 60-79 (2011).
MSC:  68Q42 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 1-37 (2011).
PDF BibTeX XML Cite
Full Text: DOI
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 257-279 (2008).
MSC:  68Q85 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 47-60 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 5-27 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Fernández, M. (ed.) et al., Proceedings of the 7th international workshop on rule based programming (RULE 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 1, 65-81 (2007).
MSC:  68Q60 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 197-253 (2002).
MSC:  68Q65 03G30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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